TY - GEN
T1 - Using temporal logic to integrate goals and qualitative preferences into agent programming
AU - Hindriks, Koen V.
AU - Van Riemsdijk, M. Birna
PY - 2009/2/4
Y1 - 2009/2/4
N2 - The core capability of a rational agent is to choose its next action in a rational fashion, a capability that can be put to good use by a designer to satisfy the design objectives of an agent system. In agent programming languages for rational agents, such choices are derived from the agent's beliefs and goals. At any one time, an agent can typically choose from multiple actions, which may all lead to goal achievement. Existing approaches usually select one of those actions non-deterministically. In this paper, we propose the use of goals as hard constraints and qualitative preferences as soft constraints for choosing a most preferred action among the available ones. We use temporal logic for the representation of various kinds of goals and preferences, leading to a uniform framework for integrating goals and preferences into agent programming.
AB - The core capability of a rational agent is to choose its next action in a rational fashion, a capability that can be put to good use by a designer to satisfy the design objectives of an agent system. In agent programming languages for rational agents, such choices are derived from the agent's beliefs and goals. At any one time, an agent can typically choose from multiple actions, which may all lead to goal achievement. Existing approaches usually select one of those actions non-deterministically. In this paper, we propose the use of goals as hard constraints and qualitative preferences as soft constraints for choosing a most preferred action among the available ones. We use temporal logic for the representation of various kinds of goals and preferences, leading to a uniform framework for integrating goals and preferences into agent programming.
UR - http://www.scopus.com/inward/record.url?scp=59049101340&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=59049101340&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-93920-7_14
DO - 10.1007/978-3-540-93920-7_14
M3 - Conference contribution
AN - SCOPUS:59049101340
SN - 3540939199
SN - 9783540939191
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 215
EP - 232
BT - Declarative Agent Languages and Technologies VI - 6th International Workshop, DALT 2008, Revised Selected and Invited Papers
T2 - 6th International Workshop on Declarative Agent Languages and Technologies, DALT 2008
Y2 - 12 May 2008 through 12 May 2008
ER -