Paper Info
Title
A Formal Approach to Embedding First-Principles Planning in BDI Agent Systems.
Abstract
The BDI architecture, where agents are modelled based on their beliefs, desires, and intentions, provides a practical approach to developing intelligent agent systems. However, these systems either do not include any capability for first-principles planning (FPP), or they integrate FPP in a rigid and ad-hoc manner that does not define the semantical behaviour. In this paper, we propose a novel operational semantics for incorporating FPP as an intrinsic planning capability to achieve goals in BDI agent systems. To achieve this, we introduce a declarative goal intention to keep track of declarative goals used by FPP and develop a detailed specification of the appropriate operational behaviour when FPP is pursued, succeeded or failed, suspended, or resumed in the BDI agent systems. Furthermore, we prove that BDI agent systems and FPP are theoretically compatible for principled integration in both offline and online planning manner. The practical feasibility of this integration is demonstrated, and we show that the resulting agent framework combines the strengths of both BDI agent systems and FPP, thus substantially improving the performance of BDI agent systems when facing unforeseen situations.
Year
DOI
Venue
2018
10.1007/978-3-030-00461-3_23
Lecture Notes in Artificial Intelligence
Keywords
Field
DocType
BDI agent systems,First-principles planning,Decision making under uncertainty
Intelligent agent,Architecture,Operational semantics,Embedding,Software engineering,Computer science,Artificial intelligence,Machine learning
Conference
Volume
ISSN
Citations 
11142
0302-9743
0
PageRank 
References 
Authors
0.34
20
4
Name
Order
Citations
PageRank
Mengwei Xu102.03
Kim Bauters2387.91
Kevin McAreavey3238.16
Weiru Liu41597112.05