Intelligent agents and common sense reasoning

Publisher Summary This chapter describes the use of modal logic techniques to describe mental attitudes of intelligent systems. Modal logic plays an important role in the field of artificial intelligence (AI). Modal logics are used in AI in a number of different ways. Two of its important roles are discussed in the chapter. The first deals with the use of modal logic for the description of intelligent agents, dealing with the theory and practice of the construction of autonomous software or hardware entities that act intelligently. The second is as a model of common sense reasoning, and covers modal treatments of counterfactual conditionals and non-monotonic reasoning in a variety of guises, including default reasoning. Intelligent agents have become a major field of research in AI. Epistemic logic deals with the mental attitude of knowledge while doxastic logic treats belief. The role of epistemic/doxastic logic in AI, and on the description of intelligent agents in particular is discussed in the chapter. The rise of “dynamic” versions of epistemic and doxastic logic have given new impetus to the study of belief revision in the setting of modal logic.

[1]  John-Jules Ch. Meyer,et al.  Seeing Is Believing , 1997, J. Log. Lang. Inf..

[2]  Angelika Kratzer,et al.  Partition and revision: The semantics of counterfactuals , 1981, J. Philos. Log..

[3]  Frans Voorbraak,et al.  The Logic of Objective Knowledge and Rational Belief , 1990, JELIA.

[4]  Dov M. Gabbay,et al.  Handbook of logic in artificial intelligence and logic programming (vol. 1) , 1993 .

[5]  Heinrich Wansing,et al.  Knowledge and belief in philosophy and artificial intelligence , 1995 .

[6]  Andreas Herzig,et al.  Conditionals: from philosophy to computer science , 1996 .

[7]  Tanya Matthews,et al.  Proceedings from Semantics and Linguistic Theory IX , 1999 .

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

[9]  Frank Dignum,et al.  Towards socially sophisticated BDI agents , 2000, Proceedings Fourth International Conference on MultiAgent Systems.

[10]  Dov M. Gabbay,et al.  Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems , 1989, Logics and Models of Concurrent Systems.

[11]  Frank Dignum,et al.  Free choice and contextually permitted actions , 1996, Stud Logica.

[12]  John-Jules Ch. Meyer,et al.  A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic , 1987, Notre Dame J. Formal Log..

[13]  Alan Ross Anderson,et al.  A REDUCTION OF DEONTIC LOGIC TO ALETHIC MODAL LOGIC , 1958 .

[14]  P. Tichý A counterexample to the Stalnaker-Lewis analysis of counterfactuals , 1976 .

[15]  K. Segerberg The Basic Dynamic Doxastic Logic of AGM , 2001 .

[16]  Ron van der Meyden,et al.  The Dynamic Logic of Permission , 1990, J. Log. Comput..

[17]  Frank Dignum,et al.  A dynamic logic for reasoning about sub-ideal states , 1994 .

[18]  Ian Horrocks,et al.  Combinations of Modal Logics , 2002, Artificial Intelligence Review.

[19]  Munindar P. Singh The Intentions of Teams: Team Structure, Endodeixis, and Exodeixis , 1998, ECAI.

[20]  Nicholas Asher,et al.  Commonsense entailment: a conditional logic for some generics , 1996 .

[21]  John-Jules Ch. Meyer,et al.  Reasoning about emotional agents , 2004, Int. J. Intell. Syst..

[22]  Walter Van de Velde,et al.  Agents Breaking Away , 1996, Lecture Notes in Computer Science.

[23]  Andrew J. I. Jones,et al.  Deontic Logic and Contrary-to-Duties , 2002 .

[24]  Frank Dignum,et al.  Contextual Permission: A Solution to the Free Choice Paradox , 1994 .

[25]  Frank Veltman,et al.  Defaults in update semantics , 1996, J. Philos. Log..

[26]  Mehdi Dastani,et al.  The BOID architecture: conflicts between beliefs, obligations, intentions and desires , 2001, AGENTS '01.

[27]  Marc Pauly,et al.  Formalizing the dynamics of information , 2000 .

[28]  Michael Fisher,et al.  A Survey of Concurrent METATEM - the Language and its Applications , 1994, ICTL.

[29]  Reinhard Blutner "Normality" in Update Semantics , 1995 .

[30]  George Gargov,et al.  A Note on Boolean Modal Logic , 1990 .

[31]  Frank Dignum,et al.  Modal logic investigations in the semantics of counts-as , 2005, ICAIL '05.

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

[33]  M. de Rijke,et al.  A System of Dynamic Modal Logic , 1998, J. Philos. Log..

[34]  Risto Hilpinen,et al.  New Studies in Deontic Logic , 1981 .

[35]  Michael Wooldridge,et al.  Foundations of Rational Agency , 1999 .

[36]  Mary-Anne Williams,et al.  Frontiers in Belief Revision , 2001 .

[37]  Milind Tambe,et al.  Intelligent Agents VIII , 2002, Lecture Notes in Computer Science.

[38]  Gunter Saake,et al.  Logics for databases and information systems , 1998 .

[39]  J. Dewey Studies In Logical Theory , 1904 .

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

[41]  Dov M. Gabbay,et al.  Handbook of defeasible reasoning and uncertainty management systems: volume 2: reasoning with actual and potential contradictions , 1998 .

