Skip to main content
Log in

Reasoning about Imprecise Beliefs in Multi-Agent Systems with PDT Logic

KI - Künstliche Intelligenz Aims and scope Submit manuscript

Abstract

We present Probabilistic Doxastic Temporal (PDT) Logic, a formalism to represent and reason about probabilistic beliefs and their finite temporal evolution in multi-agent systems. This formalism enables the quantification of agents’ beliefs through probability intervals and incorporates an explicit notion of time. In this work, we give an overview of recent contributions on PDT Logic. After describing the syntax and semantics of this formalism, we show that two alternative representation forms are available to model problems in PDT Logic. Furthermore, we outline how abductive reasoning can be performed in PDT Logic and how this formalism can be extended to infinite time frames.

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

Access this article

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

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2

Similar content being viewed by others

References

  1. Aumann RJ (1976) Agreeing to disagree. Ann Stat 4(6):1236–1239

    Article  MathSciNet  MATH  Google Scholar 

  2. Baltag A, Moss LS (2004) Logics for epistemic programs. Synthese 139(2):165–224

    Article  MathSciNet  MATH  Google Scholar 

  3. Baltag A, Moss LS, Solecki S (1998) The logic of public announcements, common knowledge, and private suspicions. In: Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge. TARK ’98Morgan Kaufmann Publishers Inc., San Francisco, CA pp 43–56

  4. van Benthem J (2003) Conditional probability meets update logic. J Logic Lang Inform 12(4):409–421. doi:10.1023/A:1025002917675

    Article  MathSciNet  MATH  Google Scholar 

  5. van Ditmarsch H, van der Hoek W, Kooi B (2007) Dynamic Epistemic Logic, 1st edn. Springer, New York

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

    Article  MathSciNet  MATH  Google Scholar 

  7. Fagin R, Halpern JY, Moses Y, Vardi MY (1995) Reasoning about knowledge. MIT Press, Cambridge (1995)

  8. Gardner M (1961) The Second Scientific American Book of mathematical puzzles and diversions. Simon and Schuster, New York

    Google Scholar 

  9. Grünwald PD, Halpern JY (2003) Updating probabilities. J Artif Int Res 19(1):243–278

    MathSciNet  MATH  Google Scholar 

  10. Hintikka J (1962) Knowledge and belief. An introduction to the logic of the two notions. Cornell University Press, Ithaca, NY

    Google Scholar 

  11. Kooi BP (2003) Probabilistic dynamic epistemic logic. J Logic Lang Inform 12(4):381–408. doi:10.1023/A:1025050800836

    Article  MathSciNet  MATH  Google Scholar 

  12. Kripke SA (1963) Semantical considerations on modal logic. Acta Philos Fenn 16(1963):83–94

    MathSciNet  MATH  Google Scholar 

  13. Martiny K, Moeller R (2014) PDT Logic for Stream Reasoning in Multi-agent Systems. In: SCSS 2014. 6th International Symposium on Symbolic Computation in Software Science. EPiC Series, vol 30. EasyChair, pp 35–46

  14. Martiny K, Möller R (2015) A probabilistic doxastic temporal logic for reasoning about beliefs in multi-agent systems. In: ICAART 2015—Proceedings of the 7th International Conference on Agents and Artificial Intelligence. SciTePress, Portugal

  15. Martiny K, Möller R (2015) Abduction in PDT Logic. In: AI 2015: advances in artificial intelligence. Springer International Publishing, New York

  16. Martiny K, Möller R (2015) PDT logic: a probabilistic doxastic temporal logic for reasoning about beliefs in multi-agent systems. J Artif Int Res 57(1):39–112

    MathSciNet  MATH  Google Scholar 

  17. Martiny K, Motzek A, Möller R (2015) Formalizing agents beliefs for cyber-security defense strategy planning. In: CISIS 2015—Proceedings of the 8th International Conference on Computational Intelligence in Security for Information Systems

  18. Parikh R, Ramanujam R (2003) A knowledge based semantics of messages. J Logic Lang Inform 12(4):453–467. doi:10.1023/A:1025007018583

    Article  MathSciNet  MATH  Google Scholar 

  19. Plaza J (1989) Logics of public communications. In: Proceedings of the 4th international symposium on methodologies for intelligent systems: Poster session program. Oak Ridge National Laboratory, USA, pp 201–216

  20. Shakarian P, Parker A, Simari G, Subrahmanian VS (2011) Annotated probabilistic temporal logic. ACM Trans Comput Logic 12(2):14:1–14:44

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Karsten Martiny.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Martiny, K., Möller, R. Reasoning about Imprecise Beliefs in Multi-Agent Systems with PDT Logic. Künstl Intell 31, 63–71 (2017). https://doi.org/10.1007/s13218-016-0455-7

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s13218-016-0455-7

Keywords

Navigation