ZHU Ye, LI Li, JIANG Min. Basic Properties of Fuzzy Computation Tree Logic[J]. Journal of Neijiang Normal University, 2016, (12): 21-24. DOI: 10.13603/j.cnki.51-1621/z.2016.12.005
Citation:
ZHU Ye, LI Li, JIANG Min. Basic Properties of Fuzzy Computation Tree Logic[J]. Journal of Neijiang Normal University, 2016, (12): 21-24. DOI: 10.13603/j.cnki.51-1621/z.2016.12.005
ZHU Ye, LI Li, JIANG Min. Basic Properties of Fuzzy Computation Tree Logic[J]. Journal of Neijiang Normal University, 2016, (12): 21-24. DOI: 10.13603/j.cnki.51-1621/z.2016.12.005
Citation:
ZHU Ye, LI Li, JIANG Min. Basic Properties of Fuzzy Computation Tree Logic[J]. Journal of Neijiang Normal University, 2016, (12): 21-24. DOI: 10.13603/j.cnki.51-1621/z.2016.12.005
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 im- precision 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.
DownLoad: