2 citations · 2 across the 5 of their papers we have counts for
6 papers
Minimizing fuzzy Kripke models over residuated lattices
Linh Anh Nguyen
Model minimization is a fundamental problem in formal methods, as smaller models can substantially reduce the complexity of model analysis and reasoning while preserving relevant s…
Fuzzy directed simulations for fuzzy modal logics over residuated lattices
Linh Anh Nguyen
We introduce the notion of fuzzy directed simulation between fuzzy Kripke models over linear and complete residuated lattices and investigate its fundamental properties. In particu…
Computing markings for fuzzy minimax nets over the Gödel structure
Linh Anh Nguyen
Fuzzy minimax nets were recently introduced as a tool for computing the greatest fuzzy bisimulation and simulation between two finite fuzzy graph-based structures. In this work, we…
Soft state reduction of fuzzy automata over residuated lattices
Linh Anh Nguyen, Son Thanh Cao, Stefan Stanimirović
State reduction of finite automata plays a significant role in improving efficiency in formal verification, pattern recognition, and machine learning, where automata-based models a…
Approximate minimization of interpretations in fuzzy description logics under the Gödel semantics
Linh Anh Nguyen
The problem of minimizing fuzzy interpretations in fuzzy description logics (FDLs) is important both theoretically and practically. For instance, fuzzy or weighted social networks…
Approximate State Reduction of Fuzzy Finite Automata
Miroslav Ćirić, Ivana Micić, Stefan Stanimirović +1
In this paper we introduce a new type of approximate state reductions where the behaviors of the reduced and the original automaton do not have to be identical, but they must match…