基于模糊逻辑的几类Kripke结构之间的关系

摘要

根据初始状态、状态之间的转换关系和命题赋值函数是否为分明的,模糊Kripke结构可分为8类.提出将模糊计算树逻辑作为判断模糊Kripke结构之间是否是等价的依据；详细讨论了8种模糊Kripke结构之间的关系.这些结论为设计应用中模型的合理选取提供了理论依据,也为解决模糊计算树逻辑的模型检测问题提供了一种新的方法.