Your browser doesn't support javascript.
loading
Model Checking Fuzzy Computation Tree Logic Based on Fuzzy Decision Processes with Cost.
Ma, Zhanyou; Li, Zhaokai; Li, Weijun; Gao, Yingnan; Li, Xia.
Afiliación
  • Ma Z; School of Computer Science and Engineering, North Minzu University, Yinchuan 750000, China.
  • Li Z; School of Computer Science and Engineering, North Minzu University, Yinchuan 750000, China.
  • Li W; School of Computer Science and Engineering, North Minzu University, Yinchuan 750000, China.
  • Gao Y; School of Computer Science and Engineering, North Minzu University, Yinchuan 750000, China.
  • Li X; School of Computer Science and Engineering, North Minzu University, Yinchuan 750000, China.
Entropy (Basel) ; 24(9)2022 Aug 24.
Article en En | MEDLINE | ID: mdl-36141069
In order to solve the problems in fuzzy computation tree logic model checking with cost operator, we propose a fuzzy decision process computation tree logic model checking method with cost. Firstly, we introduce a fuzzy decision process model with cost, which can not only describe the uncertain choice and transition possibility of systems, but also quantitatively describe the cost of the systems. Secondly, under the model of the fuzzy decision process with cost, we give the syntax and semantics of the fuzzy computation tree logic with cost operators. Thirdly, we study the problem of computation tree logic model checking for fuzzy decision process with cost, and give its matrix calculation method and algorithm. We use the example of medical expert systems to illustrate the method and model checking algorithm.
Palabras clave
Texto completo
Añadir a Mi BVS
Imprimir
XML
PubMed Links
Buscar en Google

Texto completo: 1 Colección: 01-internacional Base de datos: MEDLINE Tipo de estudio: Health_economic_evaluation / Prognostic_studies Idioma: En Revista: Entropy (Basel) Año: 2022 Tipo del documento: Article País de afiliación: China Pais de publicación: Suiza
Texto completo
Añadir a Mi BVS
Imprimir
XML
PubMed Links
Buscar en Google

Texto completo: 1 Colección: 01-internacional Base de datos: MEDLINE Tipo de estudio: Health_economic_evaluation / Prognostic_studies Idioma: En Revista: Entropy (Basel) Año: 2022 Tipo del documento: Article País de afiliación: China Pais de publicación: Suiza