Hidden protocols: Modifying our expectations in an evolving world

Artificial Intelligence 208 (1):18--40 (2014)
Download Edit this record How to cite View on PhilPapers
Abstract
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.
Categories
(categorize this paper)
PhilPapers/Archive ID
VANHPM-2
Revision history
Archival date: 2019-02-04
View upload history
References found in this work BETA
Merging Frameworks for Interaction.van Benthem, Johan; Gerbrandy, Jelle; Hoshi, Tomohiro & Pacuit, Eric
A Knowledge Based Semantics of Messages.Parikh, Rohit & Ramanujam, Ramaswamy
The Undecidability of Iterated Modal Relativization.Miller, Joseph S. & Moss, Lawrence S.

Add more references

Citations of this work BETA
True Lies.Ågotnes, Thomas; van Ditmarsch, Hans & Wang, Yanjing

Add more citations

Added to PP index
2018-12-20

Total views
40 ( #33,278 of 39,922 )

Recent downloads (6 months)
40 ( #12,848 of 39,922 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.