Agent-time Epistemics and Coordination
Ido Ben-Zvi, Yoram Moses

TL;DR
This paper extends epistemic logic by incorporating time into knowledge operators, enabling a more expressive framework to analyze how agents coordinate and share knowledge over time.
Contribution
It introduces a generalized epistemic formalism with time-indexed knowledge operators, exploring the relationship between temporal structures and knowledge states.
Findings
Nested knowledge relates to event ordering even when not temporally aligned.
Generalized common knowledge corresponds to tight coordination, not just simultaneity.
Decoupling epistemic necessity from temporal necessity broadens understanding of agent coordination.
Abstract
A minor change to the standard epistemic logical language, replacing with where is a time instance, gives rise to a generalized and more expressive form of knowledge and common knowledge operators. We investigate the communication structures that are necessary for such generalized epistemic states to arise, and the inter-agent coordination tasks that require such knowledge. Previous work has established a relation between linear event ordering and nested knowledge, and between simultaneous event occurrences and common knowledge. In the new, extended, formalism, epistemic necessity is decoupled from temporal necessity. Nested knowledge and event ordering are shown to be related even when the nesting order does not match the temporal order of occurrence. The generalized form of common knowledge does {\em not} correspond to simultaneity. Rather, it corresponds…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · Computability, Logic, AI Algorithms · Advanced Algebra and Logic
