模糊多智能体系统中认知和承诺的模型检测方法研究

作     者：李霞 

作者单位：北方民族大学 

学位级别：硕士

导师姓名：马占有

授予年度：2024年

学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 081104[工学-模式识别与智能系统] 08[工学] 0835[工学-软件工程] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

主      题：模型检测 多智能体系统 解释系统 模糊Kripke结构 模糊计算树逻辑 

摘      要：模型检测作为一种自动的形式化验证方法,在多智能体系统属性验证方面已得到广泛应用。现有的模型检测方法不能满足具有不确定性和模糊信息的多智能体系统验证需求,因此迫切需要开展基于模糊时序逻辑验证方法的研究。本文以解释系统为基础模型,将模糊计算树逻辑与认知和承诺逻辑相融合,得到可以描述基于认知和通信的多智能体系统属性的混合模糊计算树逻辑,并提出基于模糊计算树逻辑的多智能体系统模型检测方法。主要研究内容包括:(1)模糊认知多智能体系统的模型检测方法。将模糊多智能体系统建模为使用模糊认知解释系统来表示的分布式知识库。引入认知模态词对模糊计算树逻辑进行扩展,提出模糊认知计算树逻辑,描述系统属性,并给出模糊认知计算树逻辑在模糊认知解释系统上的语义。设计模糊模型检测算法,将基于模糊认知解释系统的模糊认知计算树逻辑模型检测问题转化为基于模糊Kripke结构的模糊计算树逻辑模型检测问题,对具有模糊性认知的多智能体系统属性进行验证。(2)模糊通信多智能体系统的模型检测方法。引入模糊沟通解释系统对具有非确定性通信的多智能体系统进行建模。在模糊计算树逻辑的基础上添加承诺和实现模态词,得到描述系统属性的模糊承诺计算树逻辑。设计验证模糊通信多智能体系统属性的模糊模型检测算法,将基于模糊沟通解释系统的模糊承诺计算树逻辑模型检测问题转化为基于模糊Kripke结构的模糊计算树逻辑模型检测问题。(3)模糊认知和通信交互的多智能体系统模型检测方法。引入同时描述通信和认知的模糊解释系统模型。通过独立连接操作将模糊认知计算树逻辑和模糊承诺计算树逻辑进行组合,得到表达能力更强的带承诺认知的组合模糊计算树逻辑,描述系统认知和承诺交互的属性,并给出组合逻辑在模糊解释系统上的语义。设计模糊模型检测算法,对同时具有模糊认知和通信的多智能体系统属性进行验证。