Abstract:Fuzzy graph-based structures such as fuzzy automata, fuzzy labeled transition systems, fuzzy Kripke models, fuzzy social networks and fuzzy interpretations in fuzzy description logics are useful in various applications. Given two states, two actors or two individuals $x$ and $x'$ in such structures $G$ and $G'$, respectively, the similarity degree between them can be defined to be $Z(x,x')$, where $Z$ is the greatest fuzzy bisimulation between $G$ and $G'$ w.r.t. some t-norm-based fuzzy logic. Such a similarity measure has the Hennessy-Milner property of fuzzy bisimulations as a strong logical foundation. A fuzzy bisimulation between a fuzzy structure $G$ and itself is called a fuzzy auto-bisimulation of $G$. The greatest fuzzy auto-bisimulation of an image-finite fuzzy graph-based structure is a fuzzy equivalence relation. It is useful for classification and clustering. In this paper, we design an efficient algorithm with the complexity $O((m\log{l} + n)\log{n})$ for computing the fuzzy partition corresponding to the greatest fuzzy auto-bisimulation of a finite fuzzy labeled graph $G$ under the Gödel semantics, where $n$, $m$ and $l$ are the number of vertices, the number of non-zero edges and the number of different fuzzy degrees of edges of $G$, respectively. Our notion of fuzzy partition is novel, defined only for finite sets with respect to the Gödel t-norm, with the aim to facilitate the computation of the greatest fuzzy auto-bisimulation. By using that algorithm, we also provide an algorithm with the complexity $O(m\cdot\log{l}\cdot\log{n} + n^2)$ for computing the greatest fuzzy bisimulation between two finite fuzzy labeled graphs under the Gödel semantics. This latter algorithm is better (has a lower complexity order) than the previously known algorithms for the considered problem. Our algorithms can be restated for the other mentioned fuzzy graph-based structures.

Computing Behavioural Distance for Fuzzy Transition Systems

A Behavioral Distance for Fuzzy-Transition Systems.

Polynomial-time Algorithms for Computing Distances of Fuzzy Transition Systems.

A fuzzy grouping mechanism for distributed interactive simulation.

Bisimulations for Fuzzy Transition Systems Revisited

Bisimulations for Fuzzy-Transition Systems

Efficient algorithms for computing bisimulations for nondeterministic fuzzy transition systems

Characteristic Logics for Behavioural Hemimetrics via Fuzzy Lax Extensions

Modeling lane changing behavior using fuzzy logic

A Novel Comparative Linguistic Distance Measure Based on Hesitant Fuzzy Linguistic Term Sets and Its Application in Group Decision-Making

Computing the Fuzzy Partition Corresponding to the Greatest Fuzzy Auto-Bisimulation of a Fuzzy Graph-Based Structure

Analysing Fuzzy Sets Through Combining Measures of Similarity and Distance

Depth-Bounded Fuzzy Simulations and Bisimulations between Fuzzy Automata

On Behavioral Metric for Probabilistic Systems: Definition and Approximation Algorithm

Group decision on rationalizing disease analysis using novel distance measure on Pythagorean fuzziness

Some novel distance and similarity measures for probabilistic dual hesitant fuzzy sets and their applications to MAGDM

New distance measure for Fermatean fuzzy sets and its application

On Metrics for Probabilistic Systems: Definitions and Algorithms

A Dynamic Distance Measure of Picture Fuzzy Sets and Its Application

A Novel Clark Distance-Based Decision-Making Algorithm on Intuitionistic Fuzzy Sets

Probabilistic Hesitant Fuzzy MEREC-TODIM Decision-Making Based on Improved Distance Measures