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

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