Adaptable and Verifiable BDI Reasoning

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 extended abstract, a specification for Belief-Desire-Intention (BDI) autonomous agents capable of adapting to changes in a dynamic environment is discussed, and the required research is outlined. Specifically, an agent-maintained self-model is described alongside the accompanying theories of durative actions and learning new action descriptions in BDI systems.