基于可能性测度的计算树逻辑
【出 处】:《
计算机工程与科学
》
CSCD
2011年第33卷第9期 70-75页,共6页
【作 者】:
薛艳
[1] ;
雷红轩
[2] ;
李永明
[1]
【摘 要】
首先,提出了可能的Kripke结构的定义,建立了可能的Kripke结构的可能性测度空间,并分析了可能的Kripke结构的一系列性质,即任一路径转移的可能性可由其初始状态的可能性分布与各转移的可能性取下确界而得到;依据可能的Kripke结构所定义的可能性测度具有其合理性等等。其次,给出了可能性计算树逻辑(PoCTL)的概念,讨论了两个PoCTL状态公式以及PoCTI.与经典计算树逻辑(CTL)公式的等价性。最后,证明了PoCTI.公式有与CTL*公式中“一致性”相对应的公式。
相关热词搜索: