华中科技大学学报（自然科学版）2024，Vol.52Issue(11)：64-71,8.DOI:10.13245/j.hust.241109
基于模糊多智能体系统的模型检测
Model checking based on fuzzy multi-agent systems
摘要
Abstract
The heterogeneity arising from communication between agents was addressed by using social accessibility relations to formalize the communication between agents.The problem of model checking for multi-agent systems with uncertain communication was studied.First,a fuzzy interpreted system model was introduced to describe fuzzy multi-agent systems with uncertain communication.Next,based on fuzzy computation tree logic,commitment and fulfillment modal operators were added to obtain a fuzzy computation tree logic with commitments,which was used to describe the properties of the system.Then,an indirect model checking algorithm was proposed,converting the model checking problem of fuzzy computation tree logic with commitments based on fuzzy interpreted systems into a model checking problem of fuzzy computation tree logic based on fuzzy Kripke structures.Finally,the correctness proof and complexity analysis of the algorithm were provided.Research results show that the proposed indirect fuzzy model checking algorithm not only effectively handles the property verification problem of fuzzy multi-agent systems with uncertain communication but also demonstrates superior performance in terms of handling complexity,validating its feasibility and effectiveness in practical applications.关键词
多智能体系统/模糊解释系统/模糊计算树逻辑/转换算法/模型检测Key words
multi-agent systems/fuzzy interpreted systems/fuzzy computation tree logic/transformation algorithm/model checking分类
信息技术与安全科学引用本文复制引用
马占有,李霞,高滢囡,刘子源..基于模糊多智能体系统的模型检测[J].华中科技大学学报（自然科学版）,2024,52(11):64-71,8.基金项目
宁夏自然科学基金资助项目(AAC03300) （AAC03300）
北方民族大学研究生创新资助项目(YCX23152). （YCX23152）
