Fuzzy description logic based on the revised Kleene implication

MaRDI QIDQ4980881zbMATH OpenFDO

Authors Xiaochun Qiu, Daowu Pei

Publication date 30 June 2014

zbMATH Keywords

\(R_0\) implication operatorconsistencyfuzzy description logicrevised Kleene implicationsatisfiabilitytableau algorithm

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27)

Recommendations

• Making fuzzy description logic more general
• Fuzzy description logics with general t-norms and datatypes
• Fuzzy description logics and \(t\)-norm based fuzzy logics
• Nilpotent minimum fuzzy description logics
• How fuzzy is my fuzzy description logic?

Cited in

(1)

• Nilpotent minimum fuzzy description logics

This page was built for publication: Fuzzy description logic based on the revised Kleene implication

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