Fuzzy description logics and \(t\)-norm based fuzzy logics
From MaRDI portal
Publication:990977
DOI10.1016/j.ijar.2010.01.001zbMath1209.68522OpenAlexW2008945595MaRDI QIDQ990977
Eva Armengol, Francesc Esteva, Àngel García-Cerdaña
Publication date: 2 September 2010
Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ijar.2010.01.001
description logicsmathematical fuzzy logicfuzzy description logicspropositional and predicate \(t\)-norm based fuzzy logicstruth constants
Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27) Knowledge representation (68T30)
Related Items (13)
An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases ⋮ On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm ⋮ On similarity in fuzzy description logics ⋮ Formalization of implication based fuzzy reasoning method ⋮ Introduction ⋮ Editorial: Weighted logics for artificial intelligence -- an introductory discussion ⋮ On finitely-valued fuzzy description logics ⋮ Consistency reasoning in lattice-based fuzzy description logics ⋮ On the relationship between fuzzy description logics and many-valued modal logics ⋮ JOINING GÖDEL AND ZADEH FUZZY LOGICS IN FUZZY DESCRIPTION LOGICS ⋮ On the failure of the finite model property in some fuzzy description logics ⋮ The limits of decidability in fuzzy description logics with general concept inclusions ⋮ On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the failure of the finite model property in some fuzzy description logics
- On the structure of semi-groups on a compact manifold with boundary
- Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
- Fuzzy description logics under Gödel semantics
- Description logic programs under probabilistic uncertainty and fuzzy vagueness
- First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
- Fuzzy logic and approximate reasoning
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Systems of ordinal fuzzy logic with application to preference modelling
- A proof of standard completeness for Esteva and Godo's logic MTL
- Varieties of BL-algebras. I: General properties.
- Equational characterization of the subvarieties of BL generated by t-norm algebras
- Residuated fuzzy logics with an involutive negation
- Triangular norm based predicate fuzzy logics
- Making fuzzy description logic more general
- From fuzzy logic to fuzzy mathematics: a methodological manifesto
- Computational complexity of t-norm based propositional fuzzy logics with rational truth constants
- Weakly implicative (fuzzy) logics. I: Basic properties
- On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
- On theories and models in fuzzy predicate logics
- Algebras of Fuzzy Sets in Logics Based on Continuous Triangular Norms
- Proof Systems for a Gödel Modal Logic
- On a class of operators for expert systems
- MUltlog 1.0: Towards an expert system for many-valued logics
- On Product Logic with Truth-constants
- Fuzzy sets
This page was built for publication: Fuzzy description logics and \(t\)-norm based fuzzy logics
