%0 Journal Article
%T 多Agent交互策略模型检测方法<br>The Method of Model Checking Policy of Multi-Agent Interaction
%A 张涛
%A 谢红
%A 黄少滨
%J 电子科技大学学报
%D 2016
%R 10.3969/j.issn.1001-0548.2016.05.016
%X 提出一种基于模型检测的多Agent交互策略验证方法，首先通过责任政策语言建模多Agent的交互策略，基于责任政策语言的操作语义将政策模型转换为模型检测器NuSMV的输入，利用时态逻辑声明表征策略冲突的系统性质，然后利用模型检测器NuSMV自动验证政策模型对性质的可满足性，并根据模型检测器产生的反例分析交互策略中的各种错误。该方法可提高交互策略的验证效率，确保多Agent系统设计的正确性。<br>
%K 形式化方法
%K 模型检测
%K 多Agent系统
%K NuSMV
%K 政策建模&lt
%K br&gt
%U http://manu50.magtech.com.cn/dzkjdx/CN/abstract/abstract14.shtml