Adaptable and Verifiable BDI Reasoning

Peter Stringer
(University of Liverpool)
Rafael C. Cardoso
(University of Liverpool)
Xiaowei Huang
(University of Liverpool)
Louise A. Dennis
(University of Liverpool)

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 position paper, we describe a system architecture for BDI autonomous agents capable of adapting to changes in a dynamic environment and outline the required research. Specifically, we describe an agent-maintained self-model with accompanying theories of durative actions and learning new action descriptions in BDI systems.

In Rafael C. Cardoso, Angelo Ferrando, Daniela Briola, Claudio Menghi and Tobias Ahlbrecht: Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2020), Virtual event, 4th September 2020, Electronic Proceedings in Theoretical Computer Science 319, pp. 117–125.
Published: 23rd July 2020.

ArXived at: https://dx.doi.org/10.4204/EPTCS.319.9 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org