模糊计算树逻辑的模型检测修复算法

摘要：

为了解决基于模糊逻辑的模型检测修复问题,提出了模糊计算树逻辑模型检测的模型修复算法.该算法采用原子修复操作来修复模糊Kripke结构,通过模糊Kripke结构之间的距离比较原始的模糊Kripke结构和修复后的模糊Kripke结构,并从多个修复后的模糊Kripke结构中,选出满足给定模糊计算树逻辑的α-极小的修复模型作为算法的最终返回结果.研究结果表明,模糊计算树逻辑中的命题逻辑以及?X的修复问题能够在多项式时间内得到解决.

关键词：模糊逻辑、模型检测、计算树逻辑、模型修复

所属期刊栏目：40

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

资助基金：国家自然科学基金;广西自然科学基金;广西可信软件重点实验室基金

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

页数：共6页

页码：394-399