Adaptable and Verifiable BDI Reasoning*

Stringer, Peter ORCID: 0000-0002-8760-4717, Cardoso, Rafael C ORCID: 0000-0001-6666-6954, Huang, Xiaowei ORCID: 0000-0001-6267-0366 and Dennis, Louise A ORCID: 0000-0003-1426-1896 (2020) Adaptable and Verifiable BDI Reasoning*. In: Agents and Robots for Reliable Engineered Autonomy.

Text
AREA2020_STRINGER_EPTCS_Camera_Ready.pdf - Author Accepted Manuscript
Download (171kB) | Preview

Official URL: http://dx.doi.org/10.4204/EPTCS.319.9

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.

Item Type:	Conference or Workshop Item (Unspecified)
Additional Information:	In Proceedings AREA 2020, arXiv:2007.11260
Uncontrolled Keywords:	cs.MA, cs.MA, cs.AI, cs.LO
Depositing User:	Symplectic Admin
Date Deposited:	14 Jul 2020 10:15
Last Modified:	06 Sep 2023 13:05
DOI:	10.4204/EPTCS.319.9
Related URLs:	Author Publisher
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3093556