Agent-BDI逻辑

被引：21

作者：

胡山立

石纯一

机构：

[1] 福州大学计算机科学与技术系!福州

[2] 清华大学计算机科学与技术系!北京

来源：

软件学报 | 2000年 / 10期

关键词：

Agent; Agent-BDI模型; 模态逻辑; 信念; 意图;

D O I：

10.13328/j.cnki.jos.2000.10.014

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

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

引用

页码：1353 / 1360

页数：8

共 5 条

[1] Agent的意图模型
胡山立
fzu.edu.cn
石纯一
[J]. 软件学报, 2000, (07) : 965 - 970
[2] 适用于Agent非正规模态算子的一种语义解释
胡山立
石纯一
[J]. 计算机研究与发展, 1999, (10) : 1153 - 1157
[3] Intelligent agents: theory and practice[J] . Michael Wooldridge,Nicholas R. Jennings.The Knowledge Engineering Review . 1995 (2)
[4] Intention is choice with commitment .2 Cohen PR,Levesque HJ. Artificial Intelligence . 1990
[5] Intentions, Plans, and Practical Reason .2 Bratman M E. . 1987

← 1 →