Abstract
In this paper, we propose the logic for reasoning about probabilistic belief, called PBL f . Our language includes formulas that essentially express “agent i believes that the probability of ϕ is at least p”. We first provide an inference system of PBL f , and then introduce a probabilistic semantics for PBL f . The soundness and finite model property of PBL f are proven.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This work was supported by the National Natural Science Foundation of China under Grant 60473036.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bacchus, F.: Representing and reasoning with probabilistic knowledge: a logical approach to probabilities. MIT Press, Cambridge (1990)
Fattorosi-Barnaba, M., Amati, G.: Modal Operators with Probabilistic Interpretations I. Studia Logica 46(4), 383–393 (1987)
Feldman, Y.: A decidable prepositional probabilistic dynamic logic with explicit probabilities. Information and Control 63, 11–38 (1984)
de C. Ferreira, N.C., Fisher, M., van der Hoek, W.: Practical Reasoning for Uncertain Agents. In: Alferes, J.J., Leite, J.A. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 82–94. Springer, Heidelberg (2004)
de C. Ferreira, N., Fisher, M., van der Hoek, W.: Logical Implementation of Uncertain Agents. In: Bento, C., Cardoso, A., Dias, G. (eds.) EPIA 2005. LNCS (LNAI), vol. 3808, pp. 536–547. Springer, Heidelberg (2005)
Fagin, R., Halpern, J.Y.: Reasoning about knowledge and probability. J. ACM 41(2), 340–367 (1994)
Fagin, R., Halpern, J.Y., Megiddo, N.: A logic for reasoning about probabilities, Information and Computation. Information and Computation 87(1/2), 78–128 (1990)
Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about knowledge. The MIT Press, Cambridge (1995)
Halpern, J.Y.: The relationship between knowledge, belief, and certainty. Annals of Mathematics and Artificial Intelligence 4, 301–322 (1991)
Halpern, J.Y.: Lexicographic probability, conditional probability, and nonstandard probability. In: Proceedings of the Eighth Conference on Theoretical Aspects of Rationality and Knowledge, pp. 17–30 (2001)
Halpern, J.Y., Moses, Y.: Knowledge and common knowledge in a distributed environment. J. ACM 37(3), 549–587 (1990)
Hart, S., Sharir, M.: Probabilistic temporal logics for finite and bounded models. In: Proceedings of the 16th ACM Symposium on Theory of Computing, pp. 1–13. ACM Press, New York (1984)
Halpern, J.Y., Tuttle, M.R.: Knowledge, probability, and adversaries, J.ACM 40(4), 917–962 (1993)
Hintikka, J.: Knowledge and belief. Cornell University Press, Ithaca (1962)
van der Hoek, W.: Some considerations on the logic PFD: A logic combining modality and probability. J. Applied Non-Classical Logics 7(3), 287–307 (1997)
Ikodinovic, N., Ognjanovic, Z.: A Logic with Coherent Conditional Probabilities. In: Godo, L. (ed.) ECSQARU 2005. LNCS (LNAI), vol. 3571, pp. 726–736. Springer, Heidelberg (2005)
Kooi, B.P.: Probabilistic Dynamic Epistemic Logic. Journal of Logic, Language and Information 12, 381–408 (2003)
Laux, A., Wansing, H. (eds.): Knowledge and belief in philosophy and artificial intelligence. Akademie Verlag GmbH, Berlin (1995)
Lukasiewicz, T.: Weak nonmonotonic probabilistic logics. In: KR2004, Whistler, Canada (2004)
Milch, B., Koller, D.: Probabilistic Models for Agent’s Beliefs and Decisions. In: Proc. 16th Conference on Uncertainty in Artificial Intelligence 2000, pp. 389–396 (2000)
Pearl, J.: Probabilistic reasoning in intelligent systems: Networks of plausible inference. Morgan Kaufmann, San Mateo (1988)
Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. In: Proceeding of KR-91, San Mateo, CA, USA, pp. 473–484 (1991)
Raskovic, M., Ognjanovic, Z., Markovic, Z.: A Logic with Conditional Probabilities. In: Alferes, J.J., Leite, J.A. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 226–238. Springer, Heidelberg (2004)
Shafer, G.: A mathematical theory of evidence. Princeton University Press, Princeton (1976)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Cao, Z. (2007). A Complete Probabilistic Belief Logic. In: Inoue, K., Satoh, K., Toni, F. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2006. Lecture Notes in Computer Science(), vol 4371. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69619-3_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-69619-3_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69618-6
Online ISBN: 978-3-540-69619-3
eBook Packages: Computer ScienceComputer Science (R0)