Hidden protocols: Modifying our expectations in an evolving world

Artificial Intelligence 208 (1):18--40 (2014)
  Copy   BIBTEX


When agents know a protocol, this leads them to have expectations about future observations. Agents can update their knowledge by matching their actual observations with the expected ones. They eliminate states where they do not match. In this paper, we study how agents perceive protocols that are not commonly known, and propose a semantics-driven logical framework to reason about knowledge in such scenarios. In particular, we introduce the notion of epistemic expectation models and a propositional dynamic logic-style epistemic logic for reasoning about knowledge via matching agentsÊ expectations to their observations. It is shown how epistemic expectation models can be obtained from epistemic protocols. Furthermore, a characterization is presented of the effective equivalence of epistemic protocols. We introduce a new logic that incorporates updates of protocols and that can model reasoning about knowledge and observations. Finally, the framework is extended to incorporate fact-changing actions, and a worked-out example is given. © 2013 Elsevier B.V.

Similar books and articles

Verifying Epistemic Protocols Under Common Knowledge.Yanjing Wang, Lakshmanan Kuppusamy & Jan van Eijck - 2009 - Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge - Tark ’09:257--266.
Merging Frameworks for Interaction.Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi & Eric Pacuit - 2009 - Journal of Philosophical Logic 38 (5):491-526.
A Logic for Extensional Protocols.Ben Rodenhäuser - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):477-502.
Dynamic Epistemic Logic.Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi - 2016 - Internet Encyclopedia of Philosophy.
Dynamic Epistemic Logic.Hans van Ditmarsch, and, Wiebe van der Hoek & Barteld Kooi - 2016 - Internet Encyclopedia of Philosophy.
Dynamic Epistemic Logic and Logical Omniscience.Mattias Skipper Rasmussen - 2015 - Logic and Logical Philosophy 24 (3):377-399.
Proof Theory of Epistemic Logic of Programs.Paolo Maffezioli & Alberto Naibo - 2014 - Logic and Logical Philosophy 23 (3):301--328.


Added to PP

200 (#62,134)

6 months
23 (#45,704)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

True Lies.Thomas Ågotnes, Hans van Ditmarsch & Yanjing Wang - 2018 - Synthese 195 (10):4581-4615.

Add more citations

References found in this work

Logic and Conversation.H. Paul Grice - 1975 - In Maite Ezcurdia & Robert J. Stainton (eds.), The Semantics-Pragmatics Boundary in Philosophy. Broadview Press. pp. 47.
Logic and Conversation.H. P. Grice - 1975 - In Donald Davidson & Gilbert Harman (eds.), The Logic of Grammar. Encino, CA: pp. 64-75.

View all 24 references / Add more references