%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