David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jonathan Jenkins Ichikawa
Jack Alan Reynolds
Learn more about PhilPapers
Synthese 185 (1):131-151 (2012)
The effects of public announcements, private communications, deceptive messages to groups, and so on, can all be captured by a general mechanism of updating multi-agent models with update action models, now in widespread use. There is a natural extension of the definition of a bisimulation to action models. Surely enough, updating with bisimilar action models gives the same result (modulo bisimulation). But the converse turns out to be false: update models may have the same update effects without being bisimilar. We propose action emulation as a notion of equivalence more appropriate for action models, and generalizing standard bisimulation. It is proved that action emulation provides a full characterization of update effect. We first concentrate on the general case, and next focus on the important case of action models with propositional preconditions. Our notion of action emulation yields a simplification procedure for action models, and it gives designers of multi-agent systems a useful tool for comparing different ways of representing a particular communicative action
|Keywords||Update logic Dynamic epistemic logic Bisimulation Equivalence Kripke semantics|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Floor Sietsma & Jan van Eijck (2013). Action Emulation Between Canonical Models. Journal of Philosophical Logic 42 (6):905-925.
Similar books and articles
Stephen Andrew Butterfill (2001). Two Kinds of Purposive Action. European Journal of Philosophy 9 (2):141–165.
Jan Eijck, Ji Ruan & Tomasz Sadzik (2012). Action Emulation. Synthese 185 (S1):131-151.
Rick Grush (2004). Further Explorations of the Empirical and Theoretical Aspects of the Emulation Theory. Behavioral and Brain Sciences 27 (3):425-435.
Wojciech Buszkowski & Ewa Palka (2008). Infinitary Action Logic: Complexity, Models and Grammars. Studia Logica 89 (1):1 - 18.
Alfred R. Mele & Paul K. Moser (1994). Intentional Action. Noûs 28 (1):39-68.
Ricarda I. Schubotz & D. Yves von Cramon (2004). Brains Have Emulators with Brains: Emulation Economized. Behavioral and Brain Sciences 27 (3):414-415.
Ramesh Balasubramaniam (2004). Redundancy in the Nervous System: Where Internal Models Collapse. Behavioral and Brain Sciences 27 (3):396-397.
Added to index2009-01-28
Total downloads28 ( #148,017 of 1,934,581 )
Recent downloads (6 months)3 ( #195,826 of 1,934,581 )
How can I increase my downloads?