基于模糊决策过程的模糊计算树逻辑模型检测

来源：计算机工程与科学杂志2022年第2期北京时间：

作者：李召恺, 马占有, 李健祥, 郭昊

单位：北方民族大学计算机科学与工程学院，宁夏 银川 750021

摘要：针对由数据表述产生的不确定性模糊系统的模型检测问题，给出模糊计算树逻辑模型检测算法。首先，引入模糊决策过程作为此类系统的模型，其最大特点是在迁移过程中对动作的不确定性选择和状态表述的模糊性。然后，在模糊决策过程基础上，给出模糊计算树逻辑的语法和语义。最后，给出模糊计算树逻辑模型检测算法，该算法是将模糊计算树逻辑模型检测问题转换为模糊矩阵的合成运算，其优势是时间复杂度低、计算过程较为简洁。

关键词：模型检测,不确定性系统,模糊决策过程,模糊计算树逻辑,模糊矩阵,

基金资助：国家自然科学基金(61962001)；宁夏自然科学基金(2018AAC03127)；北方民族大学引进人员科研项目 (2020KYQD14)