%0 Journal Article
%T 基于模糊逻辑的几类kripke结构之间的关系
%A 潘海玉？
%A 张敏？
%A 陈仪香？
%J 计算机科学
%D 2013
%X 根据初始状态、状态之间的转换关系和命题赋值函数是否为分明的,模糊kripke结构可分为8类。提出将模糊计算树逻辑作为判断模糊kripke结构之间是否是等价的依据；详细讨论了8种模糊kripke结构之间的关系。这些结论为设计应用中模型的合理选取提供了理论依据,也为解决模糊计算树逻辑的模型检测问题提供了一种新的方法。
%K kripke结构
%K 形式化验证
%K 模糊逻辑
%K 计算树逻辑
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=20130510&flag=1