Logical characterizations of simulation and bisimulation for fuzzy transition systems

DOI10.1016/J.FSS.2015.09.012MaRDI QIDQ679804zbMATH OpenOpenAlexFDO

Authors Hengyang Wu, Yuxin Deng

Publication date 22 January 2018

Published in Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.fss.2015.09.012

zbMATH Keywords

simulationcompletenessbisimulationsoundnesslogical characterizationfuzzy labeled transition system

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic in artificial intelligence (68T27) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic
• Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems
• Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices
• Bisimulations for fuzzy transition systems revisited
• scientific article; zbMATH DE number 6612705

Cites work

• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 1862743 (Why is no real title available?)
• scientific article; zbMATH DE number 765034 (Why is no real title available?)
• scientific article; zbMATH DE number 794262 (Why is no real title available?)
• scientific article; zbMATH DE number 6174576 (Why is no real title available?)
• A Formulation of Fuzzy Automata and Its Application as a Model of Learning Systems
• A calculus of communicating systems
• Algebraic laws for nondeterminism and concurrency
• Analysis and control of fuzzy discrete event systems using bisimulation equivalence
• Approximating labelled Markov processes
• Bisimulation for labelled Markov processes
• Bisimulation minimization and symbolic model checking
• Bisimulation through probabilistic testing
• Bisimulations for fuzzy automata
• Bisimulations for weighted automata over an additively idempotent semiring
• Characterizations of fuzzy finite automata.
• Computation of the greatest simulations and bisimulations between fuzzy automata
• Determinism and fuzzy automata
• Determinization of weighted finite automata over strong bimonoids
• Finite automata theory with membership values in lattices
• Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids
• Fuzzy languages with infinite range accepted by fuzzy automata: pumping lemma and determinization procedure
• Fuzzy sets as a basis for a theory of possibility
• Latticed simulation relations and games
• Logical Characterizations of Bisimulations for Discrete Probabilistic Systems
• Nondeterministic fuzzy automata
• Pattern recognition using temporal fuzzy automata
• Probabilistic logical characterization
• Pumping lemma in automata theory based on complete residuated lattice-valued logic: a note
• Simulation for lattice-valued doubly labeled transition systems
• Tree regular model checking: a simulation-based approach

Cited in

(30)

• Alternating refinement relations for fuzzy concurrent game structures
• Distribution-based limited fuzzy bisimulations for nondeterministic fuzzy transition systems
• Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic
• Limited approximate bisimulations and the corresponding rough approximations
• Improved algorithms for computing the greatest right and left invariant Boolean matrices and their application
• Characterization and computation of approximate bisimulations for fuzzy automata
• Fuzzy simulations and bisimulations between fuzzy automata
• Fuzzy approximations of fuzzy relational structures
• Bisimulations for fuzzy transition systems revisited
• A family of graded epistemic logics
• Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems
• Determinization of fuzzy automata by factorizations of fuzzy states and right invariant fuzzy quasi-orders
• A fuzzy modal logic for fuzzy transition systems
• Approximate bisimulation relations for fuzzy automata
• Computation of the greatest right and left invariant fuzzy quasi-orders and fuzzy equivalences
• scientific article; zbMATH DE number 6612705 (Why is no real title available?)
• Logical characterisation of parameterised bisimulations
• The relationships among several forms of weighted finite automata over strong bimonoids
• Computing the fuzzy partition corresponding to the greatest fuzzy auto-bisimulation of a fuzzy graph-based structure under the Gödel semantics
• Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices
• Breadth-first fuzzy bisimulations for fuzzy automata
• Incremental model checking for fuzzy computation tree logic
• Efficient algorithms for computing bisimulations for nondeterministic fuzzy transition systems
• Logical characterization of branching bisimilarity over random processes
• Nondeterministic fuzzy automata with membership values in complete residuated lattices
• Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics
• Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures
• Minimizing fuzzy interpretations in fuzzy description logics by using crisp bisimulations
• Depth-bounded fuzzy simulations and bisimulations between fuzzy automata
• Approximate bisimulations for fuzzy-transition systems

This page was built for publication: Logical characterizations of simulation and bisimulation for fuzzy transition systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q679804)