Satisfying Maintenance Goals

  • Koen V. Hindriks
  • M. Birna van Riemsdijk
Conference paper

DOI: 10.1007/978-3-540-77564-5_6

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4897)
Cite this paper as:
Hindriks K.V., van Riemsdijk M.B. (2008) Satisfying Maintenance Goals. In: Baldoni M., Son T.C., van Riemsdijk M.B., Winikoff M. (eds) Declarative Agent Languages and Technologies V. DALT 2007. Lecture Notes in Computer Science, vol 4897. Springer, Berlin, Heidelberg


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Koen V. Hindriks
    • 1
  • M. Birna van Riemsdijk
    • 2
  1. 1.EEMCSDelft University of TechnologyDelftThe Netherlands
  2. 2.LMUMunichGermany

Personalised recommendations