Bisimulations for fuzzy-transition systems
WebBisimulation is a well-known behavioral equivalence for discrete event systems and has been developed in fuzzy systems quickly. In this paper, we adopt an approach of the … WebFeb 22, 2011 · Bisimulations for Fuzzy-Transition Systems. Abstract: There has been a long history of using fuzzy-language equivalence to compare the behavior of fuzzy …
Bisimulations for fuzzy-transition systems
Did you know?
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 ... http://arxiv-export3.library.cornell.edu/pdf/2010.15671v3
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 … WebAug 1, 2024 · There are two kinds of bisimulations and simulations, namely, crisp and fuzzy, for fuzzy graph-based structures such as FLTSs, fuzzy automata, fuzzy/weighted …
WebSimulations and bisimulations are known to be useful for abstracting and comparing formal systems, and they have recently been introduced into fuzzy systems. In this study, we … Webspecial type of fuzzy modal logic – fuzzy description logics (cf. [19, 20, 23, 32, 38–43, 61]). Note also that the logical characterizations of the Hennessy-Milner type for bisimulations between fuzzy social networks and fuzzy labelled transition systems have been provided in [21, 22, 62, 63].
WebAug 1, 2024 · There are two kinds of bisimulations and simulations, namely, crispand fuzzy, for fuzzy graph-based structures such as FLTSs, fuzzy automata, fuzzy/weighted social networks, fuzzy Kripke models and fuzzy interpretations in description logic. They have been studied by a considerable number of researchers.
WebDec 9, 2010 · In this paper, we consider bisimulation for general fuzzy systems which may be infinite-state or infinite-event, by modeling them … imfl realplayerWebAug 1, 2024 · Bisimulation is a well-known behavioral equivalence for discrete event systems, and has recently been adopted and developed in fuzzy systems. In this paper, … list of pen names wikipediaWebSep 6, 2024 · share We formulate and prove logical characterizations of crisp simulations and crisp directed simulations between fuzzy labeled transition systems with respect to fuzzy modal logics that use a general t-norm-based semantics. The considered logics are fragments of the fuzzy propositional dynamic logic with the Baaz projection operator. list of penn state quarterbacksWebJun 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 list of penn state seasons wikiWebbisimulation for general fuzzy systems which may be infinite-state or infinite-event. To this end, we model fuzzy systems as fuzzy transition systems (FTSs) and define … im florida swim startWebRecently, 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 list of peninsulasWebAug 1, 2024 · We carry out a systematic investigation on this new notion of bisimulation. In particular, a fixed point characterization of the group-by-group fuzzy bisimilarity is given, based on which, we provide a polynomial-time algorithm to check whether two states in a fuzzy transition system are group-by-group fuzzy bisimilar. im flu injection