[42]  Krister Segerberg,et al.  Belief Revision From the Point of View of Doxastic Logic , 1995, Log. J. IGPL.

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

[44]  A. Kratzer An investigation of the lumps of thought , 1989 .

[45]  Koen V. Hindriks,et al.  Agent Programming in 3APL , 1999, Autonomous Agents and Multi-Agent Systems.

[46]  Johan van Benthem,et al.  Semantic Parallels in Natural Language and Computation , 1989 .

[47]  Michael Wooldridge,et al.  Agent-Oriented Software Engineering: The State of the Art , 2009, AOSE.

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

[49]  Mehdi Dastani,et al.  Resolving Conflicts between Beliefs, Obligations, Intentions, and Desires , 2001, ECSQARU.

[50]  Sarit Kraus,et al.  Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..

[51]  Barbara Dunin-Keplicz,et al.  Collective Intentions , 2002, Fundam. Informaticae.

[52]  Mehdi Dastani,et al.  Goal generation in the BOID architecture , 2002 .

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

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

[55]  F. Dignum,et al.  From Desires, Obligations and Norms to Goals , 2002 .

[56]  Anand S. Rao,et al.  AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language , 1996, MAAMAW.

[57]  J. Meyer Modal Epistemic and Doxastic Logic , 2003 .

[58]  Roel Wieringa,et al.  Actors, actions, and initiative in normative system specification , 1993, Annals of Mathematics and Artificial Intelligence.

[59]  Jan M. Broersen Action negation and alternative reductions for dynamic deontic logics , 2004, J. Appl. Log..

[60]  W. Hoek,et al.  Seeing Is Believing And So Are Hearing and Jumping , 2002 .

[61]  F.J.M.M. Veltman,et al.  Logics for conditionals. , 1985 .

[62]  Joseph Y. Halpern,et al.  First-order conditional logic for default reasoning revisited , 2000, TOCL.

[63]  Wiebe van der Hoek,et al.  Formalizing Potential of Agents: The KARO Framework Revisited , 2000 .

[64]  John P. Burgess,et al.  Quick completeness proofs for some logics of conditionals , 1981, Notre Dame J. Formal Log..

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

[66]  Hector-Neri Castañeda,et al.  The Paradoxes of Deontic Logic: The Simplest Solution to all of them in one Fell Swoop , 1981 .

[67]  John-Jules Ch. Meyer,et al.  Rational Teams: Logical Aspects of Multi-Agent Systems , 2004, Fundam. Informaticae.

[68]  Brian F. Chellas Modal Logic: Normal systems of modal logic , 1980 .

[69]  Robert Stalnaker A Theory of Conditionals , 2019, Knowledge and Conditionals.

[70]  Michael Wooldridge,et al.  Reasoning about rational agents , 2000, Intelligent robots and autonomous agents.

[71]  Frank Dignum,et al.  Modelling Social Agents: Communication as Action , 1996, ATAL.

[72]  Frank Dignum,et al.  Negations of Transactions and Their Use in the Specification of Dynamic and Deontic Integrity Constraints , 1990 .

[73]  Frank Veltman Prejudices, presuppositions, and the theory of counterfactuals , 1976 .

[74]  Frank Dignum,et al.  The Role of Deontic Logic in the Specification of Information Systems , 1998, Logics for Databases and Information Systems.

[75]  Julian Padget,et al.  Formalizing a Language for Institutions and Norms , 2001, ATAL.

[76]  Clare Dixon,et al.  Verification within the KARO Agent Theory , 2000, FAABS.

[77]  Hans Weigand,et al.  Specifying Dynamic and Deontic Integrity Constraints , 1989, Data Knowl. Eng..

[78]  Yoav Shoham Agent-Oriented Programming , 1993, Artif. Intell..

[79]  David Harel,et al.  First-Order Dynamic Logic , 1979, Lecture Notes in Computer Science.

[80]  Wiebe van der Hoek,et al.  Systems for Knowledge and Belief , 1993, J. Log. Comput..

[81]  Anand S. Rao,et al.  Decision Procedures for BDI Logics , 1998, J. Log. Comput..

[82]  Peter Gärdenfors,et al.  Belief Revision , 1995 .

[83]  B. van Linder,et al.  Modal logics for rational agents , 1996 .

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

[85]  Frank Veltman,et al.  Making Counterfactual Assumptions , 2005, J. Semant..

[86]  David Lewis Counterfactual Dependence and Time's Arrow , 1979 .

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

[88]  Peter Gärdenfors,et al.  Knowledge in Flux , 1988 .

[89]  W. van der Hoek,et al.  Actions that Make you Change your Mind --- Belief Revision in an Agent-Oriented Setting , 1994 .

[90]  M. de Rijke,et al.  JFAK. Essays Dedicated to Johan van Benthem on the occasion of his 50th Birthday , 1999 .

[91]  Adam J. Grove,et al.  Two modellings for theory change , 1988, J. Philos. Log..

[92]  Jerzy Tiuryn,et al.  Dynamic logic , 2001, SIGA.

[93]  Roel Wieringa,et al.  A Fixed-point Characterization of a Deontic Logic of Regular Action , 2001, Fundam. Informaticae.

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

[95]  Edith Hemaspaandra Complexity transfer for modal logic , 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.