| 广义可能性互模拟及其逻辑刻画 |
| |
| 引用本文： | 张兴兴,邓楠轶,马占有,李永明.广义可能性互模拟及其逻辑刻画[J].计算机工程与科学,2015,37(5):951-957. |
| |
| 作者姓名： | 张兴兴 邓楠轶 马占有 李永明 |
| |
| 作者单位： | 陕西师范大学计算机科学学院,陕西西安,710062 |
| |
| 基金项目： | 国家自然科学基金资助项目(11271237,61228305)；高等学校博士学科点专项基金资助项目(20130202120001) |
| |
| 摘 要： | 首先,给出了基于广义可能性测度的计算树逻辑的扩展GPoCTL*、计算树逻辑的约简GPoCTL-以及带回报的计算树逻辑GPoRCTL的语构和语义。在经典互模拟和广义可能性测度的基础上讨论了广义可能性互模拟及其相关性质。最后证明了GPoCTL、GPoCTL*和GPoCTL-公式与互模拟状态之间的等价关系。
|
| 关 键 词： | 广义可能性测度 可能性互模拟 计算树逻辑 |
| 收稿时间： | 2014-08-12 |
| 修稿时间： | 2014-10-16 |
Possibilistic bisimulation based on generalized
possibility measures and its logical characterizations |
| |
| ZHANG Xing-xing
,
DENG Nan-yi
,
MA Zhan-you
,
LI Yong-ming.Possibilistic bisimulation based on generalized
possibility measures and its logical characterizations[J].Computer Engineering & Science,2015,37(5):951-957. |
| |
| Authors: | ZHANG Xing-xing DENG Nan-yi MA Zhan-you LI Yong-ming |
| |
| Affiliation: | (College of Computer Science,Shaanxi Normal University,Xi’an 710062,China) |
| |
| 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. |
| |
| Keywords: | generalized possibility measure possibilistic bisimulation computation tree logic |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与科学》浏览原始摘要信息 |
|
点击此处可从《计算机工程与科学》下载全文 |
|
