Agent-BDI逻辑

摘要：

阐述了Agent的形式化描述应该采用含有正规和非正规模态算子的混合模态逻辑为逻辑工具的观点.建立了Agent-BDI逻辑的代表系统A-BI,讨论了它的语法和语义.特别是给出了非正规模态算子基于Kripke标准可能世界的新的语义解释,证明了A-BI逻辑系统不但是可靠的, 而且是完备的.A-BI逻辑系统恰当地刻画了信念与意图的本质与内在联系,可作为Agent形式化研究的逻辑工具.

关键词：Agent、Agent-BDI模型、模态逻辑、信念、意图

所属期刊栏目：11

分类号：TP18(自动化基础理论)

资助基金：中国科学院资助项目69733020,69973023

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：1353-1360