10.3969/j.issn.1002-137X.2013.05.010
基于模糊逻辑的几类Kripke结构之间的关系
根据初始状态、状态之间的转换关系和命题赋值函数是否为分明的,模糊Kripke结构可分为8类.提出将模糊计算树逻辑作为判断模糊Kripke结构之间是否是等价的依据;详细讨论了8种模糊Kripke结构之间的关系.这些结论为设计应用中模型的合理选取提供了理论依据,也为解决模糊计算树逻辑的模型检测问题提供了一种新的方法.
Kripke结构、形式化验证、模糊逻辑、计算树逻辑
40
TP301(计算技术、计算机技术)
国家自然科学基金61021004,61202105,1127123761228305;973项目2011CB302802;上海市重点学科建设项目B412
2013-07-11(万方平台首次上网日期,不代表论文的发表时间)
共3页
42-44