基于可能性测度的计算树逻辑

• 作者: 李永明 薛艳 雷红轩
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 可能的Kripke结构 可能性测度 可能性计算树逻辑 一致性
• 年，卷（期）: 2011,（9）
• 所属期刊栏目: 计算理论与算法
• 页码范围: 70-75
• 分类号: TP301.2
• 字数: 5963字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2011.09.013

摘要

首先,提出了可能的Kripke结构的定义,建立了可能的Kripke结构的可能性测度空间,并分析了可能的Kripke结构的一系列性质,即任一路径转移的可能性可由其初始状态的可能性分布与各转移的可能性取下确界而得到；依据可能的Kripke结构所定义的可能性测度具有其合理性等等.其次,给出了可能性计算树逻辑(PoCTL)的概念,讨论了两个PoCTL状态公式以及PoCTL与经典计算树逻辑(CTL)公式的等价性.最后,证明了PoCTL公式有与CTL*公式中“一致性”相对应的公式.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李永明	陕西师范大学计算机科学学院	165	505	12.0	16.0
2	雷红轩	内江师范学院数学与信息科学学院	22	103	7.0	9.0
3	薛艳	陕西师范大学计算机科学学院	2	23	2.0	2.0