Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics
From MaRDI portal
Publication:2219174
DOI10.1016/j.fss.2019.08.004zbMath1452.68187arXiv2008.02857OpenAlexW2968098646MaRDI QIDQ2219174
Ngoc Thanh Nguyen, Quang-Thuy Ha, Thi Hong Khanh Nguyen, Linh Anh Nguyen, Thanh-Luong Tran
Publication date: 19 January 2021
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2008.02857
Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37)
Related Items (5)
Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices ⋮ Characterization and computation of approximate bisimulations for fuzzy automata ⋮ Fuzzy simulations and bisimulations between fuzzy automata ⋮ Distribution-based limited fuzzy bisimulations for nondeterministic fuzzy transition systems ⋮ Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic
Cites Work
- Bisimulations for fuzzy automata
- On bisimulations for description logics
- Fuzzy description logics under Gödel semantics
- Expressiveness of concept expressions in first-order description logics
- A note on graded modal logic
- Making fuzzy description logic more general
- Hybrid logics: characterization, interpolation and complexity
- Notions of Bisimulation for Heyting-Valued Modal Languages
- Full Hybrid μ-Calculus, Its Bisimulation Invariance and Application to Argumentation
- Algebraic laws for nondeterminism and concurrency
- Simulating without Negation
- Fuzzy Description Logics – A Survey
- Bisimilarity for paraconsistent description logics
- OUP accepted manuscript
- Fuzzy Bisimulations in Fuzzy Description Logics Under the Gödel Semantics
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics
