A Composable Language for Action Models

Action models are semantic structures similar to Kripke models that represent a change in knowledge in an epistemic setting. Whereas the language of action model logic [8,7] embeds the semantic structure of an action model directly within the language, this paper introduces a language that represents action models using syntactic operators inspired by relational actions [11,12,13]. This language admits an intuitive description of the action models it represents, and we show in several settings that it is sufficient to represent any action model up to a given modal depth and to represent the results of action model synthesis [18], and give a sound and complete axiomatisation in some of these settings.

[1]  Andreas Herzig,et al.  Some Truths Are Best Left Unsaid , 2012, Advances in Modal Logic.

[2]  Tim French,et al.  Simulation and Information: Quantifying over Epistemic Events , 2009, KRAMAS.

[3]  Igor Walukiewicz,et al.  Automata for the Modal mu-Calculus and related Results , 1995, MFCS.

[4]  Thomas Bolander,et al.  Undecidability in Epistemic Planning , 2013, IJCAI.

[5]  H. V. Ditmarsch.  The semantics of actions in knowledge games , 1999 .

[6]  Jelle Gerbrandy,et al.  Reasoning about Information Change , 1997, J. Log. Lang. Inf..

[7]  Sophie Pinchinat,et al.  Future Event Logic - Axioms and Complexity , 2010, Advances in Modal Logic.

[8]  Hans van Ditmarsch,et al.  Descriptions of Game Actions , 2002, J. Log. Lang. Inf..

[9]  James Hales,et al.  Refinement Quantifiers for Logics of Belief and Knowledge , 2014 .

[10]  Jan A. Plaza,et al.  Logics of public communications , 2007, Synthese.

[11]  van Ditmarschhans,et al.  The logic of knowledge games : showing a cardHans , 1999 .

[12]  Tim French,et al.  Refinement Quantified Logics of Knowledge and Belief for Multiple Agentsc , 2012, Advances in Modal Logic.

[13]  Alessandra Palmigiano,et al.  Proof systems for the coalgebraic cover modality , 2008, Advances in Modal Logic.

[14]  Sophie Pinchinat,et al.  Refinement modal logic , 2012, Inf. Comput..

[15]  Guillaume Aucher,et al.  DEL-sequents for regression and epistemic planning , 2012, J. Appl. Non Class. Logics.

[16]  Tim French,et al.  Refinement Quantified Logics of Knowledge , 2011, M4M/LAMAS.

[17]  A. Baltag,et al.  Logics for epistemic programs , 2004 .

[18]  Jelle Gerbrandy,et al.  Dynamic epistemic logic , 1998 .

[19]  Philippe Balbiani,et al.  Group announcement logic , 2010, J. Appl. Log..