Goal Change

Although there has been much discussion of belief change (e.g., [Gardenfors, 1988; Spohn, 1988]), goal change has not received much attention. In this paper, we propose a method for goal change in the framework of Reiter's [2001] theory of action in the situation calculus [McCarthy and Hayes, 1969; Levesque et al., 1998], and investigate its properties. We extend the framework developed by Shapiro et al. [1998] and Shapiro and Lesperance [2001], where goals and goal expansion were modelled, but goal contraction was not.

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

[2]  Wolfgang Spohn,et al.  Ordinal Conditional Functions: A Dynamic Theory of Epistemic States , 1988 .

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

[4]  John-Jules Ch. Meyer,et al.  Iterated belief change in multi-agent systems , 2002, AAMAS '02.

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

[6]  R. Lathe.  Phd by thesis , 1988, Nature.

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

[8]  Hector J. Levesque,et al.  ConGolog, a concurrent programming language based on the situation calculus , 2000, Artif. Intell..

[9]  Kurt Konolige,et al.  A Representationalist Theory of Intention , 1993, IJCAI.

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

[11]  Hector J. Levesque,et al.  Specifying Communicative Multi-Agent Systems (Invited Paper) , 1997, Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications.

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

[13]  John-Jules Ch. Meyer,et al.  Iterated Belief Change in Multi-Agent Systems , 2003, Log. J. IGPL.

[14]  Yves Lespérance,et al.  Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application , 2000, ATAL.

[15]  Hector J. Levesque,et al.  Foundations for the Situation Calculus , 1998, Electron. Trans. Artif. Intell..

[16]  Richard Booth,et al.  Belief Liberation (and Retraction) , 2005 .

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

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