Model Checking Fuzzy Computation Tree Logic Based on Fuzzy Decision Processes with Cost
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 choi...
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2022-08-01
|
| Series: | Entropy |
| Subjects: | |
| Online Access: | https://www.mdpi.com/1099-4300/24/9/1183 |
| _version_ | 1797488705965916160 |
|---|---|
| author | Zhanyou Ma Zhaokai Li Weijun Li Yingnan Gao Xia Li |
| author_facet | Zhanyou Ma Zhaokai Li Weijun Li Yingnan Gao Xia Li |
| author_sort | Zhanyou Ma |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-03-10T00:06:08Z |
| format | Article |
| id | doaj.art-4bb411c609d34474ae46a130c6b4e4ae |
| institution | Directory Open Access Journal |
| issn | 1099-4300 |
| language | English |
| last_indexed | 2024-03-10T00:06:08Z |
| publishDate | 2022-08-01 |
| publisher | MDPI AG |
| record_format | Article |
| series | Entropy |
| spelling | doaj.art-4bb411c609d34474ae46a130c6b4e4ae2023-11-23T16:07:22ZengMDPI AGEntropy1099-43002022-08-01249118310.3390/e24091183Model Checking Fuzzy Computation Tree Logic Based on Fuzzy Decision Processes with CostZhanyou Ma0Zhaokai Li1Weijun Li2Yingnan Gao3Xia Li4School of Computer Science and Engineering, North Minzu University, Yinchuan 750000, ChinaSchool of Computer Science and Engineering, North Minzu University, Yinchuan 750000, ChinaSchool of Computer Science and Engineering, North Minzu University, Yinchuan 750000, ChinaSchool of Computer Science and Engineering, North Minzu University, Yinchuan 750000, ChinaSchool of Computer Science and Engineering, North Minzu University, Yinchuan 750000, ChinaIn 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.https://www.mdpi.com/1099-4300/24/9/1183fuzzy model checkingfuzzy decision processesfuzzy computation tree logiccost operator |
| spellingShingle | Zhanyou Ma Zhaokai Li Weijun Li Yingnan Gao Xia Li Model Checking Fuzzy Computation Tree Logic Based on Fuzzy Decision Processes with Cost Entropy fuzzy model checking fuzzy decision processes fuzzy computation tree logic cost operator |
| title | Model Checking Fuzzy Computation Tree Logic Based on Fuzzy Decision Processes with Cost |
| title_full | Model Checking Fuzzy Computation Tree Logic Based on Fuzzy Decision Processes with Cost |
| title_fullStr | Model Checking Fuzzy Computation Tree Logic Based on Fuzzy Decision Processes with Cost |
| title_full_unstemmed | Model Checking Fuzzy Computation Tree Logic Based on Fuzzy Decision Processes with Cost |
| title_short | Model Checking Fuzzy Computation Tree Logic Based on Fuzzy Decision Processes with Cost |
| title_sort | model checking fuzzy computation tree logic based on fuzzy decision processes with cost |
| topic | fuzzy model checking fuzzy decision processes fuzzy computation tree logic cost operator |
| url | https://www.mdpi.com/1099-4300/24/9/1183 |
| work_keys_str_mv | AT zhanyouma modelcheckingfuzzycomputationtreelogicbasedonfuzzydecisionprocesseswithcost AT zhaokaili modelcheckingfuzzycomputationtreelogicbasedonfuzzydecisionprocesseswithcost AT weijunli modelcheckingfuzzycomputationtreelogicbasedonfuzzydecisionprocesseswithcost AT yingnangao modelcheckingfuzzycomputationtreelogicbasedonfuzzydecisionprocesseswithcost AT xiali modelcheckingfuzzycomputationtreelogicbasedonfuzzydecisionprocesseswithcost |