Dynamic epistemic logics: promises, problems, shortcomings, and perspectives

Abstract Dynamic epistemic logics provide an account of the evolution of agents’ belief and knowledge when they learn the occurrence of an event. These logics started to become popular about 20 years ago and by now there exists a huge number of publications about them. The present paper briefly summarises the existing body of literature, discusses some problems and shortcomings, and proposes some avenues for future research.

[1]  Andreas Herzig,et al.  From Situation Calculus to Dynamic Epistemic Logic , 2011, J. Log. Comput..

[2]  Jan van Eijck,et al.  Symbolic Model Checking for Dynamic Epistemic Logic , 2015, LORI.

[3]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[4]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[5]  Emiliano Lorini,et al.  Building Epistemic Logic from Observations and Public Announcements , 2016, KR.

[6]  D. Gabbay,et al.  Many-Dimensional Modal Logics: Theory and Applications , 2003 .

[7]  Lawrence S. Moss,et al.  The Logic of Public Announcements and Common Knowledge and Private Suspicions , 1998, TARK.

[8]  Faustine Maffre.  Ignorance is bliss : observability-based dynamic epistemic logics and their applications. (Le bonheur est dans l'ignorance : logiques épistémiques dynamiques basées sur l'observabilité et leurs applications) , 2016 .

[9]  Guillaume Aucher,et al.  A Combined System for Update Logic and Belief Revision , 2004, PRIMA.

[10]  Hans van Ditmarsch,et al.  Prolegomena to Dynamic Logic for Belief Revision , 2005, Synthese.

[11]  Lawrence S. Moss,et al.  Logics for Epistemic Programs , 2004, Synthese.

[12]  Abdul Sattar,et al.  Model Checking Temporal Logics of Knowledge Via OBDDs , 2007, Comput. J..

[13]  Carsten Lutz,et al.  Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics , 2011, IJCAI.

[14]  Marianne Winslett,et al.  Reasoning about Action Using a Possible Models Approach , 1988, AAAI.

[15]  Yanjing Wang,et al.  On axiomatizations of public announcement logic , 2013, Synthese.

[16]  N. Malcolm.  On Knowledge and Belief , 1954 .

[17]  Barteld P. Kooi,et al.  Expressivity and completeness for public update logics via reduction axioms , 2007, J. Appl. Non Class. Logics.

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

[19]  Guillaume Aucher.  Internal models and private multi-agent belief revision , 2008, AAMAS.

[20]  Mike Barley,et al.  Intelligent Agents and Multi-Agent Systems, 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers , 2005, PRIMA.

[21]  Andreas Herzig,et al.  Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments , 2014, KR.

[22]  Wiebe van der Hoek,et al.  Dynamic epistemic logic with assignment , 2005, AAMAS '05.

[23]  Alex M. Andrew,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .

[24]  J. Benthem.  One is a Lonely Number: on the logic of communication , 2003 .

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

[26]  Yanjing Wang,et al.  Composing models , 2011, J. Appl. Non Class. Logics.

[27]  Michael Thielscher,et al.  Ramification and Causality , 1997, Artif. Intell..

[28]  Carsten Lutz,et al.  An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL , 2012, KR.

[29]  Emiliano Lorini,et al.  A Poor Man's Epistemic Logic Based on Propositional Assignment and Higher-Order Observation , 2015, LORI.

[30]  Wolfgang Lenzen,et al.  Recent work in epistemic logic , 1978 .

[31]  David Makinson,et al.  Parallel interpolation, splitting, and relevance in belief change , 2007, Journal of Symbolic Logic.

[32]  Johan van Benthem,et al.  McCarthy variations in a modal key , 2011, Artif. Intell..

[33]  Andreas Herzig,et al.  How to share knowledge by gossiping , 2017, AI Commun..

[34]  Guillaume Aucher,et al.  BMS revisited , 2009, TARK '09.

[35]  Emiliano Lorini,et al.  Epistemic Boolean Games Based on a Logic of Visibility and Control , 2016, IJCAI.

[36]  Johan van Benthem,et al.  Dynamic logic for belief revision , 2007, J. Appl. Non Class. Logics.

[37]  Jan van Eijck,et al.  Logics of communication and change , 2006, Inf. Comput..

[38]  Barteld Kooi,et al.  ARROW UPDATE LOGIC , 2011, The Review of Symbolic Logic.

[39]  Luis Fariñas del Cerro,et al.  Global and Local Graph Modifiers , 2009, M4M.

[40]  Robert C. Moore.  A Formal Theory of Knowledge and Action , 1984 .

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

[42]  Mark Ryan,et al.  Knowledge in multiagent systems: initial configurations and broadcast , 1999, TOCL.

[43]  R. Parikh.  Beliefs, belief revision, and splitting languages , 1999 .

[44]  Wiebe van der Hoek,et al.  Succinctness of Epistemic Languages , 2011, IJCAI.

[45]  Emiliano Lorini,et al.  A Modal Logic of Perceptual Belief , 2014 .

[46]  François Schwarzentruber,et al.  On the Complexity of Dynamic Epistemic Logic , 2013, TARK.

[47]  Yanjing Wang,et al.  An Alternative Axiomatization of DEL and Its Applications , 2013, IJCAI.

[48]  Philippe Balbiani,et al.  Agents that look at one another , 2013, Log. J. IGPL.

[49]  Andreas Herzig,et al.  The PMA Revisited , 1996, KR.

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

[51]  Michael Wooldridge,et al.  A logic of revelation and concealment , 2012, AAMAS.

[52]  钱超平.  As far as I know... , 2009 .

[53]  Jürg Kohlas,et al.  Handbook of Defeasible Reasoning and Uncertainty Management Systems , 2000 .

[54]  Michael Thielscher.  Qualified Ramifications , 1997, AAAI/IAAI.

[55]  Barteld P. Kooi,et al.  Generalized arrow update logic , 2011, TARK XIII.

[56]  Michael Thielscher.  Computing Ramifications by Postprocessing , 1995, IJCAI.

[57]  Michael Thielscher,et al.  Causality and the Qualification Problem , 1996, KR.

[58]  François Schwarzentruber,et al.  Arbitrary Public Announcement Logic with Mental Programs , 2015, AAMAS.

[59]  Andreas Herzig,et al.  Logics for Belief Base Updating , 1998 .

[60]  Carsten Lutz,et al.  Complexity and succinctness of public announcement logic , 2006, AAMAS '06.

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

[62]  Tim French,et al.  A Composable Language for Action Models , 2014, Advances in Modal Logic.

[63]  Sébastien Konieczny,et al.  Improvement Operators , 2008, KR.

[64]  Emiliano Lorini,et al.  Announcements to Attentive Agents , 2016, J. Log. Lang. Inf..

[65]  Alexandru Baltag,et al.  Group belief dynamics under iterated revision: fixed points and cycles of joint upgrades , 2009, TARK '09.

[66]  S. Hansson,et al.  Twenty-Five Years of Research in Belief Change , 2011 .