基于KQML的多智能体系统建模与验证

• 作者: 邹蒙蒙 骆灵洁 骆翔宇
• 来源期刊: 桂林电子科技大学学报
• 学科: 工学
• 关键词: KQML 多智能体系统 模型检测 MCMAS
• 年，卷（期）: 2012,（3）
• 页码范围: 227-232
• 分类号: TP393.09
• 字数: 5341字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-808X.2012.03.013

摘要

为了保证MAS相关属性的可满足性、有效性以及验证的高效性,提出了一种基于KQML通信语言的MAS建模以及能够实现自动验证相关规范的方法.设计并实现了KQML语言转化为完整描述状态转换关系的一组状态迁移七元组的算法,以及从七元组到多智能体模型检测工具MCMAS输入语言ISPL的转化算法,从而实现多智能体系统的自动形式化建模,并用MCMAS对多智能体系统规范的正确性进行验证.实验结果表明,所提出的算法不仅能够验证多智能体系统的时态规范,还能验证其特有的认知规范.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	骆翔宇	华侨大学计算机科学与技术学院	12	73	4.0	8.0
2	骆灵洁	桂林电子科技大学计算机科学与工程学院	2	3	1.0	1.0
3	邹蒙蒙	桂林电子科技大学计算机科学与工程学院	2	3	1.0	1.0