A guide to completeness and complexity for modal logics of knowledge and belief
Artificial Intelligence
Reasoning about knowledge
Derivatives of Regular Expressions
Journal of the ACM (JACM)
The Code Book: The Evolution of Secrecy from Mary, Queen of Scots, to Quantum Cryptography
The Code Book: The Evolution of Secrecy from Mary, Queen of Scots, to Quantum Cryptography
A Knowledge Based Semantics of Messages
Journal of Logic, Language and Information
Distributed Computing
Logics of communication and change
Information and Computation
Learning to Apply Theory of Mind
Journal of Logic, Language and Information
Quantified epistemic logics for reasoning about knowledge in multi-agent systems
Artificial Intelligence
Dynamic Epistemic Logic
Knowledge forgetting: Properties and applications
Artificial Intelligence
Knowledge and communication: A first-order theory
Artificial Intelligence
Reasoning about protocol change and knowledge
ICLA'11 Proceedings of the 4th Indian conference on Logic and its applications
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
An alternative axiomatization of DEL and its applications
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
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.