Reasoning in fuzzy description logics using automata

DOI10.1016/J.FSS.2015.07.013MaRDI QIDQ1677933zbMATH OpenOpenAlexFDO

Authors Stefan Borgwardt, Rafael Peñaloza

Publication date 14 November 2017

Published in Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/10281/258629

zbMATH Keywords

tree automatareasoningweighted automatafuzzy description logics

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic in artificial intelligence (68T27)

Recommendations

• The complexity of fuzzy \(\mathcal{EL}\) under the Łukasiewicz t-norm
• Reasoning in expressive description logics under infinitely valued Gödel semantics
• How fuzzy is my fuzzy description logic?
• Reasoning Technique for Extended Fuzzy $\cal{ALCQ}$
• The limits of decidability in fuzzy description logics with general concept inclusions

Cites work

• scientific article; zbMATH DE number 5356404 (Why is no real title available?)
• scientific article; zbMATH DE number 5547901 (Why is no real title available?)
• scientific article; zbMATH DE number 67503 (Why is no real title available?)
• scientific article; zbMATH DE number 3637614 (Why is no real title available?)
• scientific article; zbMATH DE number 3639144 (Why is no real title available?)
• scientific article; zbMATH DE number 6276267 (Why is no real title available?)
• A formal framework for description logics with uncertainty
• A lattice-theoretical fixpoint theorem and its applications
• A new polynomial-time algorithm for linear programming
• Automata can show PSpace results for description logics
• Automata-theoretic techniques for modal logics of programs
• Consistency checking reduced to satisfiability of concepts in terminological systems
• DESCRIPTION LOGICS OVER LATTICES
• Finite fuzzy description logics and crisp representations
• First-order satisfiability in Gödel logics: an NP-complete fragment
• Fuzzy description logics under Gödel semantics
• Fuzzy description logics with general t-norms and datatypes
• Fuzzy sets
• How fuzzy is my fuzzy description logic?
• Joining Gödel and Zadeh fuzzy logics in fuzzy description logics
• Logics in Artificial Intelligence
• Making fuzzy description logic more general
• On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm
• On the undecidability of fuzzy description logics with GCIs and product t-norm
• Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\)
• Reasoning within fuzzy description logics
• The Description Logic Handbook
• The fuzzy description logic \(\mathsf{G}\)-\({\mathcal{FL}_0}\) with greatest fixed-point semantics
• The limits of decidability in fuzzy description logics with general concept inclusions
• Triangular norms
• Using automata theory for characterizing the semantics of terminological cycles

Cited in

(4)

• A logic-based computational method for the automated induction of fuzzy ontology axioms
• Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics
• Synthesizing fuzzy tree automata
• Fuzzy autoepistemic logic and its relation to fuzzy answer set programming

Describes a project that uses

Uses Software

• Fuzzydl

This page was built for publication: Reasoning in fuzzy description logics using automata

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