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

Fuzzy computation tree logic*model checking based on fuzzy measures

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

A fuzzy computation tree logic*model checking algorithm based on fuzzy measures is proposed for the verification problem of complex systems with fuzziness and uncertainty.Firstly,the syntax and semantics of fuzzy computation tree logic*are introduced based on fuzzy decision process model.Secondly,a fuzzy computation tree logic*model checking algorithm is proposed,which transforms the model checking problem into matrix operation and has the advantages of simplicity of computation and lower complexity.Finally,a medical expert system example is given to illustrate the effectiveness of the model checking algorithm.