Skip to content

A Formal Approach to Embedding First-Principles Planning in BDI Agent Systems

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationScalable Uncertainty Management
Subtitle of host publication12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings
Publisher or commissioning bodySpringer Nature
Pages333-347
ISBN (Electronic)9783030004613
ISBN (Print)9783030004606
DOIs
DateAccepted/In press - 8 Jul 2018
DateE-pub ahead of print (current) - 11 Sep 2018

Publication series

NameLecture Notes in Artificial Intelligence
PublisherSpringer Nature
Volume11142
ISSN (Print)0302-9743

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.

Documents

Documents

  • Full-text PDF (accepted author manuscript)

    Rights statement: This is the accepted author manuscript (AAM). The final published version (version of record) is available online via Springer Link at https://doi.org/10.1007/978-3-030-00461-3_23 . Please refer to any applicable terms of use of the publisher.

    Accepted author manuscript, 1 MB, PDF-document

    Embargo ends: 12/09/19

    Request copy

    Licence: Other

DOI

View research connections

Related faculties, schools or groups