多Agent交互策略模型检测方法

作     者：张涛 谢红 黄少滨 ZHANG Tao;XIE Hong;HUANG Shao-bin

作者机构：东北农业大学电气与信息学院哈尔滨150030 哈尔滨工程大学信息与通信工程学院哈尔滨150001 

基　　金：国家科技支撑计划(2012BAH08B02) 中央高校基本科研业务费专项基金(HEUCF100603,HEUCF041204) 黑龙江省博士后资助项目(3236310148) 

出 版 物：《电子科技大学学报》 (Journal of University of Electronic Science and Technology of China)

年 卷 期：2016年第45卷第5期

页      码：802-807页

摘      要：提出一种基于模型检测的多Agent交互策略验证方法,首先通过责任政策语言建模多Agent的交互策略,基于责任政策语言的操作语义将政策模型转换为模型检测器Nu SMV的输入,利用时态逻辑声明表征策略冲突的系统性质,然后利用模型检测器Nu SMV自动验证政策模型对性质的可满足性,并根据模型检测器产生的反例分析交互策略中的各种错误。该方法可提高交互策略的验证效率,确保多Agent系统设计的正确性。

主 题 词：形式化方法 模型检测 多Agent系统 NuSMV 政策建模 

学科分类：081203[081203] 08[工学] 0835[0835] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1001-0548.2016.05.016

馆 藏 号：203194257...