On finitely-valued fuzzy description logics

DOI10.1016/j.ijar.2013.09.021zbMath1433.03065OpenAlexW1981256092MaRDI QIDQ465589

Àngel García-Cerdaña, Marco Cerami, Francesc Esteva

Publication date: 23 October 2014

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ijar.2013.09.021

zbMATH Keywords

description logicsmathematical fuzzy logicfinitely-valued fuzzy description logicsfuzzy logic of a finite t-norm

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37) Many-valued logic (03B50)

Related Items

On similarity in fuzzy description logics ⋮ Optimising fuzzy description logic reasoners with general concept inclusion absorption ⋮ A Survey of Contributions to Fuzzy Logic and Its Applications to Artificial Intelligence at the IIIA ⋮ On the relationship between fuzzy description logics and many-valued modal logics

Uses Software

• MUltlog

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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the structure of semi-groups on a compact manifold with boundary
• Truth-depressing hedges and BL-logic
• Fuzzy description logics under Gödel semantics
• Description logic programs under probabilistic uncertainty and fuzzy vagueness
• Fuzzy description logics and \(t\)-norm based fuzzy logics
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
• First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
• Fuzzy description logics with general t-norms and datatypes
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• On very true
• A proof of standard completeness for Esteva and Godo's logic MTL
• Algebraic foundations of many-valued reasoning
• Making fuzzy description logic more general
• Computational complexity of t-norm based propositional fuzzy logics with rational truth constants
• A logical approach to fuzzy truth hedges
• On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm
• On the relative expressiveness of description logics and predicate logics
• How Fuzzy Is My Fuzzy Description Logic?
• On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
• On Finitely Valued Fuzzy Description Logics: The Łukasiewicz Case
• Some Complexity Results on Fuzzy Description Logics
• Algebraizable logics
• On a class of operators for expert systems
• MUltlog 1.0: Towards an expert system for many-valued logics
• JOINING GÖDEL AND ZADEH FUZZY LOGICS IN FUZZY DESCRIPTION LOGICS

This page was built for publication: On finitely-valued fuzzy description logics