模糊计算树逻辑的基本性质  

Basic Properties of Fuzzy Computation Tree Logic

作　　者：朱晔[1] 郦丽[1] 江敏[1] 

机构地区：[1]泰州学院计算机科学与技术学院,江苏泰州225300

出　　处：《内江师范学院学报》2016年第12期21-24,共4页Journal of Neijiang Normal University

基　　金：国家自然科学基金资助项目(61672023)

摘　　要：引入了基于Zadeh模糊逻辑的计算树逻辑的语法和语义,讨论了不同的模糊计算树逻辑公式之间的语义关系,分析了模糊计算树逻辑语义模型的模糊赋值函数发生变化时,对模糊计算树逻辑语义的影响.The syntax and semantics of computation tree logic（CTL）, which is based on Zadeh fuzzy logic, are presented. Then, the semantic relationships between different fuzzy computation tree logic formulas are analyzed. And how the imprecision of fuzzy valuation function of a fuzzy model influences the imprecision of the truth values of fuzzy computation tree logic formulas is also put under examination.

关 键 词：KRIPKE结构 形式化验证 模糊逻辑 计算树逻辑 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]