A Probabilistic Doxastic Temporal Logic for Reasoning about Beliefs in Multi-agent Systems

Karsten Martiny, Ralf Möller

Abstract

We present Probabilistic Doxastic Temporal (PDT) Logic, a formalism to represent and reason about probabilistic beliefs and their evolution in multi-agent systems. It can quantify beliefs through probability intervals and incorporates the concepts of frequency functions and epistemic actions. We provide an appropriate semantics for PDT and show how agents can update their beliefs with respect to their observations.

References

  1. Aumann, R. J. (1976). Agreeing to Disagree. The Annals of Statistics, 4(6):1236-1239.
  2. Fagin, R. and Halpern, J. Y. (1994). Reasoning about Knowledge and Probability. Journal of the ACM, 41:340-367.
  3. Fagin, R., Halpern, J. Y., Moses, Y., and Vardi, M. Y. (1995). Reasoning About Knowledge. MIT Press.
  4. Hintikka, J. (1962). Knowledge and Belief. Ithaca, N.Y.,Cornell University Press.
  5. Kripke, S. A. (1963). Semantical Considerations on Modal Logic. Acta Philosophica Fennica, 16(1963):83-94.
  6. Lloyd, J. W. (1987). Foundations of Logic Programming, 2nd Edition. Springer.
  7. Renne, B., Sack, J., and Yap, A. (2009). Dynamic Epistemic Temporal Logic. In Proc. of the Second International Workshop on Logic, Rationality, and Interaction.
  8. Scherl, R. B. and Levesque, H. J. (2003). Knowledge, Action, and the Frame Problem. Artificial Intelligence, 144(1-2):1-39.
  9. Shakarian, P., Parker, A., Simari, G., and Subrahmanian, V. S. (2011). Annotated Probabilistic Temporal Logic. ACM Trans. Comput. Logic, 12(2):14:1-14:44.
  10. van der Hoeck, W. (1997). Some considerations on the logics PFD: A logic combining modality and probability. Journal of Applied Non-Classical Logics, 7(3).
  11. van Ditmarsch, H., van der Hoek, W., and Kooi, B. (2007). Dynamic Epistemic Logic. Springer, 1st edition.
Download


Paper Citation


in Harvard Style

Martiny K. and Möller R. (2015). A Probabilistic Doxastic Temporal Logic for Reasoning about Beliefs in Multi-agent Systems . In Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-758-074-1, pages 277-284. DOI: 10.5220/0005178802770284


in Bibtex Style

@conference{icaart15,
author={Karsten Martiny and Ralf Möller},
title={A Probabilistic Doxastic Temporal Logic for Reasoning about Beliefs in Multi-agent Systems},
booktitle={Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},
year={2015},
pages={277-284},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005178802770284},
isbn={978-989-758-074-1},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - A Probabilistic Doxastic Temporal Logic for Reasoning about Beliefs in Multi-agent Systems
SN - 978-989-758-074-1
AU - Martiny K.
AU - Möller R.
PY - 2015
SP - 277
EP - 284
DO - 10.5220/0005178802770284