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

• 作者: 张涛 谢红 黄少滨
• 来源期刊: 电子科技大学学报
• 学科: 工学
• 关键词: 形式化方法 模型检测 多Agent系统 NuSMV 政策建模
• 年，卷（期）: 2016,（5）
• 所属期刊栏目: 计算机工程与应用
• 页码范围: 802-807
• 页数: 6页
• 分类号: TP399
• 字数: 6311字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-0548.2016.05.016

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	谢红	哈尔滨工程大学信息与通信工程学院	134	692	14.0	19.0
2	张涛	东北农业大学电气与信息学院	85	1098	19.0	31.0
6	黄少滨	东北农业大学电气与信息学院	1	4	1.0	1.0