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

• 作者: 李丹 李永明
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: 计算树逻辑 广义可能性计算树逻辑 区间广义可能性计算树逻辑 表达能力
• 年，卷（期）: 2017,（10）
• 所属期刊栏目: 理论与算法
• 页码范围: 1681-1688
• 页数: 8页
• 分类号: TP301.2
• 字数: 6727字
• 语种: 中文
• DOI: 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公式α-等价的定义,并得出了一些更一般的结果.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李永明	陕西师范大学计算机科学学院	165	505	12.0	16.0
2	李丹	陕西师范大学计算机科学学院	21	39	4.0	5.0