A Logic for Characterizing Multiple Bounded Agents

We describe a meta-logic for characterizing the evolving internal reasoning of various families of agents. We view the reasoning of agents as ongoing processes rather than as fixed sets of conclusions. Our approach utilizes a strongly sorted calculus, distinguishing the application language, time, and various syntactic sorts. We have established soundness and completeness results corresponding to various families of agents. This allows for useful and intuitively natural characterizations of such agents' reasoning abilities. We discuss and contrast consistency issues as in the work of Montague and Thomason. We also show how to represent the concept of focus of attention in this framework.

[1]  Joseph Y. Halpern.  USING REASONING ABOUT KNOWLEDGE TO ANALYZE DISTRIBUTED SYSTEMS , 1987 .

[2]  Drew McDermott,et al.  Non-Monotonic Logic I , 1987, Artif. Intell..

[3]  Ronald Fagin,et al.  Belief, Awareness, and Limited Reasoning. , 1987, Artif. Intell..

[4]  André Fuhrmann,et al.  The Logic of Theory Change , 1991, Lecture Notes in Computer Science.

[5]  Donald Perlis,et al.  Presentations and this and that: logic in action , 1998 .

[6]  Thomas A. Henzinger,et al.  Logics and Models of Real Time: A Survey , 1991, REX Workshop.

[7]  Dov M. Gabbay,et al.  Handbook of logic in artificial intelligence and logic programming (Vol. 4): epistemic and temporal reasoning , 1995 .

[8]  Hector J. Levesque,et al.  Indexical Knowledge and Robot Action - A Logical Account , 1995, Artif. Intell..

[9]  Antonio Brogi,et al.  Metalogic for Knowledge Representation , 1991, KR.

[10]  Munindar P. Singh.  A semantics for speech acts , 1997, Annals of Mathematics and Artificial Intelligence.

[11]  Peter Øhrstrøm,et al.  Temporal Logic , 1994, Lecture Notes in Computer Science.

[12]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[13]  P G rdenfors,et al.  Knowledge in flux: modeling the dynamics of epistemic states , 1988 .

[14]  Donald Perlis,et al.  Reasoning situated in time I: basic concepts , 1990, J. Exp. Theor. Artif. Intell..

[15]  Anand S. Rao,et al.  Modeling Rational Agents within a BDI-Architecture , 1997, KR.

[16]  Fausto Giunchiglia,et al.  Multilanguage hierarchical logics (or: how we can do without modal logics) , 1994, CNKBS.

[17]  Patrick Lincoln,et al.  Linear logic , 1992, SIGA.

[18]  Michael Miller,et al.  Memory, Reason, and Time: the Step-logic Approach , 1991 .

[19]  Yoav Shoham,et al.  Agent-Oriented Programming , 1992, Artif. Intell..

[20]  Jean-Yves Girard,et al.  Linear Logic , 1987, Theor. Comput. Sci..

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

[22]  Nicholas R. Jennings,et al.  Agent Theories, Architectures, and Languages: A Survey , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

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

[24]  Richmond H. Thomason,et al.  A note on syntactical treatments of modality , 1980, Synthese.

[25]  G. Aldo Antonelli,et al.  Non-monotonic Logic , 2001 .

[26]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[27]  Johan van Benthem,et al.  The Logic of Time , 1983 .

[28]  Hector J. Levesque,et al.  The consistency of syntactical treatments of knowledge 1 (How to compile quantificational modal logics into classical FOL) , 1988, Comput. Intell..

[29]  Michael Wooldridge,et al.  Resolution for Temporal Logics of Knowledge , 1998, J. Log. Comput..

[30]  Jan Treur,et al.  Semantics for Default Logic based on Specific Branching Time Models , 1996, ECAI.

[31]  Fausto Giunchiglia,et al.  A Metatheory of a Mechanized Object Theory , 1996, Artif. Intell..

[32]  Geoffrey Hunter,et al.  Metalogic: An Introduction to the Metatheory of Standard First Order Logic , 1971 .

[33]  Sarit Kraus,et al.  How to (Plan to) Meet a Deadline between Now and Then , 1997, J. Log. Comput..

[34]  Lluís Vila,et al.  A Survey on Temporal Reasoning in Artificial Intelligence , 1994, AI Communications.

[35]  W. Hoek,et al.  An Integrated Modal Approach to Rational Agents , 1999 .

[36]  Jon Doyle,et al.  Doyle See Infer Choose Do Perceive Act , 2009 .

[37]  Yoav Shoham,et al.  Nonmonotonic Temporal Reasoning , 1992 .

[38]  Anand S. Rao,et al.  Asymmetry Thesis and Side-Effect Problems in Linear-Time and Branching-Time Intention Logics , 1991, IJCAI.

[39]  Matthias Jarke,et al.  Logic Programming and Databases , 1984, Expert Database Workshop.

[40]  Eric Horvitz,et al.  Reasoning, Metareasoning, and Mathematical Truth: Studies of Theorem Proving under Limited Resources , 1995, UAI.

[41]  Hector J. Levesque,et al.  A Logic of Implicit and Explicit Belief , 1984, AAAI.

[42]  Angelo Montanari,et al.  Editorial: Temporal representation and reasoning , 2004, Annals of Mathematics and Artificial Intelligence.

[43]  Jürgen Dix,et al.  Meta-agent programs , 2000, J. Log. Program..

[44]  Dov M. Gabbay,et al.  Meta-Reasoning in Executable Temporal Logic , 1991, KR.

[45]  Sarit Kraus,et al.  Syntactical Treatments of Propositional Attitudes , 1998, Artif. Intell..

[46]  Edmund H. Durfee,et al.  A Logic of Knowledge and Belief for Recursive Modeling: A Preliminary Report , 1992, AAAI.

[47]  Gerhard Lakemeyer,et al.  Limited Reasoning in First-Order Knowledge Bases , 1994, Artif. Intell..

[48]  VilaLluís,et al.  A survey on temporal reasoning in artificial intelligence , 1994 .

[49]  Joseph Y. Halpern,et al.  The complexity of reasoning about knowledge and time , 1986, STOC '86.

[50]  Sarit Kraus,et al.  Knowledge, Belief and Time , 1986, Theor. Comput. Sci..

[51]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[52]  Robert A. Kowalski,et al.  Using Meta-Logic to Reconcile Reactive with Rational Agents , 1995, PAAM.

[53]  Andre Scedrov,et al.  Linear Logic and Computation: A Survey , 1995 .

[54]  Zhisheng Huang,et al.  ALX, an Action Logic for Agents with Bounded Rationality , 1996, Artif. Intell..

[55]  Kurt Konolige.  A Deductive Model of Belief , 1983, IJCAI.

[56]  Sarit Kraus,et al.  Multiagent reasoning with probability, time, and beliefs , 1995, Int. J. Intell. Syst..

[57]  Joseph Y. Halpern,et al.  The Complexity of Reasoning about Knowledge and Time. I. Lower Bounds , 1989, J. Comput. Syst. Sci..

[58]  Sarit Kraus,et al.  Preliminary thoughts on an agent description language , 1991, Int. J. Intell. Syst..

[59]  Joseph Y. Halpern,et al.  A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief , 1992, Artif. Intell..

[60]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[61]  James Tannock,et al.  Logic-based reasoning about actions and plans in artificial intelligence , 1993, The Knowledge Engineering Review.

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

[63]  K. Konolige.  A deduction model of belief , 1986 .