Theories of Intentions in the Framework of Situation Calculus

We propose an extension of action theories to intention theories in the framework of situation calculus. Moreover the method for implementing action theories is adapted to consider the new components. The intention theories take account of the BDI (Belief-Desire-Intention) architecture. In order to avoid the computational complexity of theorem proving in modal logic, we explore an alternative approach that introduces the notions of belief, goal and intention fluents together with their associated successor state axioms. Hence, under certain conditions, reasoning about the BDI change is computationally similar to reasoning about ordinary fluent change. This approach can be implemented using declarative programming.

[1]  Hector J. Levesque,et al.  GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..

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

[3]  Munindar P. Singh.  Multiagent Systems - A Theoretical Framework for Intentions, Know-How, and Communications , 1994, Lecture Notes in Computer Science.

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

[5]  Hector J. Levesque,et al.  Knowledge Equivalence in Combined Action Theories , 2002, KR.

[6]  Maria del Pilar Pozos Parra,et al.  A Simple and Tractable Extension of Situation Calculus to Epistemic Logic , 2000, ISMIS.

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

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

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

[10]  Frank Dignum,et al.  Dynamics of Declarative Goals in Agent Programming , 2004, DALT.

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

[12]  Raymond Reiter,et al.  Some contributions to the metatheory of the situation calculus , 1999, JACM.

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

[14]  Gerhard Weiss,et al.  Multiagent Systems , 1999 .

[15]  Christopher A. Rouff,et al.  Formal Approaches to Agent-Based Systems , 2001, Lecture Notes in Computer Science.

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

[17]  A. S. Roa,et al.  AgentSpeak(L): BDI agents speak out in a logical computable language , 1996 .

[18]  Agostino Poggi,et al.  Multiagent Systems , 2006, Intelligenza Artificiale.

[19]  Andrea Omicini,et al.  Declarative Agent Languages and Technologies III , 2005, Lecture Notes in Computer Science.

[20]  Hirofumi Katsuno,et al.  On the Difference between Updating a Knowledge Base and Revising It , 1991, KR.

[21]  Clare Dixon,et al.  Resolution in a Logic of Rational Agency , 2000 .

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

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