Aborting tasks in BDI agents

Thangarajah, J, Harland, J, Morley, D and Yorke-Smith, N 2007, 'Aborting tasks in BDI agents', in Michael Huhns, Onn Shehory (ed.) Proceedings of the Sixth International Conference on Autonomous Agents and Multi-Agent Systems, Honolulu, HI, United States, 14-18 May 2007, pp. 8-15.

Document type: Conference Paper
Collection: Conference Papers

Title Aborting tasks in BDI agents
Author(s) Thangarajah, J
Harland, J
Morley, D
Yorke-Smith, N
Year 2007
Conference name International Conference on Autonomous Agents and Multi-Agent Systems
Conference location Honolulu, HI, United States
Conference dates 14-18 May 2007
Proceedings title Proceedings of the Sixth International Conference on Autonomous Agents and Multi-Agent Systems
Editor(s) Michael Huhns, Onn Shehory
Publisher IFAAMAS
Place of publication USA
Start page 8
End page 15
Total pages 8
Abstract Intelligent agents that are intended to work in dynamic environments must be able to gracefully handle unsuccessful tasks and plans. In addition, such agents should be able to make rational decisions about an appropriate course of action, which may include aborting a task or plan, either as a result of the agent's own deliberations, or potentially at the request of another agent. In this paper we investigate the incorporation of aborts into a BDI-style architecture. We discuss some conditions under which aborting a task or plan is appropriate, and how to determine the consequences of such a decision. We augment each plan with an optional abort-method, analogous to the failure method found in some agent programming languages. We provide an operational semantics for the execution cycle in the presence of aborts in the abstract agent language CAN, which enables us to specify a BDI-based execution model without limiting our attention to a particular agent system (such as JACK, Jadex, Jason, or SPARK). A key technical challenge we address is the presence of parallel execution threads and of sub-tasks, which require the agent to ensure that the abort methods for each plan are carried out in an appropriate sequence.
Subjects Artificial Intelligence and Image Processing not elsewhere classified
Keyword(s) Agent architectures
reactive and deliberative agents
formal models of agency
DOI - identifier 10.1145/1329125.1329133
Copyright notice © 2007 IFAAMAS.
ISBN 9788190426275
Version Filter Type
Citation counts: Scopus Citation Count Cited 10 times in Scopus Article | Citations
Altmetric details:
Access Statistics: 355 Abstract Views  -  Detailed Statistics
Created: Tue, 19 Feb 2013, 12:43:00 EST by Catalyst Administrator
© 2014 RMIT Research Repository • Powered by Fez SoftwareContact us