Logics of knowledge and action: critical analysis and challenges

We overview the most prominent logics of knowledge and action that were proposed and studied in the multiagent systems literature. We classify them according to these two dimensions, knowledge and action, and moreover introduce a distinction between individual knowledge and group knowledge, and between a nonstrategic an a strategic interpretation of action operators. For each of the logics in our classification we highlight problematic properties. They indicate weaknesses in the design of these logics and call into question their suitability to represent knowledge and reason about it. This leads to a list of research challenges.

[1]  Alexandru Baltag,et al.  The logic of justified belief, explicit knowledge, and conclusive evidence , 2014, Ann. Pure Appl. Log..

[2]  Jennifer Nacht,et al.  Modal Logic An Introduction , 2016 .

[3]  Polly S Nichols,et al.  Agreeing to disagree. , 2005, General dentistry.

[4]  Michael E. Bratman,et al.  Stanford series in philosophy , 1989 .

[5]  Wojciech Jamroga,et al.  Alternating-time temporal logics with irrevocable strategies , 2007, TARK '07.

[6]  J. Gerbrandy,et al.  Distributed Knowledge , 2022 .

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

[8]  Valentin Goranko,et al.  Complete axiomatization and decidability of Alternating-time temporal logic , 2006, Theor. Comput. Sci..

[9]  Andreas Herzig,et al.  What groups do, can do, and know they can do: an analysis in normal modal logics , 2009, J. Appl. Non Class. Logics.

[10]  Hector J. Levesque,et al.  The Frame Problem and Knowledge-Producing Actions , 1993, AAAI.

[11]  J. Horty.  Agency and Deontic Logic , 2001 .

[12]  Hector J. Levesque,et al.  Iterated belief change in the situation calculus , 2000, Artif. Intell..

[13]  Laurina Verbrugge,et al.  Models of Strategic Reasoning: Logic, Games, and Communities , 2015 .

[14]  Francesco Belardinelli,et al.  Reasoning about Knowledge and Strategies: Epistemic Strategy Logic , 2014, SR.

[15]  Andreas Herzig,et al.  A Dynamic Logic Framework for Abstract Argumentation , 2014, KR.

[16]  H. V. Ditmarsch.  Prolegomena to Dynamic Logic for Belief Revision , 2005 .

[17]  Emiliano Lorini,et al.  A Dynamic Logic of Normative Systems , 2011, IJCAI.

[18]  Emiliano Lorini,et al.  Direct and Indirect Common Belief , 2014 .

[19]  Yde Venema,et al.  Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn. The MIT Press, Cambridge, Massachusetts. Hardback: ISBN 0–262–08289–6, $50, xv + 459 pages , 2002, Theory and Practice of Logic Programming.

[20]  Andreas Herzig,et al.  Knowing how to play: uniform choices in logics of agency , 2006, AAMAS '06.

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

[22]  Wojciech Jamroga,et al.  Agents that Know How to Play , 2004, Fundam. Informaticae.

[23]  Jürgen Dix,et al.  Reasoning about temporal properties of rational play , 2008, Annals of Mathematics and Artificial Intelligence.

[24]  John-Jules Ch. Meyer,et al.  A Logical Approach to the Dynamics of Commitments , 1999, Artif. Intell..

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

[26]  Thomas A. Henzinger,et al.  Alternating-time temporal logic , 1997, Proceedings 38th Annual Symposium on Foundations of Computer Science.

[27]  Emiliano Lorini,et al.  A logical analysis of responsibility attribution: emotions, individuals and collectives , 2014, J. Log. Comput..

[28]  R. Kirk.  CONVENTION: A PHILOSOPHICAL STUDY , 1970 .

[29]  Tim French,et al.  Undecidability for arbitrary public announcement logic , 2008, Advances in Modal Logic.

[30]  Andreas Herzig,et al.  ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’ , 2008, The Review of Symbolic Logic.

[31]  N. Belnap,et al.  Facing the Future: Agents and Choices in Our Indeterminist World , 2001 .

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

[33]  Emiliano Lorini,et al.  A Dynamic Logic of Agency I: STIT, Capabilities and Powers , 2010, J. Log. Lang. Inf..

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

[35]  Michael Wooldridge,et al.  Alternating-time temporal logic with explicit strategies , 2007, TARK '07.

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

[37]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

