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

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