Skip to main content
Springer Nature Link
Log in

Probabilistic belief logic and its probabilistic Aumann semantics

  • Published:
Journal of Computer Science and Technology Aims and scope Submit manuscript

Abstract

In this paper, we present a logic system for probabilistic belief named PBL, which expands the language of belief logic by introducing probabilistic belief. Furthermore, we give the probabilistic Aumann semantics of PBL. We also list some valid properties of belief and probabilistic belief, which form the deduction system of PBL. Finally, we prove the soundness and completeness of these properties with respect to probabilistic Aumann semantics.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

References

  1. Hintikka J. Knowledge and Belief, Ithaca, NY: Cornell University Press, 1962.

    Google Scholar 

  2. Aumann R J. Agreeing to disagree.Ann. Stat, 1976, 4(6): 1236–1239.

    Article  MATH  MathSciNet  Google Scholar 

  3. Fudenberg D, Tirole J. Game Theory. Cambridge, Massachusetts: The MIT Press, 1991.

    Google Scholar 

  4. Fagin R, Halpern J Y, Moses Y, Vardi M Y. Reasoning about Knowledge. Cambridge, Massachusetts: The MIT Press, 1995.

    MATH  Google Scholar 

  5. Fagin R, Halpern J Y. Reasoning about knowledge and probability.J. ACM, 1994, 41(2): 340–367.

    Article  MATH  MathSciNet  Google Scholar 

  6. Halpern J Y, Moses Y. Knowledge and common knowledge in a distributed environment.J. ACM, 1990, 37(3): 549–587.

    Article  MATH  MathSciNet  Google Scholar 

  7. Levesque H J. A logic of implicit and explicit belief.AAAI-84, Austin, TX, pp.198–202.

  8. Konolige K. A Deduction Model of Belief. Pitman Publishing, 1986.

  9. Rao A S, Georgeff M P. Modeling rational agents within a BDI-architecture. InPrinciples of Knowledge Representation and Reasoning: Proc. The Second International Conference (KR'91) Allen J, Fikes R, Sandewall E (eds.), California: Morgan Kaufmann Publishers, 1991, pp.473–484.

    Google Scholar 

  10. Rao A S, Georgeff M P. An abstract architecture for rational agents. InPrinciples of Knowledge Representation and Reasoning: Proc. The Third International Conference (KR'92), Nebel B, Rich C, Swartout W (eds.), California: Morgan Kaufmann Publishers, 1992, pp. 439–449.

    Google Scholar 

  11. Wooldridge M, Jennings N R. Intelligent agents: Theory and practice.The Knowledge Engineering Review, 1995, 10(2): 115–152.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Technology, Tsinghua University, 100084, Beijing, P.R. China

    Cao ZiNing & Shi ChunYi

  2. Laboratory of Computer Science, Institute of Software, The Chinese Academy of Sciences, 100080, Beijing, P.R. China

    Cao ZiNing

Authors
  1. Cao ZiNing
    View author publications

    You can also search for this author inPubMed Google Scholar

  2. Shi ChunYi
    View author publications

    You can also search for this author inPubMed Google Scholar

Corresponding author

Correspondence to Cao ZiNing.

Additional information

This work is supported by the National Natural Science Foundation of China under Grant Nos. 60203028, 60173011, 69833020.

CAO ZiNing received the Ph.D. degree in computer science from Tsinghua University in 2001. Now he is a postdoctoral fellow at the Institute of Software, Chinese Academy of Sciences. His main research interests include logic in computer science and concurrency theory.

SHI ChunYi is a professor for computer science at Tsinghua University. His main research interests include logic in artificial intelligence, machine learning and multi-agent system.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Cao, Z., Shi, C. Probabilistic belief logic and its probabilistic Aumann semantics. J. Comput. Sci. & Technol. 18, 571–579 (2003). https://doi.org/10.1007/BF02947116

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02947116

Keywords