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

Zhanyou Ma, Zhaokai Li, Weijun Li, Yingnan Gao, Xia Li

Abstract read

In one paragraph

Article in Entropy (Basel, Switzerland), 2022. The graph could read no effect estimate from its abstract, so it casts no vote on the map. Not yet cited in PubMed.

0numbers the graph read from it

0cells of the map it votes in

0citing papers in PubMed

–field-weighted citation impact

1 · What the graph read from it

What it found

Each row is one number read from the abstract, on the scale the paper reported it, with its interval. Left of the dashed line favours the treatment, right favours the comparator. Under each row is the sentence it came from. New to these charts? A ten-minute tutorial.

The abstract states no effect estimate the extractor could read, or names no intervention and outcome on the map, so this paper lights no cell and moves no belief. It is still indexed, cited and linked below.

2 · The registry

The trial behind it

Trials whose registry record cites this paper, or whose number appears in the abstract. A trial that started after this paper was published is citing it as background, not reporting it.

Neither the registry nor the abstract names a trial number. If this is a trial report, that itself is worth knowing.

3 · Its place in the literature

Who cites it

0 citing papers in PubMed.

No citing paper in PubMed yet.

4 · The record

Corrections and comments

PubMed lists nothing against this paper. Absence here is not a guarantee, only a check that was made.

5 · Who and what money

Authors and funding

5 authors.

Zhanyou MaSchool of Computer Science and Engineering, North Minzu University, Yinchuan 750000, China.

Zhaokai LiSchool of Computer Science and Engineering, North Minzu University, Yinchuan 750000, China.ORCID 0000-0002-5350-956X

Weijun LiSchool of Computer Science and Engineering, North Minzu University, Yinchuan 750000, China.

Yingnan GaoSchool of Computer Science and Engineering, North Minzu University, Yinchuan 750000, China.

Xia LiSchool of Computer Science and Engineering, North Minzu University, Yinchuan 750000, China.

Funding

Graduate Innovation Project of North Minzu University YCX22184Graduate Innovation Project of North Minzu University YCX 22196National Natural Science Foundation of China 61962001Provincial Key R&D of Ningxia Science and Technology Department 2019BEB04032Rrovincial Natural Science Foundation of Ningxia 2021A1017Scientific Research Project of Introducing Personnel from North Minzu University 2020KYQD14

6 · The paper itself

Abstract

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.

Indexed as

cost operatorfuzzy computation tree logicfuzzy decision processesfuzzy model checking

Identifiers

PMID36141069

DOI10.3390/e24091183

PMCPMC9498157

What OpenQuestion holds

Textmetadata

LicenceCC BY

Read underepoch 390

Registered trials

None linked

Read under generation 80e0d062 · epoch 390. Bibliography from PubMed, PubMed Central and OpenAlex; grants from NIH RePORTER; trial links from ClinicalTrials.gov; estimates, votes and beliefs from the OpenQuestion graph.