摘要
针对由数据表述产生的不确定性模糊系统的模型检测问题,给出模糊计算树逻辑模型检测算法。首先,引入模糊决策过程作为此类系统的模型,其最大特点是在迁移过程中对动作的不确定性选择和状态表述的模糊性。然后,在模糊决策过程基础上,给出模糊计算树逻辑的语法和语义。最后,给出模糊计算树逻辑模型检测算法,该算法是将模糊计算树逻辑模型检测问题转换为模糊矩阵的合成运算,其优势是时间复杂度低、计算过程较为简洁。
Aiming at the model checking problem of uncertain fuzzy systems generated by data representation,a model checking algorithm of fuzzy computational tree logic is given.First of all,the fuzzy decision-making process is introduced as the model of this type of system.Its biggest feature is the uncertain choice of actions and the ambiguity of state expression during the migration process.Then,based on the fuzzy decision-making process,the grammar and semantics of fuzzy computation tree logic are given.Finally,a model detection algorithm of fuzzy computational tree logic is given.The algorithm is a synthetic operation that converts the model detection problem of fuzzy computational tree logic into a fuzzy matrix.Its advantages are low time complexity and a relatively simple calculation process.
作者
李召恺
马占有
李健祥
郭昊
LI Zhao-kai;MA Zhan-you;LI Jian-xiang;GUO Hao(College of Computer Science and Engineering,North Minzu University,Yinchuan 750021,China)
出处
《计算机工程与科学》
CSCD
北大核心
2022年第2期266-275,共10页
Computer Engineering & Science
基金
国家自然科学基金(61962001)
宁夏自然科学基金(2018AAC03127)
北方民族大学引进人员科研项目(2020KYQD14)。
关键词
模型检测
不确定性系统
模糊决策过程
模糊计算树逻辑
模糊矩阵
model checking
nondeterministic system
fuzzy decision process
fuzzy computation tree logic
fuzzy matrix