[38]  Andreas Herzig,et al.  Public announcements, public assignments and the complexity of their logic , 2012, J. Appl. Non Class. Logics.

[39]  Emiliano Lorini,et al.  A Modal Logic of Epistemic Games , 2010, Games.

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

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

[42]  Nicolas Markey,et al.  ATL with Strategy Contexts and Bounded Memory , 2009, LFCS.

[43]  Luis Fariñas del Cerro,et al.  Combining Equilibrium Logic and Dynamic Logic , 2013, LPNMR.

[44]  Edmund M. Clarke,et al.  Model Checking , 1999, Handbook of Automated Reasoning.

[45]  J. Meyer,et al.  The logic of action , 2009 .

[46]  Dominique Longin,et al.  Grounding and the Expression of Belief , 2006, KR.

[47]  Clare Dixon,et al.  Reasoning about agents in the KARO framework , 2001, Proceedings Eighth International Symposium on Temporal Representation and Reasoning. TIME 2001.

[48]  Emiliano Lorini,et al.  On the Epistemic Foundation for Iterated Weak Dominance: An Analysis in a Logic of Individual and Collective attitudes , 2013, J. Philos. Log..

[49]  R. Tuomela.  The Importance of Us: A Philosophical Study of Basic Social Notions , 1995 .

[50]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[51]  Michael Wooldridge,et al.  Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications , 2003, Stud Logica.

[52]  Wojciech Penczek,et al.  Verifying epistemic properties of multi-agent systems via bounded model checking , 2002, AAMAS '03.

[53]  Robert C. Moore,et al.  Formal Theories of the Commonsense World , 1985 .

[54]  Peter W. O'Hearn,et al.  Local Reasoning about Programs that Alter Data Structures , 2001, CSL.

[55]  Raymond Reiter,et al.  The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression , 1991, Artificial and Mathematical Theory of Computation.

[56]  Nina Gierasimczuk,et al.  Belief revision as a truth-tracking process , 2011, TARK XIII.

[57]  Gerhard Lakemeyer,et al.  First-Order Strong Progression for Local-Effect Basic Action Theories , 2008, KR.

[58]  Andreas Herzig,et al.  Properties of logics of individual and group agency , 2008, Advances in Modal Logic.

[59]  Andreas Herzig,et al.  On the revision of planning tasks , 2014, ECAI.

[60]  Alessio Lomuscio,et al.  Model checking knowledge, strategies, and games in multi-agent systems , 2006, AAMAS '06.

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

[62]  David Lewis.  Convention: A Philosophical Study , 1986 .

[63]  Hector J. Levesque,et al.  Knowledge, action, and the frame problem , 2003, Artif. Intell..

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

[65]  V. Goranko.  Coalition games and alternating temporal logics , 2001 .

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

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

[68]  Andreas Herzig,et al.  Using STIT Theory to Talk About Strategies , 2015, Models of Strategic Reasoning.

[69]  Theo Tryfonas,et al.  Frontiers in Artificial Intelligence and Applications , 2009 .

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

[71]  François Schwarzentruber,et al.  Complexity Results of STIT Fragments , 2012, Stud Logica.

[72]  Marc Pauly,et al.  A Modal Logic for Coalitional Power in Games , 2002, J. Log. Comput..

[73]  Raul Hakli,et al.  Group beliefs and the distinction between belief and acceptance , 2006, Cognitive Systems Research.

[74]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[75]  Emiliano Lorini,et al.  The Logic of Acceptance: Grounding Institutions on Agents' Attitudes , 2009, J. Log. Comput..

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

[77]  Andreas Herzig,et al.  Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency , 2006, J. Log. Comput..

[78]  Yì N. Wáng,et al.  Public announcement logic with distributed knowledge: expressivity, completeness and complexity , 2013, Synthese.

[79]  Michael Wooldridge,et al.  Reasoning About the Transfer of Control , 2014, J. Artif. Intell. Res..

[80]  Michael Thielscher,et al.  Reasoning robots - the art and science of programming robotic agents , 2005, Applied logic series.

[81]  Yde Venema,et al.  Many-dimensional Modal Logic , 1991 .

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

[83]  Alex S. Taylor,et al.  Machine intelligence , 2009, CHI.

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

[85]  Michael Wooldridge,et al.  Knowledge and control , 2011, AAMAS.

[86]  W. van der Hoek,et al.  Epistemic logic for AI and computer science , 1995, Cambridge tracts in theoretical computer science.

