| 多Agent VSK-AF逻辑 |
| |
| 引用本文： | 孙瑜,夏幼明,李志平. 多Agent VSK-AF逻辑[J]. 计算机工程, 2004, 30(23): 1-3,21 |
| |
| 作者姓名： | 孙瑜 夏幼明 李志平 |
| |
| 作者单位： | 中国科学院计算技术研究所智能信息处理重点实验室,北京,100080;中国科学院研究生院,北京,100080;云南师范大学计算机科学与信息技术学院,昆明,650092;云南师范大学计算机科学与信息技术学院,昆明,650092 |
| |
| 基金项目： | 云南省自然科学基金资助项目(2000F0049M)，云南省自然科学重点基金资助项目(2001F0006Z)，云南省教育厅青年基金资助项目(03Y312d,04Y769d) |
| |
| 摘 要： | 提出了对多Agent系统的信息特征进行推理的形式化体系VSK-AF逻辑，建立了它与多Agent系统的形式化模型间的关系，给出了该逻辑的公理体系和交互公理，证明了该逻辑公理体系的一致性、无矛盾性以及完全性。讨论了进一步的研究工作。
|
| 关 键 词： | 多Agent系统 模态逻辑 访问 感知 知识 |
| 文章编号： | 1000-3428(2004)23-0001-03 |
Multi-agent VSK-AF Logic |
| |
| SUN Yu,,,XIAYouming,LI Zhiping. Multi-agent VSK-AF Logic[J]. Computer Engineering, 2004, 30(23): 1-3,21 |
| |
| Authors: | SUN Yu XIAYouming LI Zhiping |
| |
| Affiliation: | SUN Yu1,2,3,XIAYouming3,LI Zhiping3 |
| |
| Abstract: | A formalism for reasoning about multi-agent system is presented. Its relationship to the formal model of multi-agent system is established, the axiomatisation and interaction axioms of VSK-AF logic are put forward. The consistency, soundness and completeness of this axiomatisation are proved. Issues for future work are discussed. |
| |
| Keywords: | Multi-agent system Modal logic Accessibility Perception Knowledge |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
