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

摘要：

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

关键词：形式化方法、模型检测、多Agent系统、NuSMV、政策建模

所属期刊栏目：45

分类号：TP399(计算技术、计算机技术)

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

在线出版日期：2016-10-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：802-807