广义可能性互模拟及其逻辑刻画

J4 ›› 2015, Vol. 37 ›› Issue (05): 951-957.

广义可能性互模拟及其逻辑刻画

张兴兴,邓楠轶,马占有,李永明

(陕西师范大学计算机科学学院,陕西西安 710062)

收稿日期:2014-08-12 修回日期:2014-10-16 出版日期:2015-05-25 发布日期:2015-05-25
基金资助:
国家自然科学基金资助项目(11271237,61228305)；高等学校博士学科点专项基金资助项目(20130202120001)

Possibilistic bisimulation based on generalized
possibility measures and its logical characterizations

ZHANG Xingxing,DENG Nanyi,MA Zhanyou,LI Yongming

(College of Computer Science,Shaanxi Normal University,Xi’an 710062,China)

Received:2014-08-12 Revised:2014-10-16 Online:2015-05-25 Published:2015-05-25

摘要/Abstract

摘要：

首先，给出了基于广义可能性测度的计算树逻辑的扩展GPoCTL*、计算树逻辑的约简GPoCTL－以及带回报的计算树逻辑GPoRCTL的语构和语义。在经典互模拟和广义可能性测度的基础上讨论了广义可能性互模拟及其相关性质。最后证明了GPoCTL、GPoCTL*和GPoCTL－公式与互模拟状态之间的等价关系。

关键词: 广义可能性测度；可能性互模拟；计算树逻辑

Abstract:

Firstly, we define the syntaxe and semantics of the Generalized Possibilistic Computation Tree Logic’s expansion(GPoCTL*), the Generalized Possibilistic Computation Tree Logic’s reduction (GPoCTL－) and the Generalized Possibilistic Reward Computation Tree Logic(GPoRCTL) in terms of the generalized possibility measures. Based on classical bisimulation and generalized possibility measures, we then discuss the possibilistic bisimulation and their properties. Finally, the equivalence relations among GPoCTL,GPoCTL*,GPoCTL－ and bisimiliar states are proved.

Key words: generalized possibility measure;possibilistic bisimulation;computation tree logic

张兴兴,邓楠轶,马占有,李永明. 广义可能性互模拟及其逻辑刻画[J]. J4, 2015, 37(05): 951-957.

ZHANG Xingxing,DENG Nanyi,MA Zhanyou,LI Yongming. Possibilistic bisimulation based on generalized
possibility measures and its logical characterizations [J]. J4, 2015, 37(05): 951-957.