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

• 作者: 毛兆东 蔡泳 钱俊彦
• 来源期刊: 桂林电子科技大学学报
• 学科: 工学
• 关键词: 模糊逻辑 模型检测 计算树逻辑 模型修复
• 年，卷（期）: 2020,（5）
• 页码范围: 394-399
• 页数: 6页
• 分类号: TP301
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	钱俊彦		86	238	9.0	10.0
2	毛兆东		1	0	0.0	0.0
3	蔡泳		2	0	0.0	0.0