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

Computation Tree Logic CTL~＊ Based on Possibility Measure and Possibilistic Bisimulation

作　　者：邓辉[1] 薛艳[1] 李亚利[1] 李永明[1] 

机构地区：[1]陕西师范大学计算机科学学院,西安710062

出　　处：《计算机科学》2012年第10期258-263,共6页Computer Science

基　　金：国家自然科学基金(60873119);中央高校基本科研费(GK201001003)资助

摘　　要：提出了基于可能性测度的计算树逻辑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.

关 键 词：可能的Kripke结构 可能性测度 可能性计算树逻辑PoCTL＊ 可能性互模拟 商可能性Kripke结构 

分 类 号：TP301.2[自动化与计算机技术—计算机系统结构]