Model Checking Fuzzy Computation Tree Logic Based on Fuzzy Decision Processes with Cost

Autor:	Zhanyou Ma, Zhaokai Li, Weijun Li, Yingnan Gao, Xia Li
Jazyk:	angličtina
Rok vydání:	2022
Předmět:	fuzzy model checking fuzzy decision processes fuzzy computation tree logic cost operator Science Astrophysics QB460-466 Physics QC1-999
Zdroj:	Entropy, Vol 24, Iss 9, p 1183 (2022)
Druh dokumentu:	article
ISSN:	1099-4300
DOI:	10.3390/e24091183
Popis:	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.
Databáze:	Directory of Open Access Journals
Externí odkaz:	https://doaj.org/article/4bb411c609d34474ae46a130c6b4e4ae Zobrazit plný text záznamu View record in DOAJ Plný text ve formátu PDF Plný text ve formátu HTML
Nepřihlášeným uživatelům se plný text nezobrazuje	K zobrazení výsledku je třeba se přihlásit.