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

J4 ›› 2011, Vol. 33 ›› Issue (9): 70-75.

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

薛艳1，雷红轩2，李永明1

（1.陕西师范大学计算机科学学院,陕西西安 710062；
2.内江师范学院数学与信息科学学院,四川内江 641112）

收稿日期:2011-05-20 修回日期:2011-07-26 出版日期:2011-09-25 发布日期:2011-09-25
作者简介:薛艳(1986),女,河南太康人，硕士生，研究方向为模型检测。雷红轩〖HT5"SS〗(1967),男,陕西洋县人，博士，副教授，研究方向为多值模型检测。李永明(1966),男，陕西大荔人，博士，教授,研究方向为计算智能、模糊系统分析、量子逻辑、量子计算、模型检测。

Computation Tree Logic Based on Possibility Measure

XUE Yan1，LEI Hongxuan2，LI Yongming1

（1.School of Computer Science,Shaanxi Normal University,Xi’an 710062;
2.School of Mathematics and Information Science,Neijiang Normal University,Neijiang 641112,China）

Received:2011-05-20 Revised:2011-07-26 Online:2011-09-25 Published:2011-09-25

摘要/Abstract

摘要：

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

关键词: 可能的Kripke结构, 可能性测度, 可能性计算树逻辑, 一致性

Abstract:

Firstly, the definition of possibilistic Kripke structure is presented, and the possibility measure space based on it is established. The properties of possibilistic Kripke structure are discussesd, such as the possibility of each path is the infimum of the initial distribution and all of the transisiton possibilities, and the possibility measure which is defined in accordance with the possibilistic Kripke structure is reasonable, etc. Secondly, the possibility computation tree logic (PoCTL) is defined, the equivalence between two PoCTL formulae is studied, and the problems whether some PoCTL formulae are equivalent to some CTL formulae are analyzed. Finally, the persistence property corresponding to PoCTL in CTL*are proved.

Key words: possibilistic Kripke structure;possibility measure;possibility computation tree logic；persistence property

薛艳1，雷红轩2，李永明1. 基于可能性测度的计算树逻辑[J]. J4, 2011, 33(9): 70-75.

XUE Yan1，LEI Hongxuan2，LI Yongming1. Computation Tree Logic Based on Possibility Measure[J]. J4, 2011, 33(9): 70-75.

[1]	班琪, 云静, 邓磊, . 低资源场景下的汉语—传统蒙古语跨语言摘要方法研究[J]. 计算机工程与科学, 2025, 47(05): 931-939.
[2]	安昕辰. DSP处理器二级缓存的结构优化研究[J]. 计算机工程与科学, 2025, 47(01): 10-17.
[3]	王强, 孙彦洁, 齐星云, 徐佳庆. Bowtie 2-NUMA:具有NUMA体系结构适应性的基因序列比对应用#br#[J]. 计算机工程与科学, 2024, 46(12): 2117-2127.
[4]	薛梅婷, 俞万刚, 张纪林, 曾艳, 袁俊峰, 周丽. 一种基于动态空间划分和压缩布隆过滤器相结合的分布式元数据负载均衡算法#br#[J]. 计算机工程与科学, 2024, 46(08): 1381-1389.
[5]	陈灿, 杨兴达, 方菱. 基于决策表的AUTOSAR操作系统一致性测试研究[J]. 计算机工程与科学, 2023, 45(04): 622-629.
[6]	李辉, 巨鹏锦, 计永兴. 多路系统Cache一致性验证中的错误追踪定位技术[J]. 计算机工程与科学, 2022, 44(07): 1171-1180.
[7]	沈佳杰, 卢修文, 向望, 赵泽宇, 王新, . 分布式存储系统读写一致性算法性能优化研究综述[J]. 计算机工程与科学, 2022, 44(04): 571-583.
[8]	崔克彬, 潘锋. 用于绝缘子故障检测的CycleGAN小样本库扩增方法研究[J]. 计算机工程与科学, 2022, 44(03): 509-515.
[9]	李力, 汪硕, 黄韬, 刘韵洁, . 数据中心网络四层负载均衡技术综述[J]. 计算机工程与科学, 2022, 44(01): 48-59.
[10]	李仁刚, 任智新, 黄广奎, 孙颉, 王峰, 张闯, . 面向数据库查询加速的异构体系结构设计与实现[J]. 计算机工程与科学, 2020, 42(12): 2169-2178.
[11]	张开琦, 刘晓燕, 王信, 吉春山, 严馨. 基于动态权重的一致性哈希微服务负载均衡优化[J]. 计算机工程与科学, 2020, 42(08): 1339-1344.
[12]	贾俊杰，陈慧，马慧芳，牟玉祥. 差分隐私的查询一致性约束研究[J]. 计算机工程与科学, 2020, 42(01): 71-79.
[13]	刘华1，杨春曦1，韩光松2，谢可心1. N状态二进制一致性算法设计及其优化[J]. 计算机工程与科学, 2019, 41(06): 1009-1015.
[14]	吴健虢，陈海燕，刘胜，邓让钰，陈俊杰. 多核Cache稀疏目录性能提升方法综述[J]. 计算机工程与科学, 2019, 41(03): 385-392.
[15]	袁申,魏杰林,李永明. 具有多值决策过程的广义可能性计算树逻辑模型检测[J]. 计算机工程与科学, 2019, 41(01): 88-97.