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 |
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: | |
URI: | https://livrepository.liverpool.ac.uk/id/eprint/3093556 |