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

Abstract: 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.

Key words: fuzzy decision process, fuzzy measure, fuzzy computation tree logic*, model checking, matrix operation