Standard

An operational semantics for the goal life-cycle in BDI agents. / Harland, James; Morley, David N.; Thangarajah, John; Yorke-Smith, Neil.

In: Autonomous Agents and Multi-Agent Systems, Vol. 28, No. 4, 07.2014, p. 682-719.

Research output: Scientific - peer-reviewArticle

Harvard

Harland, J, Morley, DN, Thangarajah, J & 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. DOI: 10.1007/s10458-013-9238-9

APA

Harland, J., Morley, D. N., Thangarajah, J., & Yorke-Smith, N. (2014). An operational semantics for the goal life-cycle in BDI agents. Autonomous Agents and Multi-Agent Systems, 28(4), 682-719. DOI: 10.1007/s10458-013-9238-9

Vancouver

Harland J, Morley DN, Thangarajah J, Yorke-Smith N. An operational semantics for the goal life-cycle in BDI agents. Autonomous Agents and Multi-Agent Systems. 2014 Jul;28(4):682-719. Available from, DOI: 10.1007/s10458-013-9238-9

Author

Harland, James ; Morley, David N. ; Thangarajah, John ; Yorke-Smith, Neil. / An operational semantics for the goal life-cycle in BDI agents. In: Autonomous Agents and Multi-Agent Systems. 2014 ; Vol. 28, No. 4. pp. 682-719

BibTeX

@article{1e64b88ff47048ca968ea336fafac042,
title = "An operational semantics for the goal life-cycle in BDI agents",
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.",
keywords = "BDI agents, Goal management, Operational semantics",
author = "James Harland and Morley, {David N.} and John Thangarajah and Neil Yorke-Smith",
year = "2014",
month = "7",
doi = "10.1007/s10458-013-9238-9",
volume = "28",
pages = "682--719",
journal = "Autonomous Agents and Multi-Agent Systems",
issn = "1387-2532",
publisher = "Springer Netherlands",
number = "4",

}

RIS

TY - JOUR

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

AU - Harland,James

AU - Morley,David N.

AU - Thangarajah,John

AU - Yorke-Smith,Neil

PY - 2014/7

Y1 - 2014/7

N2 - 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.

AB - 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.

KW - BDI agents

KW - Goal management

KW - Operational semantics

UR - http://www.scopus.com/inward/record.url?scp=84893787190&partnerID=8YFLogxK

U2 - 10.1007/s10458-013-9238-9

DO - 10.1007/s10458-013-9238-9

M3 - Article

VL - 28

SP - 682

EP - 719

JO - Autonomous Agents and Multi-Agent Systems

T2 - Autonomous Agents and Multi-Agent Systems

JF - Autonomous Agents and Multi-Agent Systems

SN - 1387-2532

IS - 4

ER -

ID: 26026311