%0 Journal Article %A 范艳焕 %A 李永明 %A 潘海玉 %T 不确定型模糊Kripke结构的计算树逻辑模型检测 %D 2018 %R 10.3969/j.issn.0372-2112.2018.01.021 %J 电子学报 %P 152-159 %V 46 %N 1 %X 本文研究了不确定型模糊Kripke结构的计算树逻辑的模型检测问题,并说明了该问题可以在对数多形式时间内解决.首先给出了不确定型模糊Kripke结构的定义,引入了模糊计算树逻辑的语法和语义.为了刻画存在量词∃和任意量词∀在不确定型模糊Kripke结构中的两种语义解释,在模糊计算树逻辑语法中引入了路径量词∃sup,∃inf和∀sup,∀inf,分别用于替换存在量词∃和任意量词∀.其次讨论了基于不确定型模糊Kripke结构的计算树逻辑模型检测算法,特别地对于模糊计算树逻辑公式∃suppUq,∀suppUq,∃infpUq和∀infpUq分别给出时间复杂度为对数多项式时间的改进算法. %U https://www.ejournal.org.cn/CN/10.3969/j.issn.0372-2112.2018.01.021