广义可能性互模拟及其逻辑刻画
【出 处】:
【作 者】:
张兴兴
;
邓楠轶
;
马占有
;
李永明
【摘 要】
首先,给出了基于广义可能性测度的计算树逻辑的扩展GPoCTL*、计算树逻辑的约简GPoCTL^-以及带回报的计算树逻辑GPoRCTL的语构和语义。在经典互模拟和广义可能性测度的基础上讨论了广义可能性互模拟及其相关性质。最后证明了GPoCTL、GPoCTL*和GPoCTL^-公式与互模拟状态之间的等价关系。
相关热词搜索: 广义可能性测度 可能性互模拟 计算树逻辑 generalized possibility measure possibilistic bisimulation computation tree logic