A BDI agent programming language with failure handling, declarative goals, and planning

Sardina, S and Padgham, L 2011, 'A BDI agent programming language with failure handling, declarative goals, and planning', Autonomous Agents and Multi-Agent Systems, vol. 23, no. 1, pp. 18-70.


Document type: Journal Article
Collection: Journal Articles

Attached Files
Name Description MIMEType Size
n2006019013.pdf Accepted Manuscript application/pdf 808.17KB
Title A BDI agent programming language with failure handling, declarative goals, and planning
Author(s) Sardina, S
Padgham, L
Year 2011
Journal name Autonomous Agents and Multi-Agent Systems
Volume number 23
Issue number 1
Start page 18
End page 70
Total pages 53
Publisher Springer
Abstract Agents are an important technology that have the potential to take over contemporary methods for analysing, designing, and implementing complex software. The Belief- Desire-Intention (BDI) agent paradigm has proven to be one of the major approaches to intelligent agent systems, both in academia and in industry. Typical BDI agent-oriented programming languages rely on user-provided ''plan libraries'' to achieve goals, and online context sensitive subgoal selection and expansion. These allow for the development of systems that are extremely flexible and responsive to the environment, and as a result, well suited for complex applications with (soft) real-time reasoning and control requirements. Nonetheless, complex decision making that goes beyond, but is compatible with, run-time context-dependent plan selection is one of the most natural and important next steps within this technology. In this paper we develop a typical BDI-style agent-oriented programming language that enhances usual BDI programming style with three distinguished features: declarative goals, look-ahead planning, and failure handling. First, an account that mixes both procedural and declarative aspects of goals is necessary in order to reason about important properties of goals and to decouple plans from what these plans are meant to achieve. Second, lookahead deliberation about the effects of one choice of expansion over another is clearly desirable or even mandatory in many circumstances so as to guarantee goal achievability and to avoid undesired situations. Finally, a failure handling mechanism, suitably integrated with both declarative goals and planning, is required in order to model an adequate level of commitment to goals, as well as to be consistent with most real BDI implemented systems.
Subject Adaptive Agents and Intelligent Robotics
Keyword(s) Adaptive Agents and Intelligent Robotics
artificial intelligence
intelligent agents
DOI - identifier 10.1007/s10458-010-9130-9
Copyright notice © Springer 2010
ISSN 13872532
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 34 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 50 times in Scopus Article | Citations
Altmetric details:
Access Statistics: 612 Abstract Views, 529 File Downloads  -  Detailed Statistics
Created: Tue, 17 Aug 2010, 09:23:39 EST by Catalyst Administrator
© 2014 RMIT Research Repository • Powered by Fez SoftwareContact us