桂林电子科技大学学报2012，Vol.32Issue(3)：227-232,6.
基于KQML的多智能体系统建模与验证
A modeling and verification method to multi-agent system based on KQML
摘要
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 1SPL 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.关键词
KQML/多智能体系统/模型检测/MCMASKey words
KQMLsmulti-agent system/model checking/ MCMAS分类
信息技术与安全科学引用本文复制引用
邹蒙蒙,骆翔宇,骆灵洁..基于KQML的多智能体系统建模与验证[J].桂林电子科技大学学报,2012,32(3):227-232,6.基金项目
国家自然科学基金(61170028) （61170028）
华侨大学中央高校基本科研业务项目(JB-GJ1001) （JB-GJ1001）
华侨大学高层次人才科研启动项目(11BS108) （11BS108）
