论文部分内容阅读
广义可能性计算树逻辑（generalized possibilistic computation tree logic，GPoCTL）在不确定性模型检测中扮演着非常重要的角色，但其表达能力还尚未研究全面。为此，讨论了GPoCTL与计算树逻辑（computation tree logic，CTL）表达能力之间的关系。首先定义了区间广义可能性计算树逻辑（interval generalized possibilistic computation tree logic，IGPoCTL），并给出了IGPoCTL公