|Abstract||A key notion of equivalence for modal and epistemic logic is bisimulation. However, to capture the update eﬀects of action models in epistemic update logic, this notion turns out to be too strong. We propose necessary and suﬃcient conditions for having the same update eﬀect, in the cases of action models with propositional preconditions and action models with modal precondions. Next, the notion of an action emulation is proposed as a notion of equivalence more appropriate for action models than bisimulation. It is proved that every bisimulation is an action emulation, but not vice versa, and that in the context of action models with propositional or modal preconditions, action emulation provides a full characterisation of update eﬀect.|
|Keywords||No keywords specified (fix it)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Stephen Andrew Butterfill (2001). Two Kinds of Purposive Action. European Journal of Philosophy 9 (2):141–165.
Ricarda I. Schubotz & D. Yves von Cramon (2004). Brains Have Emulators with Brains: Emulation Economized. Behavioral and Brain Sciences 27 (3):414-415.
Alfred R. Mele & Paul K. Moser (1994). Intentional Action. Noûs 28 (1):39-68.
Wojciech Buszkowski & Ewa Palka (2008). Infinitary Action Logic: Complexity, Models and Grammars. Studia Logica 89 (1):1 - 18.
Rick Grush (2004). Further Explorations of the Empirical and Theoretical Aspects of the Emulation Theory. Behavioral and Brain Sciences 27 (3):425-435.
Jan Eijck, Ji Ruan & Tomasz Sadzik (2012). Action Emulation. Synthese 185 (S1):131-151.
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 downloads6 ( #145,790 of 551,054 )
Recent downloads (6 months)1 ( #63,341 of 551,054 )
How can I increase my downloads?