Open AccessNondeterministic Fuzzy Simulation and Bisimulation
Author(s) -
Deng Hui,
Li Zhi
Publication year - 2020
Publication title -
chinese journal of electronics
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.267
H-Index - 25
eISSN - 2075-5597
pISSN - 1022-4653
DOI - 10.1049/cje.2020.01.007
Subject(s) - bisimulation , nondeterministic algorithm , kripke structure , mathematical proof , fuzzy logic , computer science , algorithm , theoretical computer science , mathematics , algebra over a field , discrete mathematics , artificial intelligence , pure mathematics , model checking , geometry
As the abstraction and equivalent technologies, simulation and bisimulation have been applied to the simplifications of some classical and uncertain models structures. The studies of the more generalized simulation and bisimulation technologies have not proceeded yet. With this problem in mind, we introduce the concepts, lemmas, theorems of nondeterministic fuzzy simulation and bisimulation, as well as the relevant proofs. According to the definitions of nondeterministic fuzzy simulation and bisimulation, we propose nondeterministic fuzzy quotients and a series of quotienting algorithms to generate the minimization of nondeterministic fuzzy simulation and bisimulation. By comparison with previous quotienting algorithms, we show that our quotienting algorithms are more generalized. This kind of quotienting algorithms not only suit for Nondeterministic fuzzy Kripke structure(NFKS), but also Fuzzy Kripke structure(FKS) and classical Kripke structure.