Hierarchical planning in BDI agent programming languages: a formal approach

Abstract

This paper provides a general mechanism and a solid theoretical basis for performing planning within Belief-Desire-Intention (BDI) agents. BDI agent systems have emerged as one of the most widely used approaches to implementing intelligent behaviour in complex dynamic domains, in addition to which they have a strong theoretical background. However, these systems either do not include any built-in capacity for "lookahead" type of planning or they do it only at the implementation level without any precise defined semantics. In some situations, the ability to plan ahead is clearly desirable or even mandatory for ensuring success. Also, a precise definition of how planning can be integrated into a BDI system is highly desirable. By building on the underlying similarities between BDI systems and Hierarchical Task Network (HTN) planners, we present a formal semantics for a BDI agent programming language which cleanly incorporates HTN-style planning as a built-in feature. We argue that the resulting integrated agent programming language combines the advantages of both BDI agent systems and hierarchical offline planners.

DOI: 10.1145/1160633.1160813

Extracted Key Phrases

1 Figure or Table

Statistics

01020'05'06'07'08'09'10'11'12'13'14'15'16'17
Citations per Year

93 Citations

Semantic Scholar estimates that this publication has 93 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Sardia2006HierarchicalPI, title={Hierarchical planning in BDI agent programming languages: a formal approach}, author={Sebastian Sardi{\~n}a and Lavindra de Silva and Lin Padgham}, booktitle={AAMAS}, year={2006} }