Fuzzy computation tree logic* model checking based on fuzzy measures
A fuzzy computation tree logic* model checking algorithm based on fuzzy measures is pro-posed for the verification problem of complex systems with fuzziness and uncertainty.Firstly,the syn-tax 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.
fuzzy decision processfuzzy measurefuzzy computation tree logic*model checkingmatrix operation
国家科技期刊平台
NSTL
万方数据
