|
|||||
|
|
| 知识推理的一个模型 | |
| 引用本文： | 陆汝钤,应明生.知识推理的一个模型[J].中国科学(E辑),1998(4). |
| 作者姓名： | 陆汝钤 应明生 |
| 作者单位： | 中国科学院数学研究所!北京100080(陆汝钤)，清华大学计算机科学与技术系!北京100084(应明生) |
| 基金项目： | 国家自然科学基金资助项目 !(批准号 :196 710 38，6 97330 2 0 )，杰出青年科学基金!(批准号 :6 972 5 0 0 4)，霍英东教育基金，“ |
| 摘 要： | 引入了能描述操不同语言的多agent系统中知识推理的模态逻辑语言及其Kripke语义与Aumann语义 ,为其建立了完备的形式化演绎系统 ;并构造了多agent系统的逻辑的Institution . |
| 关 键 词： | 分布式人工智能 知识表示与推理 公共知识 分布式知识 |
| 本文献已被 CNKI 等数据库收录！ | |