发表刊物：桂林电子科技大学学报
刊物所在地：桂林电子科技大学
关键字：KQML；多智能体系统；模型检测；MCMAS
摘要：目前KQML语言已成了Agent通讯语言的事实标准，并得到广泛应用。由于多智能体间的通信具有动态性和时间性，因此多智能体间通信的正确性和可靠性难以得到保证。首先介绍了KQML语言和模型检测工具MCMAS，提出知识查询操作语言KQML的形式化模型七元组，设计并实现了从KQML到七元组的转换算法，以及从七元组到多智能体模型检测工具MCMAS输入语言ISPL的转化算法，从而实现多智能体系统的自动形式化建模。最后用MCMAS对多智能体系统规范的正确性进行验证。
备注：【第一作者邹蒙蒙是骆翔宇在桂林电子科技大学指导的硕士生】
页面范围：227-232
字数：5300
是否译文：否
发表时间：2011-12-06
第一作者：骆灵洁(外),骆翔宇,邹蒙蒙(外)