知识推理的一个模型

被引：9

作者：

陆汝钤

应明生

机构：

[1] 中国科学院数学研究所!北京

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

来源：

中国科学E辑:技术科学 | 1998年 / 04期

关键词：

分布式人工智能; 知识表示与推理; 公共知识; 分布式知识;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引入了能描述操不同语言的多agent系统中知识推理的模态逻辑语言及其Kripke语义与Aumann语义 ,为其建立了完备的形式化演绎系统 ;并构造了多agent系统的逻辑的Institution .

引用

收藏

页码：363 / 369

页数：7

相关论文

共 2 条

[1]

Knowledgeandcommonknowledgeinadistributedenviroment .2 HalpernJY,MosesY. JACM . 1990

[2]

Knowledge and Belief .2 Hintikka J. Ithaca, NY: Cornell University Press . 1962