Ma Zhanyou, Li Zhaokai, Li Weijun, Gao Yingnan, Li Xia
School of Computer Science and Engineering, North Minzu University, Yinchuan 750000, China.
Entropy (Basel). 2022 Aug 24;24(9):1183. doi: 10.3390/e24091183.
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.
为了解决带成本算子的模糊计算树逻辑模型检验中的问题，我们提出一种带成本的模糊决策过程计算树逻辑模型检验方法。首先，我们引入一种带成本的模糊决策过程模型，它不仅可以描述系统的不确定选择和转移可能性，还能定量描述系统的成本。其次，在带成本的模糊决策过程模型下，我们给出带成本算子的模糊计算树逻辑的语法和语义。第三，我们研究带成本的模糊决策过程的计算树逻辑模型检验问题，并给出其矩阵计算方法和算法。我们用医学专家系统的例子来说明该方法和模型检验算法。
