Multiagent Only Knowing in Dynamic Systems

The idea of "only knowing" a collection of sentences, as proposed by Levesque, has been previously shown to be very useful in characterizing knowledge-based agents: in terms of a specification, a precise and perspicuous account of the beliefs and non-beliefs is obtained in a monotonic setting. Levesque's logic is based on a first-order modal language with quantifying-in, thus allowing for de re versus de dicto distinctions, among other things. However, the logic and its recent dynamic extension only deal with the case of a single agent. In this work, we propose a first-order multiagent framework with knowledge, actions, sensing and only knowing, that is shown to inherit all the features of the single agent version. Most significantly, we prove reduction theorems by means of which reasoning about knowledge and actions in the framework simplifies to non-epistemic, non-dynamic reasoning about the initial situation.

[1]  Robert Demolombe,et al.  Belief Change: from Situation Calculus to Modal Logic , 2003, J. Appl. Non Class. Logics.

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

[3]  Giuseppe De Giacomo,et al.  Situation Calculus Based Programs for Representing and Reasoning about Game Structures , 2010, KR.

[4]  Jaakko Hintikka,et al.  Knowledge and Belief: An Introduction to the Logic of the Two Notions. , 1965 .

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

[6]  Christian Fritz,et al.  Monitoring the Generation and Execution of Optimal Plans , 2009 .

[7]  Adrian R. Pearce,et al.  Complex Epistemic Modalities in the Situation Calculus , 2008, KR.

[8]  Arild Waaler,et al.  Semantics for multi-agent only knowing: extended abstract , 2005, TARK.

[9]  Gerhard Lakemeyer,et al.  A Semantical Account of Progression in the Presence of Uncertainty , 2011, AAAI.

[10]  Michael Wooldridge,et al.  Introduction to multiagent systems , 2001 .

[11]  Andreas Herzig,et al.  Regression in Modal Logic , 2003, J. Appl. Non Class. Logics.

[12]  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.

[13]  Joseph Y. Halpern.  Reasoning about only Knowing with Many Agents , 1993, AAAI.

[14]  Gerhard Lakemeyer,et al.  Levesque's Axiomatization of only Knowing is Incomplete , 1995, Artif. Intell..

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

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

[17]  Andreas Herzig,et al.  Optimal Regression for Reasoning about Knowledge and Actions , 2007, AAAI.

[18]  Gerhard Lakemeyer,et al.  Only Knowing in the Situation Calculus , 1996, KR.

[19]  Mamoru Kaneko,et al.  Epistemic models of shallow depths and decision making in games: Horticulture , 2003, Journal of Symbolic Logic.

[20]  Hector J. Levesque,et al.  The cognitive agents specification language and verification environment for multiagent systems , 2002, AAMAS '02.

[21]  Gerhard Lakemeyer,et al.  Multi-agent Only-Knowing , 1996, CLIMA.

[22]  Wiebe van der Hoek,et al.  A General Approach to Multi-Agent Minimal Knowledge: With Tools and Samples , 2002, Stud Logica.

[23]  Antonis C. Kakas,et al.  Fred meets Tweety , 2008, ECAI.

[24]  Gerhard Lakemeyer,et al.  Situations, Si! Situation Terms, No! , 2004, KR.

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

[26]  Ian Pratt-Hartmann,et al.  Total Knowledge , 2000, AAAI/IAAI.

[27]  Gerhard Lakemeyer,et al.  Efficient Reasoning in Multiagent Epistemic Logics , 2012, ECAI.

[28]  Riccardo Rosati,et al.  On the decidability and complexity of reasoning about only knowing , 2000, Artif. Intell..

[29]  Gerhard Lakemeyer,et al.  ESP: A Logic of Only-Knowing, Noisy Sensing and Acting , 2007, AAAI.

[30]  Saul A. Kripke,et al.  Semantical Considerations on Modal Logic , 2012 .

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

[32]  Robert C. Moore.  Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.

[33]  Ronald Fagin,et al.  A model-theoretic analysis of knowledge , 1991, JACM.

[34]  Fangzhen Lin,et al.  How to Progress a Database , 1997, Artif. Intell..

[35]  Joseph Y. Halpern,et al.  Towards a Theory of Knowledge and Ignorance: Preliminary Report , 1989, NMR.

[36]  Gerhard Lakemeyer,et al.  The logic of knowledge bases , 2000 .

[37]  Gerhard Lakemeyer,et al.  Reasoning about Imperfect Information Games in the Epistemic Situation Calculus , 2010, AAAI.

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

[39]  Michael Thielscher,et al.  From Situation Calculus to Fluent Calculus: State Update Axioms as a Solution to the Inferential Frame Problem , 1999, Artif. Intell..

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

[41]  Hector J. Levesque,et al.  All I Know: A Study in Autoepistemic Logic , 1990, Artif. Intell..

[42]  Gerhard Lakemeyer,et al.  AOL: A logic of Acting, Sensing, Knowing, and Only Knowing , 1998, KR.

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

[44]  Vaishak Belle,et al.  Multi-Agent Only-Knowing Revisited , 2010, AlgoSyn.

[45]  David Kaplan.  Quantifying in , 2004, Synthese.

[46]  Jr. Hartley Rogers.  Theory of Recursive Functions and Effective Computability , 1969 .

[47]  Joseph Y. Halpern,et al.  A logical characterization of iterated admissibility , 2009, TARK '09.

[48]  D. C. Cooper,et al.  Theory of Recursive Functions and Effective Computability , 1969, The Mathematical Gazette.

[49]  Gerhard Lakemeyer.  All They Know: A Study in Multi-Agent Autoepistemic Reasoning , 1993, IJCAI.