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

毛兆东; 钱俊彦; 蔡泳

doi:10.16725/j.cnki.cn45-1351/tn.2020.05.004

桂林电子科技大学学报 ›› 2020, Vol. 40 ›› Issue (05) : 394 -399. DOI: 10.16725/j.cnki.cn45-1351/tn.2020.05.004

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

毛兆东, 钱俊彦, 蔡泳

作者信息 +

Author information +

文章历史 +

摘要

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