Satisfying maintenance goals

Koen V. Hindriks, M. Birna Van Riemsdijk

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review


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.

Original languageEnglish
Title of host publicationDeclarative Agent Languages and Technologies V - 5th International Workshop, DALT 2007, Revised Selected and Invited Papers
Number of pages18
Publication statusPublished - 27 Aug 2008
Externally publishedYes
Event5th International Workshop on Declarative Agent Languages and Technologies, DALT 2007 - Honolulu, HI, United States
Duration: 14 May 200714 May 2007

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4897 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference5th International Workshop on Declarative Agent Languages and Technologies, DALT 2007
Country/TerritoryUnited States
CityHonolulu, HI


Dive into the research topics of 'Satisfying maintenance goals'. Together they form a unique fingerprint.

Cite this