Concurrent Dynamic Epistemic Logic for MAS

Proceedings of the International Conference on Autonomous Agents

Volumn 2, Issue , 2003, Pages 201-208

  Van Ditmarsch, H P ^a   Van der Hoek, W ^b   Kooi, B P ^c  

^a UNIVERSITY OF OTAGO   (New Zealand)

^b UNIVERSITY OF LIVERPOOL   (United Kingdom)

^c UNIVERSITY OF GRONINGEN   (Netherlands)

Author keywords

Agent communication; Concurrency; Dynamic epistemic logic

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMMUNICATION; COMPUTER PROGRAMMING LANGUAGES; DECISION MAKING; FORMAL LOGIC; GAME THEORY; INFORMATION THEORY; SEMANTICS;

AGENT COMMUNICATION; CONCURRENCY; DYNAMIC EPISTEMIC LOGIC;

MULTI AGENT SYSTEMS;

EID: 1142280952     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/860575.860608     Document Type: Conference Paper

References (30)

1. C. Alchourrón. P. Gärdenfors, and D. Makinson. On the logic of theory change: partial meet contraction and revision functions. Journal of Symbolic Logic, 50:510-530, 1985.
2. R. Alur, T. A. Henzinger, and O. Kupferman. Alternating-time temporal logic. In Proceedings of the 38th IEEE Symposium on Foundations of Computer Science, pages 100-109, Florida, October 1997.
3. R. Aumann and A. Brandenburger. Epistemic conditions for Nash equilibrium. Econometrica, (63):1161-1180, 1995.
4. A. Baltag. A logic for suspicious players: Epistemic actions and belief updates in games. Bulletin of Economic Research, 54(1):1-45, 2002.
5. A. Baltag, L. Moss, and S. Solecki. The logic of public announcements, common knowledge and private suspicions. Manuscript, originally presented at TARK 98, 2002.
6. S. Benferhat, D. Dubois, H. Prade, and M. Williams. A practical approach to revising prioritized knowledge bases. Studia Logica, 70(1), 2002.
7. P. Blackburn, M. de Rijke, and Y. Venema. Modal Logic. Cambridge University Press, Cambridge, 2001. Cambridge Tracts in Theoretical Computer Science 53.
8. A. Darwiche and J. Pearl. On the logic of iterated belief revision. Artificial Intelligence, 89(1-2):1-29, 1997.
9. R. Fagin, J. Halpern, Y. Moses, and M. Vardi. Reasoning about Knowledge. MIT Press, Cambridge MA, 1995.
10. J. Gerbrandy. Bisirnulations on Planet Kripke. PhD thesis, University of Amsterdam, 1999. ILLC Dissertation Series DS-1999-01.
11. J. Gerbrandy and W. Groeneveld. Reasoning about information change. Journal of Logic, Language, and Information, 6:147-169, 1997.
12. R. Goldblatt. Logics of Time and Computation. CSLI Publications, Stanford, 2 edition, 1992. CSLI Lecture Notes No. 7.
13. D. Harel, D. Kozen, and J. Tiuryn. Dynamic Logic. MIT Press. Cambridge MA, 2000. Foundations of Computing Series.
14. J. Hintikka. Knowledge and Belief. Cornell University Press: Ithaca, NY, 1962.
15. J. Hintikka. Reasoning about knowledge in philosophy. In J. Y. Halpern, editor, Proceedings of the 1986 Conference on Theoretical Aspects of Reasoning About Knowledge, pages 63-80. Morgan Kaufmann Publishers: San Mateo, CA, 1986.
16. H. Katsuno and A. Mendelzon. On the difference between updating a knowledge base and revising it. In Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, pages 387-394, 1991.
17. J.-J. Meyer and W. van der Hoek. Epistemic Logic for AI and Computer Science, Cambridge Tracts in Theoretical Computer Science 41. Cambridge University Press, Cambridge, 1995.
18. T. Meyer, W. Labuschagne, and J. Heidema. Refined epistemic entrenchment. Journal of Logic, Language and Information, 9:237-259, 2000.
19. R. Parikh. The logic of games and its applications. In M. Karpinski and J. van Leeuwen, editors, Topics in the theory of computation Annals of Discrete Mathematics 24, pages 111-139, Amsterdam, 1985. Elsevier Science.
20. M. Pauly. Logic for social software. PhD thesis, University of Amsterdam, 2001. ILLC Dissertation Series DS-2001-10.
21. D. Peleg. Concurrent dynamic logic. Journal of the ACM, 34(2):450-479, 1987.
22. J. Plaza. Logics of public communications. In M. Emrich, M. Pfeifer, M. Hadzikadic, and Z. Ras, editors, Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems, pages 201-216, 1989.
23. B. ten Cate. Internalizing epistemic actions. In M. Martinez, editor, Proceedings of the NASSLLI-2002 student session, Stanford University, 2002.
24. J. van Benthem. Logics for information update. In J. van Benthem, editor, Proceedings of TARK VIII, pages 51-88, Los Altos, 2001. Morgan Kaufmann.
25. W. van der Hoek and M. Wooldridge. Tractable multi agent planning for epistemic goals. In C. Castelfranchi and W. Johnson, editors, Proceedings of the First Internation Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS), pages 1167-1174, New York, USA, 2002. ACM Press.
26. H. van Ditmarsch. Knowledge games. PhD thesis, University of Groningen, 2000. ILLC Dissertation Series DS-2000-06.
27. H. van Ditmarsch. The semantics of concurrent knowledge actions. In M. Pauly and G. Sandu, editors, ESSLLI 2001 workshop on Logic and Games, 2001.
28. H. van Ditmarsch. The description of game actions in cluedo. In L. Petrosian and V. Mazalov, editors, Game Theory and Applications, volume 8, pages 1-28, Commack, NY, USA, 2002. Nova Science Publishers.
29. H. van Ditmarsch. Descriptions of game actions. Journal of Logic, Language and Information, 11:349-365, 2002.
30. H. van Ditmarsch. The russian cards problem. Studia Logica. To appear in 2003.