计算机科学 ›› 2012, Vol. 39 ›› Issue (10): 258-263.
• 人工智能 • 上一篇 下一篇
邓辉，薛艳，李亚利，李永明
出版日期:
发布日期:
Online:
Published:
摘要： 提出了基于可能性测度的计算树逻辑CTL* 关键词: 可能的Kripke结构，可能性测度，可能性计算树逻辑PoCTL，可能性互模拟，商可能性Kripke结构 Abstract: 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. Key words: Possibilistic Kripke structure, Possibility measure, Possibilistic computation tree logic PoCTL * , Possibilistic bisimulation, Quotient possibilistic Kripke structure 引用本文 邓辉，薛艳，李亚利，李永明. 基于可能性测度的计算树逻辑CTL*与可能性互模拟[J]. 计算机科学, 2012, 39(10): 258-263. https://doi.org/ 使用本文 0 / / 推荐 导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks 链接本文: https://www.jsjkx.com/CN/ https://www.jsjkx.com/CN/Y2012/V39/I10/258
关键词: 可能的Kripke结构，可能性测度，可能性计算树逻辑PoCTL，可能性互模拟，商可能性Kripke结构
Abstract: 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.
Key words: Possibilistic Kripke structure, Possibility measure, Possibilistic computation tree logic PoCTL * , Possibilistic bisimulation, Quotient possibilistic Kripke structure
邓辉，薛艳，李亚利，李永明. 基于可能性测度的计算树逻辑CTL*与可能性互模拟[J]. 计算机科学, 2012, 39(10): 258-263. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2012/V39/I10/258
Cited
首页