模糊Kripke结构的子模型修复算法

摘要：

在模糊模型检测时,如果模糊Kripke结构不满足性质规约,模型检测工具会给出模型中违反性质规约的反例,这往往需要设计人员手工修复,会导致效率低下,因此如何对模糊Kripke结构进行自动修复具有极大的研究意义.由此,提出一个基于模糊tableaux方法的子模型修复算法,从而将经典的模型修复算法提升到模糊系统中,使得模糊Kripke结构能够自动修复.通过一个医疗诊断的例子来阐述该算法在实际中的价值.

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

所属期刊栏目：55

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

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

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

页数：共7页

页码：77-83