Satisfying Maintenance Goals

A rational agent derives its choice of action from its beliefs and goals. Goals can be distinguished into achievement goals and maintenance goals. The aim of this paper is to define a mechanism which ensures the satisfaction of maintenance goals. We argue that such a mechanism requires the agent to look ahead, in order to make sure that the execution of actions does not lead to a violation of a maintenance goal. That is, maintenance goals may constrain the agent in choosing its actions. We propose a formal semantics of maintenance goals based on the notion of lookahead, and analyze the semantics by proving some properties. Additionally, we discuss the issue of achievement goal revision, in case the maintenance goals are so restrictive that all courses of action for satisfying achievement goals will lead to a violation of maintenance goals.

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

[2]  Ronen I. Brafman,et al.  Planning with Goal Preferences and Constraints , 2005, ICAPS.

[3]  Michael Winikoff,et al.  Avoiding Resource Conflicts in Intelligent Agents , 2002, ECAI.

[4]  Michael Georgeff,et al.  Reasoning about actions and plans , 1986 .

[5]  Sheila A. McIlraith,et al.  Decision-Theoretic GOLOG with Qualitative Preferences , 2006, KR.

[6]  Craig Boutilier,et al.  Decision-Theoretic Planning: Structural Assumptions and Computational Leverage , 1999, J. Artif. Intell. Res..

[7]  Vladimir Lifschitz,et al.  ON THE SEMANTICS OF STRIPS , 1987 .

[8]  James Harland,et al.  On proactivity and maintenance goals , 2006, AAMAS '06.

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

[10]  Mehdi Dastani,et al.  Goal types in agent programming , 2006, AAMAS '06.

[11]  Koen V. Hindriks,et al.  A verification framework for agent programming with declarative goals , 2007, J. Appl. Log..

[12]  Michael Winikoff,et al.  Declarative and procedural goals in intelligent agent systems , 2002, KR 2002.

[13]  Michael Wooldridge,et al.  Plan patterns for declarative goals in AgentSpeak , 2006, AAMAS '06.

[14]  W. van der Hoek,et al.  Agent Programming with Declarative Goals , 2000, ATAL.

[15]  Sebastian Sardiña,et al.  Rational action in agent programs with prioritized goals , 2003, AAMAS '03.

[16]  Winfried Lamersdorf,et al.  A Goal Deliberation Strategy for BDI Agent Systems , 2005, MATES.

[17]  Daniel Moldt,et al.  Goal Representation for BDI Agent Systems , 2004, PROMAS.

[18]  Frank S. de Boer,et al.  Goal-oriented modularity in agent programming , 2006, AAMAS '06.