TY - GEN
T1 - Satisfying maintenance goals
AU - Hindriks, Koen V.
AU - Van Riemsdijk, M. Birna
PY - 2008/8/27
Y1 - 2008/8/27
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=49949105683&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=49949105683&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-77564-5_6
DO - 10.1007/978-3-540-77564-5_6
M3 - Conference contribution
AN - SCOPUS:49949105683
SN - 3540775633
SN - 9783540775638
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 86
EP - 103
BT - Declarative Agent Languages and Technologies V - 5th International Workshop, DALT 2007, Revised Selected and Invited Papers
T2 - 5th International Workshop on Declarative Agent Languages and Technologies, DALT 2007
Y2 - 14 May 2007 through 14 May 2007
ER -