Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming [chapter]

Koen V. Hindriks, M. Birna van Riemsdijk
2009 Lecture Notes in Computer Science  
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
more » ... . 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.
doi:10.1007/978-3-540-93920-7_14 fatcat:x65nar76wnf65dbmhyshaqjy3e