基于可能性测度的计算树逻辑CTL*与可能性互模拟

• 作者: 李亚利 李永明 薛艳 邓辉
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 可能的Kripke结构 可能性测度 可能性计算树逻辑PoCTL* 可能性互模拟 商可能性Kripke结构
• 年，卷（期）: 2012,（10）
• 所属期刊栏目: 人工智能
• 页码范围: 258-263
• 分类号: TP301.2
• 字数: 7899字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2012.10.059

摘要

提出了基于可能性测度的计算树逻辑CTL* (PoCTL*)的概念.给出了在可能的Kripke结构中可能性互模拟的定义并对其性质进行了详细的探讨.对商可能性Kripke结构及其相关构造进行了特别的研究.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李永明	陕西师范大学计算机科学学院	165	505	12.0	16.0
2	薛艳	陕西师范大学计算机科学学院	2	23	2.0	2.0
3	李亚利	陕西师范大学计算机科学学院	2	17	2.0	2.0
4	邓辉	陕西师范大学计算机科学学院	3	16	2.0	3.0