论文标题
适应性和可验证的BDI推理
Adaptable and Verifiable BDI Reasoning
论文作者
论文摘要
长期自治要求自主系统适应其功能不再按预期执行。为了实现这一目标，系统必须首先能够检测到此类更改。在该立场论文中，我们描述了能够适应动态环境变化并概述所需研究的BDI自动量代理的系统体系结构。具体而言，我们描述了一种持续的持久性动作理论并在BDI系统中学习新的动作描述，并描述了一种稳定的自我模型。
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.
