Adaptable and Verifiable BDI Reasoning

Peter Stringer, Rafael Cardoso, Xiaowei Huang, Louise Dennis

Research output: Contribution to conferencePaperpeer-review

82 Downloads (Pure)


Long-term autonomy requires autonomous systems to adapt as their capabilities no longer perform as expected. To achieve this, a system must first be capable of detecting such changes. In this posi- tion paper, we describe a system architecture for Belief-Desire-Intention (BDI) autonomous agents capable of adapting to changes in a dynamic environment and outline the required research. Specif- ically, we describe an agent-maintained self-model with accompanying theories of durative actions and learning new action descriptions in BDI systems.
Original languageEnglish
Publication statusPublished - 23 Jul 2020
EventAgents and Robots for reliable Engineered Autonomy - Online
Duration: 4 Sept 20204 Sept 2020


WorkshopAgents and Robots for reliable Engineered Autonomy
Abbreviated titleAREA
Internet address


Dive into the research topics of 'Adaptable and Verifiable BDI Reasoning'. Together they form a unique fingerprint.

Cite this