TY - GEN
T1 - Agent-time epistemics and coordination
AU - Ben-Zvi, Ido
AU - Moses, Yoram
PY - 2013
Y1 - 2013
N2 - A minor change to the standard epistemic logical language, replacing K i with K ⌠where t is an explicit 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 of the operators does not match the temporal order of occurrence. The generalized form of common knowledge does not correspond to simultaneity. Rather, it corresponds to a notion of tight coordination, of which simultaneity is an instance.
AB - A minor change to the standard epistemic logical language, replacing K i with K ⌠where t is an explicit 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 of the operators does not match the temporal order of occurrence. The generalized form of common knowledge does not correspond to simultaneity. Rather, it corresponds to a notion of tight coordination, of which simultaneity is an instance.
UR - http://www.scopus.com/inward/record.url?scp=84872822639&partnerID=8YFLogxK
U2 - https://doi.org/10.1007/978-3-642-36039-8_9
DO - https://doi.org/10.1007/978-3-642-36039-8_9
M3 - منشور من مؤتمر
SN - 9783642360381
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 97
EP - 108
BT - Logic and Its Applications - 5th Indian Conference, ICLA 2013, Proceedings
T2 - 5th Indian Conference on Logic and Its Applications, ICLA 2013
Y2 - 10 January 2013 through 12 January 2013
ER -