Reasoning about knowledge
Distributed Processes and the Logic of Knowledge
Proceedings of the Conference on Logic of Programs
Model checking for epistemic and temporal properties of uncertain agents
PRIMA'06 Proceedings of the 9th Pacific Rim international conference on Agent Computing and Multi-Agent Systems
Perfect recall of imperfect knowledge
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
The synchronicity of dynamic epistemic logic
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Hi-index | 0.00 |
Diachronic uncertainty, uncertainty about where an agent falls in time, poses interesting conceptual difficulties. Although the agent is uncertain about where she falls in time, this uncertainty can only obtain at a particular moment in time. We resolve this conceptual tension by providing a transformation from models with diachronic uncertainty relations into "equivalent" models with only synchronic uncertainty relations. The former are interpreted as capturing the causal structure of a situation, while the latter are interpreted as capturing its epistemic structure. The models are equivalent in the sense that agents pass through the same information sets in the same order, In this paper, we investigate how such a transformation may be used to define an appropriate notion of equivalence, which we call epistemic equivalence. Although our project is motivated by problems which have arisen in a variety of disciplines, especially philosophy and game theory, our formal development takes place within the general and flexible framework provided by epistemic temporal logic.