Agent-time epistemics and coordination

DOI10.1007/978-3-642-36039-8_9zbMATH Open1303.03039arXiv1203.5399OpenAlexW1950554995MaRDI QIDQ2936233FDOQ2936233

Authors: Ido Ben-Zvi, Yoram Moses 

Publication date: 6 January 2015

Published in: Logic and Its Applications (Search for Journal in Brave)

Abstract: A minor change to the standard epistemic logical language, replacing $K_i$ with $K_{odei,t}$ where $t$ 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 to a notion of tight coordination, of which simultaneity is an instance.

Full work available at URL: https://arxiv.org/abs/1203.5399

Recommendations

• scientific article; zbMATH DE number 1530250
• Action and knowledge in alternating-time temporal logic
• Common knowledge revisited
• scientific article; zbMATH DE number 2149446
• Common knowledge and consistent simultaneous coordination

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Cited In (6)

• Timed epistemic knowledge bases for social networks
• Relating knowledge and coordinated action: the knowledge of preconditions principle
• Known unknowns: time bounds and knowledge of ignorance
• Representing and Verifying Temporal Epistemic Properties in Multi-Agent Systems
• Beyond Lamport's Happened-before
• Fire!

This page was built for publication: Agent-time epistemics and coordination

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2936233)