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

• Published in: 计算机科学与探索 Vol. 11; no. 10; pp. 1681 - 1688
• Main Authors: 李丹, 李永明
• Format: Journal Article
• Language: Chinese
• Published: 陕西师范大学 计算机科学学院,西安,710119 2017
• Subjects: interval generalized possibilis-tic computation tree logic; 区间广义可能性计算树逻辑; generalized possibilistic computation tree logic; computation tree logic; 计算树逻辑; expressiveness; 表达能力; 广义可能性计算树逻辑
• ISSN: 1673-9418
• DOI: 10.3778/j.issn.1673-9418.1607030

TP301.2; 广义可能性计算树逻辑(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公式α-等价的定义,并得出了一些更一般的结果.