Fuzzy description logics and t-norm based fuzzy logics
From MaRDI portal
Publication:990977
DOI10.1016/J.IJAR.2010.01.001zbMATH Open1209.68522OpenAlexW2008945595MaRDI QIDQ990977FDOQ990977
Eva Armengol, Àngel García-Cerdaña, Francesc Esteva
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
Recommendations
description logicsmathematical fuzzy logicfuzzy description logicspropositional and predicate \(t\)-norm based fuzzy logicstruth constants
Knowledge representation (68T30) Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27)
Cites Work
- Fuzzy sets
- On a class of operators for expert systems
- Fuzzy logic and approximate reasoning
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Algebras of Fuzzy Sets in Logics Based on Continuous Triangular Norms
- A proof of standard completeness for Esteva and Godo's logic MTL
- Title not available (Why is that?)
- Triangular norm based predicate fuzzy logics
- Weakly implicative (fuzzy) logics. I: Basic properties
- On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the structure of semi-groups on a compact manifold with boundary
- Varieties of BL-algebras. I: General properties.
- Title not available (Why is that?)
- Residuated fuzzy logics with an involutive negation
- Making fuzzy description logic more general
- Reasoning within fuzzy description logics
- Title not available (Why is that?)
- On the failure of the finite model property in some fuzzy description logics
- On theories and models in fuzzy predicate logics
- MUltlog 1.0: Towards an expert system for many-valued logics
- From fuzzy logic to fuzzy mathematics: a methodological manifesto
- On Product Logic with Truth-constants
- Title not available (Why is that?)
- Description logic programs under probabilistic uncertainty and fuzzy vagueness
- Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
- Fuzzy description logics under Gödel semantics
- First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
- Computational complexity of t-norm based propositional fuzzy logics with rational truth constants
- Title not available (Why is that?)
- Exploring a syntactic notion of modal many-valued logics
- Equational characterization of the subvarieties of BL generated by t-norm algebras
- Title not available (Why is that?)
- Proof systems for a Gödel modal logic
- On completeness results for predicate Łukasiewicz, product, Gödel and nilpotent minimum logics expanded with truth-constants
- Systems of ordinal fuzzy logic with application to preference modelling
Cited In (18)
- A preferential interpretation of multilayer perceptrons in a conditional logic with typicality
- On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions
- An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases
- The limits of decidability in fuzzy description logics with general concept inclusions
- JOINING GÖDEL AND ZADEH FUZZY LOGICS IN FUZZY DESCRIPTION LOGICS
- Formalization of implication based fuzzy reasoning method
- Transforming Fuzzy Description Logic $\mathcal{ALC}_\mathcal{FL}$ into Classical Description Logic $\mathcal{ALCH}$
- On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm
- Consistency reasoning in lattice-based fuzzy description logics
- Editorial: Weighted logics for artificial intelligence -- an introductory discussion
- On finitely-valued fuzzy description logics
- On similarity in fuzzy description logics
- On the relationship between fuzzy description logics and many-valued modal logics
- Triangular norm based predicate fuzzy logics
- First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
- On the failure of the finite model property in some fuzzy description logics
- Introduction
- Complexity and scalability of defeasible reasoning with typicality in many-valued weighted knowledge bases
Uses Software
This page was built for publication: Fuzzy description logics and \(t\)-norm based fuzzy logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q990977)
