Towards an Epistemic Logic for Uncertain Agents

Authors:
Zining Cao
Affiliations:
Department of Computer Science and Technology, Nanjing University of Aero. and Astro., Nanjing 210016, P.R. China
Venue:
CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V
Year:
2007

Citing 7
Cited 0

A logic for reasoning about probabilities

Information and Computation - Selections from 1988 IEEE symposium on logic in computer science
Representing and reasoning with probabilistic knowledge: a logical approach to probabilities

Representing and reasoning with probabilistic knowledge: a logical approach to probabilities
Knowledge, probability, and adversaries

Journal of the ACM (JACM)
Reasoning about knowledge and probability

Journal of the ACM (JACM)
Probabilistic Models for Agent's Beliefs and Decisions

UAI '00 Proceedings of the 16th Conference on Uncertainty in Artificial Intelligence
Probabilistic Dynamic Epistemic Logic

Journal of Logic, Language and Information
Logical implementation of uncertain agents

EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we propose a logic for reasoning about probabilistic belief, called PBLr. Our language introduces formulas that express "agent ibelieves that the probability of φis at least p". We first provide an inference system of PBLr, and then introduce a probabilistic semantics for PBLr. The soundness and finite model property of PBLrare proved, which ensure the weak completeness and decidability of PBLr.