广义可能性计算树逻辑和计算树逻辑的关系

摘要：

广义可能性计算树逻辑(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