An operational semantics for the goal life-cycle in BDI agents

Harland, J, Morley, D, Thangarajah, J and Yorke-Smith, N 2014, 'An operational semantics for the goal life-cycle in BDI agents', Autonomous Agents and Multi-Agent Systems, vol. 28, no. 4, pp. 682-719.


Document type: Journal Article
Collection: Journal Articles

Title An operational semantics for the goal life-cycle in BDI agents
Author(s) Harland, J
Morley, D
Thangarajah, J
Yorke-Smith, N
Year 2014
Journal name Autonomous Agents and Multi-Agent Systems
Volume number 28
Issue number 4
Start page 682
End page 719
Total pages 38
Publisher Springer New York LLC
Abstract A fundamental feature of intelligent agents is their ability to deliberate over their goals. Operating in an environment that may change in unpredictable ways, an agent needs to regularly evaluate whether its current set of goals is the most appropriate set to pursue. The management of goals is thus a key aspect of an agent's architecture. Focusing on BDI agents, we consider the various types of goals studied in the literature, including both achievement and maintenance goals. We develop a detailed description of goal states (such as whether goals have been suspended or not), and a comprehensive suite of operations that may be applied to goals (including dropping, aborting, suspending and resuming them). We provide an operational semantics corresponding to this detailed description in an abstract agent language (CAN), and demonstrate on a detailed real-life scenario. The three key contributions of our generic framework for goal states and transitions are (1) to encompass both goals of accomplishment and rich goals of monitoring, (2) to provide the first specification of abort and suspend for all the common goal types, and (3) to account for plan execution as well as the dynamics of subgoaling. Our semantics clarifies how an agent can manage its goals, based on the decisions that it chooses to make, and further provides a foundation for correctness verification of agent behaviour.
Subject Adaptive Agents and Intelligent Robotics
Keyword(s) BDI agents· Goal management · Operational semantics
DOI - identifier 10.1007/s10458-013-9238-9
Copyright notice © The Author(s) 2013
ISSN 1387-2532
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 13 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 10 times in Scopus Article | Citations
Altmetric details:
Access Statistics: 142 Abstract Views  -  Detailed Statistics
Created: Thu, 15 Jan 2015, 13:42:00 EST by Catalyst Administrator
© 2014 RMIT Research Repository • Powered by Fez SoftwareContact us