Agent-time epistemics and coordination

DOI10.1007/978-3-642-36039-8_9MaRDI QIDQ2936233zbMATH OpenOpenAlexFDO

Authors Ido Ben-Zvi, Yoram Moses

Publication date 6 January 2015

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

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

Mathematics Subject Classification ID

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

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.

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

Cited in

(6)

• Timed epistemic knowledge bases for social networks
• Beyond Lamport's Happened-before
• Representing and Verifying Temporal Epistemic Properties in Multi-Agent Systems
• Relating knowledge and coordinated action: the knowledge of preconditions principle
• Known unknowns: time bounds and knowledge of ignorance
• 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)