| 基于 KQML的多智能体系统建模与验证 |
| |
| 引用本文： | 邹蒙蒙,骆翔宇,骆灵洁.基于 KQML的多智能体系统建模与验证[J].桂林电子科技大学学报,2012(3):227-232. |
| |
| 作者姓名： | 邹蒙蒙 骆翔宇 骆灵洁 |
| |
| 作者单位： | 1. 桂林电子科技大学 计算机科学与工程学院,广西 桂林 541004
2. 华侨大学 计算机科学与技术学院,福建 厦门 361021 |
| |
| 基金项目： | 国家自然科学基金(61170028);华侨大学中央高校基本科研业务项目(JB-GJ1001);华侨大学高层次人才科研启动项目(11BS108) |
| |
| 摘 要： | 为了保证 MAS相关属性的可满足性、有效性以及验证的高效性,提出了一种基于 KQML 通信语言的MAS建模以及能够实现自动验证相关规范的方法.设计并实现了 KQML 语言转化为完整描述状态转换关系的一组状态迁移七元组的算法,以及从七元组到多智能体模型检测工具 MCMAS输入语言ISPL的转化算法,从而实现多智能体系统的自动形式化建模,并用 MCMAS对多智能体系统规范的正确性进行验证.实验结果表明,所提出的算法不仅能够验证多智能体系统的时态规范,还能验证其特有的认知规范.
|
| 关 键 词： | KQML 多智能体系统 模型检测 MCMAS |
A modeling and verification method to multi-agent system based on KQML |
| |
| Zou Mengmeng,Luo Xiangyu,Luo Lingjie.A modeling and verification method to multi-agent system based on KQML[J].Journal of Guilin Institute of Electronic Technology,2012(3):227-232. |
| |
| Authors: | Zou Mengmeng Luo Xiangyu Luo Lingjie |
| |
| Affiliation: | 1 (1.School of Computer Science and Engineering,Guilin University of Electronic Technology,Guilin 541004,China 2.College of Computer Science and Technology,Huaqiao University,Xiamen 361021,China) |
| |
| Abstract: | To ensure the satisfiability and the validation of the related properties and the high efficiency in the multi-agent system,a method for realizing the automatic verification of the related properties and the MAS mode based on the knowledge query manipulate language are introduced.It is designed and realized to translate KQML into seven-tuple which can describe completely the state transition relationship and translate seven-tuple into the input language ISPL of the model checker MCMAS,so as to realize the automatically formal modeling and verify the correctness of the multi-agent system specifications via MCMAS.The experimental result shows that the proposed algorithm can verify not only the temporal specifications but also the epistemic specifications of the multi-agent system. |
| |
| Keywords: | KQML multi-agent system model checking MCMAS |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
