摘要
提出了基于可能性测度的计算树逻辑CTL*(PoCTL*)的概念。给出了在可能的Kripke结构中可能性互模拟的定义并对其性质进行了详细的探讨。对商可能性Kripke结构及其相关构造进行了特别的研究。
The notion of computation tree logic CTL＊ based on possibility measure（PoCTL＊ in short） was proposed in this paper.Then the possibilistic bisimulation in possibilistic Kripke structure was defined and its properties were discussed.Finally,the quotient possibilistic Kripke structure and the related construction were studied particularly.
出处
《计算机科学》
CSCD
北大核心
2012年第10期258-263,共6页
Computer Science
基金
国家自然科学基金(60873119)
中央高校基本科研费(GK201001003)资助
