10.3778/j.issn.1673-9418.1607030
广义可能性计算树逻辑和计算树逻辑的关系
广义可能性计算树逻辑(generalized possibilistic computation tree logic,GPoCTL)在不确定性模型检测中扮演着非常重要的角色,但其表达能力还尚未研究全面.为此,讨论了GPoCTL与计算树逻辑(computa-tion tree logic,CTL)表达能力之间的关系.首先定义了区间广义可能性计算树逻辑(interval generalized pos-sibilistic computation tree logic,IGPoCTL),并给出了IGPoCTL公式和CTL公式等价的定义.然后证明了CTL是IGPoCTL的一个真子类,因为IGPoCTL是GPoCTL的一种简单分明化形式,则CTL可看作GPoCTL的一个真子类.此外,还给出了IGPoCTL公式和CTL公式α-等价的定义,并得出了一些更一般的结果.
计算树逻辑、广义可能性计算树逻辑、区间广义可能性计算树逻辑、表达能力
11
TP301.2(计算技术、计算机技术)
The National Natural Science Foundation of China under Grant Nos. 11271237, 61228305
2017-10-31(万方平台首次上网日期,不代表论文的发表时间)
共8页
1681-1688