基于模糊测度的模糊分支时态逻辑模型检测

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

作者：刘子源, 马占有, 李霞, 高滢囡, 何娜娜, 黄瑞祺

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

摘要：针对具有模糊性和不确定性的复杂系统的验证问题，提出一种基于模糊测度的模糊分支时态逻辑模型检测算法。首先，在模糊决策过程模型的基础上引入模糊分支时态逻辑的语法和语义。然后，给出模糊分支时态逻辑模型检测算法，该算法将模型检测问题转化为矩阵运算，具有计算方式简洁、复杂度较低的优点。最后，通过医疗专家系统的实例说明了该模型检测算法的有效性。

关键词：模糊决策过程,模糊测度,模糊分支时态逻辑,模型检测,矩阵运算,

基金资助：国家自然科学基金(61962001);宁夏自然科学基金(AAC03300)