Abstract:Fuzzy transition systems offer a robust framework for modeling and analyzing systems with inherent uncertainties and imprecision, which are prevalent in real-world scenarios. As their extension, nondeterministic fuzzy transition systems (NFTSs) have been studied in a considerable number of works. Wu et al. (2018) provided an algorithm for computing the greatest crisp bisimulation of a finite NFTS $\mathcal{S} = \langle S, A, \delta \rangle$, with a time complexity of order $O(|S|^4 \cdot |\delta|^2)$ under the assumption that $|\delta| \geq |S|$. Qiao {\em et al.} (2023) provided an algorithm for computing the greatest fuzzy bisimulation of a finite NFTS $\mathcal{S}$ under the Gödel semantics, with a time complexity of order $O(|S|^4 \cdot |\delta|^2 \cdot l)$ under the assumption that $|\delta| \geq |S|$, where $l$ is the number of fuzzy values used in $\mathcal{S}$ plus 1. In this work, we provide efficient algorithms for computing the partition corresponding to the greatest crisp bisimulation of a finite NFTS $\mathcal{S}$, as well as the compact fuzzy partition corresponding to the greatest fuzzy bisimulation of $\mathcal{S}$ under the Gödel semantics. Their time complexities are of the order $O((size(\delta) \log{l} + |S|) \log{(|S| + |\delta|)})$, where $l$ is the number of fuzzy values used in $\mathcal{S}$ plus 2. When $|\delta| \geq |S|$, this order is within $O(|S| \cdot |\delta| \cdot \log^2{|\delta|})$. The reduction of time complexity from $O(|S|^4 \cdot |\delta|^2)$ and $O(|S|^4 \cdot |\delta|^2 \cdot l)$ to $O(|S| \cdot |\delta| \cdot \log^2{|\delta|})$ is a significant contribution of this work. In addition, we introduce nondeterministic fuzzy labeled transition systems, which extend NFTSs with fuzzy state labels, and we define and provide results on simulations and bisimulations between them.

Depth-Bounded Fuzzy Bisimulation for Fuzzy Modal Logic

Depth-Bounded Fuzzy Simulations and Bisimulations between Fuzzy Automata

Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices

Better Bounded Bisimulation Contractions (Preprint)

Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief

Minimizing Fuzzy Interpretations in Fuzzy Description Logics by Using Crisp Bisimulations

Efficient algorithms for computing bisimulations for nondeterministic fuzzy transition systems

Characterizing Crisp Simulations and Crisp Directed Simulations between Fuzzy Labeled Transition Systems by Using Fuzzy Modal Logics

Bisimulation for Impure Simplicial Complexes

Computing Crisp Bisimulations for Fuzzy Structures

Bisimulations for Fuzzy Transition Systems Revisited

Graded modal logic and counting bisimulation

Knowledge, Awareness, and Bisimulation

Bisimulations for Fuzzy-Transition Systems

Computing Crisp Simulations and Crisp Directed Simulations for Fuzzy Graph-Based Structures

Bisimulations and Logics for Higher-Dimensional Automata

Modality, Bisimulation and Interpolation in Infinitary Logic

Bi-modal Gödel logic over [0,1]-valued Kripke frames

UvA-DARE ( Digital Academic Repository ) Expressiveness modulo bisimilarity : a coalgebraic perspective

Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic