Agent-BDI逻辑

• 作者: 石纯一 胡山立
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: Agent Agent-BDI模型 模态逻辑 信念 意图
• 年，卷（期）: 2000,（10）
• 页码范围: 1353-1360
• 页数: 8页
• 分类号: TP18
• 字数: 8430字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	石纯一	清华大学计算机科学与技术系	85	3189	30.0	55.0
2	胡山立	福州大学计算机科学与技术系	41	542	13.0	22.0