Planning in BDI agent systems

De Silva, L 2009, Planning in BDI agent systems, Doctor of Philosophy (PhD), Computer Science and Information Technology, RMIT University.


Document type: Thesis
Collection: Theses

Attached Files
Name Description MIMEType Size
deSilva.pdf Thesis application/pdf 1.68MB
Title Planning in BDI agent systems
Author(s) De Silva, L
Year 2009
Abstract  Belief-Desire-Intention (BDI) agent systems are a popular approach to developing agents for complex and dynamic environments. These agents rely on context sensitive expansion of plans, acting as they go, and consequently, they do not incorporate a generic mechanism to do any kind of “look-ahead” or offline planning. This is useful when, for instance, important resources may be consumed by executing steps that are not necessary for a goal; steps are not reversible and may lead to situations in which a goal cannot be solved; and side effects of steps are undesirable if they are not useful for a goal. In this thesis, we incorporate planning techniques into BDI systems.

First, we provide a general mechanism for performing “look-ahead” planning, using Hierarchical Task Network (HTN) planning techniques, so that an agent may guide its selection of plans for the purpose of avoiding negative interactions between them. Unlike past work on adding such planning into BDI agents, which do so only at the implementation level without any precise semantics, we provide a solid theoretical basis for such planning.

Second, we incorporate first principles planning into BDI systems, so that new plans may be created for achieving goals. Unlike past work, which focuses on creating low-level plans, losing much of the domain knowledge encoded in BDI agents, we introduce a novel technique where plans are created by respecting and reusing the procedural domain knowledge encoded in such agents; our abstract plans can be executed in the standard BDI engine using this knowledge. Furthermore, we recognise an intrinsic tension between striving for abstract plans and, at the same time, ensuring that unnecessary actions, unrelated to the specific goal to be achieved, are avoided. To explore this tension, we characterise the set of “ideal” abstract plans that are non-redundant while maximally abstract, and then develop a more limited but feasible account where an abstract plan is “specialised” into a plan that is non-redundant and as abstract as possible.

We present theoretical properties of the planning frameworks, as well as insights into their practical utility.
Degree Doctor of Philosophy (PhD)
Institution RMIT University
School, Department or Centre Computer Science and Information Technology
Keyword(s) BDI agents
agent-orientated programming
HTN planning
classical planning
hybrid planning
Versions
Version Filter Type
Access Statistics: 175 Abstract Views, 251 File Downloads  -  Detailed Statistics
Created: Fri, 22 Nov 2013, 11:27:59 EST by Denise Paciocco
© 2014 RMIT Research Repository • Powered by Fez SoftwareContact us