Bisimulations for fuzzy-transition systems
WebApr 1, 2024 · [23] Nguyen L., Computing crisp simulations for fuzzy labeled transition systems, J. Intell. Fuzzy Syst. 42 (2024) 3067 – 3078, 10.3233/JIFS-210792. Google Scholar Digital Library [24] Nguyen L., Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices, Fuzzy Sets Syst. 431 (2024) 70 – 93, … WebFuzzy structures such as fuzzy automata, fuzzy transition systems, weighted social net-works and fuzzy interpretations in fuzzy description logics have been widely studied. For such structures, bisimulation is a natural notion for characterizing indiscernibility between states or individuals. There are two kinds of bisimulations for fuzzy ...
Bisimulations for fuzzy-transition systems
Did you know?
WebOct 27, 2024 · Fuzzy structures such as fuzzy automata, fuzzy transition systems, weighted social networks and fuzzy interpretations in fuzzy description logics have been widely studied. For such structures, bisimulation is a natural notion for characterizing indiscernibility between states or individuals. There are two kinds of bisimulations for … WebFeb 1, 2024 · There are two kinds of bisimulation, namely crisp and fuzzy, between fuzzy structures such as fuzzy automata, fuzzy labeled transition systems, fuzzy Kripke …
WebDec 1, 2012 · A robust notion of behavioral distance is introduced to measure the behavioral similarity of nondeterministic fuzzy-transition systems which are a generalization of fuzzy automata and it is shown that two system combinators-parallel composition and product-are nonexpansive with respect to this behavioral distance, which makes compositional … WebDec 10, 2010 · In this paper, we consider bisimulation for general fuzzy systems which may be infinite-state or infinite-event, by modeling them as fuzzy transition systems. To …
WebBisimulations for Fuzzy-Transition Systems. Bisimulations for Fuzzy-Transition Systems. Yongzhi Cao Etienne Kerre. 2000, IEEE Transactions on Fuzzy Systems. See Full PDF Download PDF. See Full PDF … WebRecently, bisimulations have been developed in fuzzy systems as well. For example, Cao et al. [2,4] considered bisimula-tions for. fuzzy transition systems (FTS) where both fuzzy transitions and nondeterministic transitions co-exist. This model is further studied under fuzzy automata by Cao et al. [3]and Pan et al. [15]. Ciri
WebApr 1, 2024 · [23] Nguyen L., Computing crisp simulations for fuzzy labeled transition systems, J. Intell. Fuzzy Syst. 42 (2024) 3067 – 3078, 10.3233/JIFS-210792. Google …
WebJun 1, 2011 · Recently, a finer behavioral measure, i.e., bisimulation, has been introduced to fuzzy-finite automata. However, the results obtained are applicable only to finite-state … dutch oven corned beef brisketWebThere are two kinds of bisimulation, namely crisp and fuzzy, between fuzzy structures such as fuzzy automata, fuzzy labeled transition systems, fuzzy Kripke models and fuzzy interpretations in description logics. Fuzzy bisimulations between fuzzy automata over a complete residuated lattice have been introduced by Ćirić et al. in 2012. crypt解密http://arxiv-export3.library.cornell.edu/pdf/2010.15671v3 crypviewWebJun 1, 2011 · Bisimulations for Fuzzy-Transition Systems Computing methodologies Artificial intelligence Knowledge representation and reasoning Probabilistic reasoning Vagueness and fuzzy logic Mathematics of computing Discrete mathematics Theory of computation Formal languages and automata theory Models of computation Comments crypvpnWebMar 1, 2024 · In order to study the (bi)simulation semantics of labeled fuzzy transition systems in the residuated lattice-valued logic setting, we introduce an extension of labeled approximation spaces, called the quantitative fuzzy approximation spaces (QFASs), whose labels are equipped with a residuated lattice-valued equality relation. crypwayWebFor fuzzy structures like fuzzy automata and fuzzy labeled transition systems (FLTSs), researchers have studied both crisp simulations [7]–[11] and fuzzy simulations [8], [12]–[15]. Crisp/fuzzy bisimulations have also been studied for fuzzy structures by a considerable number of researchers [7], [9], [12], [14], [16]–[26]. dutch oven corned beef and cabbage in ovenWebJul 15, 2024 · The use of specific fuzzy similarity measures depends on concrete fuzzy sets. Bisimulations are binary relations, which are generally considered as one of the most important contributions in many areas of computer sciences to not only model equivalence between discrete event systems such as Petri nets, transition systems, and automata … crypwars