适应性和可验证的BDI推理
Adaptable and Verifiable BDI Reasoning
University of Liverpool（利物浦大学）
摘要：
长期自治要求自治系统在其功能不再按预期运行时进行适应。为了实现这一点，系统必须首先能够检测这种变化。在这个立场文件中，我们描述了一个系统架构的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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
