Adaptable and Verifiable BDI Reasoning
Multiagent Systems
2020-07-24 v1 Artificial Intelligence
Logic in Computer Science
Abstract
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.
Cite
@article{arxiv.2007.11743,
title = {Adaptable and Verifiable BDI Reasoning},
author = {Peter Stringer and Rafael C. Cardoso and Xiaowei Huang and Louise A. Dennis},
journal= {arXiv preprint arXiv:2007.11743},
year = {2020}
}
Comments
In Proceedings AREA 2020, arXiv:2007.11260