一种基于认知进程演算的多智能体系统建模与模型检测方法

本发明公开了一种基于认知进程演算的多智能体系统建模与验证框架，旨在解决现有技术中多智能体系统建模与验证不精确、不全面的问题。本发明首先采用传值进程演算对多智能体系统进行建模，并引入认知概念，构建了一种新型的认知进程演算(EPC)，用于形式化描述智能体行为交互和认知状态。在此基础上，本发明扩展了交替时间时序逻辑(ATL)，形成了一种新型的认知交替时序逻辑(ATLE)，用于表达与智能体认知状态相关的复杂属性。本发明进一步提出了一种针对ATLE规范的模型检验算法，能够系统地探索多智能体系统的状态空间，并评估指定属性是否得到满足。本发明通过一个协同攻击无人机的案例研究，验证了所提出框架的可行性和实用性。通过本发明，可以为多智能体系统的建模、验证提供一种更加精确、全面的工具，并为多智能体系统的设计与优化提供参考，为任务调度、资源分配和策略选择提供可量化依据。