|Abstract||Many logical systems today describe intelligent interacting agents over time. Frameworks include Interpreted Systems (IS, Fagin et al. ), Epistemic-Temporal Logic (ETL, Parikh & Ramanujam ), STIT (Belnap et al. ), Process Algebra and Game Semantics (Abramsky ). This variety is an asset, as diﬀerent modeling tools can be ﬁne-tuned to speciﬁc applications. But it may also be an obstacle, when barriers between paradigms and schools go up. This paper takes a closer look at one particular interface, between two systems that both address the dynamics of knowledge and information ﬂow in multi-agent systems. One is IS/ETL (IS and ETL are, from a technical point of view, the same up to model transformations, cf. ), which uses linear or branching time models with added epistemic structure induced by agents’ diﬀerent capabilities for observing events. These models provide a Grand Stage where histories of some process unfold constrained by a protocol, and a matching epistemic-temporal language describes what happens. The other framework is Dynamic Epistemic Logic (DEL, [10, 4, 34]) that describes interactive processes in terms of epistemic event models which may occur inside modalities of the language. Temporal evolution is then computed from some initial epistemic model through a process of successive ‘product updates’. It has long been unclear how to best compare IS/ETL and DEL. Various aspects have been investigated in [10, 30, 32], but in this paper, we study the interface in a more systematic way. Often, DEL and ETL are presented as alternative ways of adding dynamics to multi-agent epistemic models. In this paper, we rather focus on how merging the two diﬀerent modeling choices leads to interesting new questions. Our leading interest here will be a view of informational processes as evolving over time. To see what we mean, consider the simplest version of DEL, viz. the logic of public announcements PAL () which adds a very speciﬁc type of communicative 1 action to epistemic models: a public announcement..|
|Keywords||No keywords specified (fix it)|
|Categories||No categories specified (fix it)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi & Eric Pacuit (2009). Merging Frameworks for Interaction. Journal of Philosophical Logic 38 (5).
Johan Van Benthem, Jelle Gerbrandy, Tomohiro Hoshi & Eric Pacuit (2009). Merging Frameworks for Interaction. Journal of Philosophical Logic 38 (5):491 - 526.
Tomohiro Hoshi (forthcoming). Merging Del and Etl. Journal of Logic, Language and Information.
Tomohiro Hoshi & Audrey Yap (2009). Dynamic Epistemic Logic with Branching Temporal Structures. Synthese 169 (2):259 - 281.
Joshua Sack (2008). Temporal Languages for Epistemic Programs. Journal of Logic, Language and Information 17 (2).
Valentin Goranko & Wojciech Jamroga (2004). Comparing Semantics of Logics for Multi-Agent Systems. Synthese 139 (2):241 - 280.
J. F. A. K. van Benthem (2011). Logical Dynamics of Information and Interaction. Cambridge University Press.
Alexandru Baltag & Lawrence S. Moss (2004). Logics for Epistemic Programs. Synthese 139 (2):165 - 224.
Alistair Isaac & Tomohiro Hoshi (forthcoming). Synchronizing Diachronic Uncertainty. Journal of Logic, Language and Information.
Added to index2010-12-22
Total downloads4 ( #178,844 of 549,715 )
Recent downloads (6 months)1 ( #63,425 of 549,715 )
How can I increase my downloads?