直觉模糊测度的计算树逻辑

摘要：

建立了直觉模糊Kripke结构(intuitionistic fuzzy Kripke structure,IFKS)模型,提出了基于直觉模糊Kripke结构的直觉模糊测度空间理论,阐述了IFKS的一系列性质.证明了任一路径转移的直觉模糊可达度(intuitionistic fuzzy probability,IFP)为初始状态的直觉模糊测度与各转移的IFP所取下确界,任一状态出发的所有路径上路径转移的IFP为所有路径可达度的上确界.给出了路径转移矩阵P及其传递闭包P的概念,给出了通过计算路径转移矩阵传递闭包,计算路径可达度的算法,并分析了算法的复杂度.提出了直觉模糊计算树逻辑(intuitionistic fuzzy computation tree logic,IFPCTL)理论,讨论了一组IFPCTL、可能测度计算树逻辑(possibilistic computation tree logic,PoCTL)和经典计算树逻辑(computation tree logic,CTL)公式的等价性.最后给出了一组等价的IFPCTL和PoCTL公式以及一组不等价的IFPCTL和CTL公式.

关键词：直觉模糊Kripke结构、直觉模糊测度、直觉模糊计算树逻辑、模型检测

所属期刊栏目：11

分类号：TP301.2(计算技术、计算机技术)

资助基金：The National Natural Science Foundation of China under Grant No. 61228305;the Special Research Founda-tion of Department of Education of Shaanxi Province under Grant No. 2015JK0605;the Science Foundation of Shangluo University under Grant No. 15SKY001

在线出版日期：2017-09-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：1523-1530