WebSep 6, 2024 · 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. WebThe behavioural distance is a more robust way of formalising behavioural similarity between states than bisimulations. The smaller the distance, the more alike the states are. It is helpful for quantitative verifications of concurrent systems. The main contribution of this paper is an effective procedure for computing behavioural distance introduced by Cao et …
Did you know?
WebJun 1, 2011 · 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 (FTSs). To help understand and check bisimulation, we characterize it in three ways by enumerating whole transitions, comparing individual transitions, and using a monotonic function. WebFor 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].
WebThis article defines crisp bisimulations for a large class of FDLs with a rich set of well-known concept and role constructors, including qualified/unqualified number restrictions, nominals and the role constructor that correspond to the program constructors of propositional dynamic logic. Fuzzy description logics (FDLs) are useful for dealing with … 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 …
http://arxiv-export3.library.cornell.edu/pdf/2010.15671v3 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 · We carry out a systematic investigation on this new notion of bisimulation. In particular, a fixed ...
WebFeb 22, 2011 · There has been a long history of using fuzzy-language equivalence to compare the behavior of fuzzy systems; however, the comparison at this level is too … onsight connect アプリ 使い方WebE-mail: [email protected] . Abstract: The problem of checking whether a state in a finite fuzzy labeled transition system (FLTS) crisply simulates another is one of the … on sight concrete deliveryWebRecently, 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 ioc live chartWebMar 1, 2024 · Labeled transition systems or labeled directed graphs are the main structures on which bisimulations have been studied. Recently, bisimulation techniques have been introduced to fuzzy automata or, more generally, fuzzy systems (fuzzy directed graphs) [7], [8], [13], [41], [55], [56]. onsight climbing gym ratesWebSep 6, 2024 · Bisimulations have been widely used in many areas of computer science to model equivalence between various systems, and to reduce the number of states of these systems, whereas uniform fuzzy ... on sight by kanye westWebAug 1, 2024 · They have been studied by a considerable number of researchers. Related works that introduce bisimulations and simulations for fuzzy graph-based structures or characterize them in logic are discussed below. In [4] Cao et al. introduced and studied crisp bisimulations for fuzzy transition systems (FTSs). They gave results on composition ... onsight climbing ratesWebJul 18, 2024 · Fuzzy graphs are used as fuzzy labeled transition systems (FLTSs), fuzzy automata, fuzzy Kripke models and fuzzy interpretations in fuzzy description logics. For example, in the terminology of FLTSs, vertices, edges, edge labels and vertex labels represent states, transitions, actions and atomic properties of states, respectively. iocl introduction