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