[87]  T. Horgan,et al.  Action Theory and Social Science: Some Formal Models , 2011 .

[88]  Joseph Y. Halpern,et al.  Model Checking vs. Theorem Proving: A Manifesto , 1991, KR.

[89]  Michael Wooldridge,et al.  ATL Satisfiability is Indeed EXPTIME-complete , 2006, J. Log. Comput..

[90]  Pierre-Yves Schobbens,et al.  Alternating-time logic with imperfect recall , 2004, LCMAS.

[91]  Michael Gelfond,et al.  Action Languages , 1998, Electron. Trans. Artif. Intell..

[92]  Andreas Herzig,et al.  Belief Merging in Dynamic Logic of Propositional Assignments , 2014, FoIKS.

[93]  Murray Shanahan.  Solving the frame problem - a mathematical investigation of the common sense law of inertia , 1997 .

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

[95]  Ronald Fagin,et al.  Completeness and Complexity , 2004 .

[96]  Emiliano Lorini,et al.  Listen to Me! Public Announcements to Agents That Pay Attention - or Not , 2013, LORI.

[97]  B. Webber,et al.  Elements of Discourse Understanding , 1983 .

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

[99]  Sven Schewe.  ATL* Satisfiability Is 2EXPTIME-Complete , 2008, ICALP.

[100]  Guillaume Aucher,et al.  Perspectives on belief and change , 2008 .

[101]  Gerhard Lakemeyer,et al.  A semantic characterization of a useful fragment of the situation calculus with knowledge , 2011, Artif. Intell..

[102]  Natasha Alechina,et al.  Logic and Agent Programming Languages , 2013, WoLLIC.

[103]  Emiliano Lorini,et al.  A logic of trust and reputation , 2010, Log. J. IGPL.

[104]  Valentin Goranko,et al.  How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games (Extended Abstract) , 2013, SR.

[105]  Dirk Walther,et al.  On Satisfiability in ATL with Strategy Contexts , 2012, JELIA.

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

[107]  Joseph Y. Halpern,et al.  Reasoning about common knowledge with infinitely many agents , 2004, Inf. Comput..

[108]  Hector J. Levesque,et al.  Intention is Choice with Commitment , 1990, Artif. Intell..

[109]  Andreas Herzig,et al.  ALTERNATIVE AXIOMATICS AND COMPLEXITY OF DELIBERATIVE STIT THEORIES , 2007, J. Philos. Log..

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

[111]  Cees Witteveen,et al.  Boolean games , 2001 .

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

[113]  P. Bahr,et al.  Sampling: Theory and Applications , 2020, Applied and Numerical Harmonic Analysis.

[114]  Johan van Benthem,et al.  Reasoning about Strategies , 2013, Computation, Logic, Games, and Quantum Foundations.

[115]  David Chemouil,et al.  Towards an Updatable Strategy Logic , 2013, SR.

[116]  Dag Elgesem,et al.  The modal logic of agency , 1997 .

[117]  Andreas Herzig,et al.  Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL , 2013, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.

[118]  Vaughan R. Pratt,et al.  A Near-Optimal Method for Reasoning about Action , 1980, J. Comput. Syst. Sci..

[119]  Wojciech Jamroga,et al.  Constructive knowledge: what agents can achieve under imperfect information , 2007, J. Appl. Non Class. Logics.

[120]  Dov M. Gabbay,et al.  Handbook of Philosophical Logic , 2002 .

[121]  Michael Wooldridge,et al.  On the logic of cooperation and propositional control , 2005, Artif. Intell..

[122]  Joohyung Lee,et al.  Action Language BC+: Preliminary Report , 2015, AAAI.

[123]  Bernhard Beckert,et al.  Dynamic Logic , 2007, The KeY Approach.

[124]  Jens Ulrik Hansen.  A Hybrid Public Announcement Logic with Distributed Knowledge , 2011, HyLo@LICS.

[125]  Vladimir Lifschitz,et al.  Artificial intelligence and mathematical theory of computation: papers in honor of John McCarthy , 1991 .

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

[127]  Wojciech Jamroga,et al.  Intentions and Strategies in Game-Like Scenarios , 2005, EPIA.

[128]  Sebastian Sardiña,et al.  Reasoning about Agent Programs using ATL-like Logics , 2012, JELIA.