| 基于访问、感知和知道的多Agent系统形式化模型 |
| |
| 引用本文： | 孙瑜,夏幼明,李志平. 基于访问、感知和知道的多Agent系统形式化模型[J]. 计算机工程, 2004, 30(7): 1-2,54 |
| |
| 作者姓名： | 孙瑜 夏幼明 李志平 |
| |
| 作者单位： | 中国科学院计算技术研究所智能信息处理重点实验室,北京,100080;云南师范大学计算机科学与信息技术学院,昆明,650092;云南师范大学计算机科学与信息技术学院,昆明,650092;云南师范大学计算中心,昆明,650092 |
| |
| 基金项目： | 云南省自然科学基金资助项目(2000F0049M)l，云南省自然科学重点基金资助项目(2001F0006Z)，云南省教育厅青年基金资助项目(03y312d) |
| |
| 摘 要： | 提出了基于VSK-AF逻辑的多Agent系统形式化模型。VSK-AF逻辑是模态认知模型的扩展，它表示并且区分外部环境与Agents环境中客观真实的和可访问的信息、环境中可访问的和Agents感知到的信息以及Agents感知到的和知道的信息。在给出了该逻辑的语义模型和公理体系后，研究了模态算子之间的关系并将其对应到VSK-AF系统所具备的特性上。最后总结并讨论了进一步的研究工作。
|
| 关 键 词： | 多Agent系统 访问 感知 知道 |
| 文章编号： | 1000-3428(2004)07-0001-02 |
A Formal Model of Multi-agent System Based on Visibility, Perception and Knowledge |
| |
| SUN Yu,,XIA Youming,LI Zhiping. A Formal Model of Multi-agent System Based on Visibility, Perception and Knowledge[J]. Computer Engineering, 2004, 30(7): 1-2,54 |
| |
| Authors: | SUN Yu XIA Youming LI Zhiping |
| |
| Affiliation: | SUN Yu1,2,XIA Youming2,LI Zhiping3 |
| |
| Abstract: | In this paper, a formalism of reasoning about the information properties of multi-agent system using VSK-AF logic is presented. VSK-AF logic is the extension of modal epistemic logic, and it can express information visible, information perceived and information known in external environment and Agents environment. After introducing the semantics of this logic and its axioms, the relationship among the five operators are discussed and characterized in terms of the properties of the multi-agent system. Finally, a conclusion and issues for future work are discussed. |
| |
| Keywords: | Multi-agent system Accessibility Perception Knowledge |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
