2012 | OriginalPaper | Buchkapitel
A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices
verfasst von : Stefan Borgwardt, Rafael Peñaloza
Erschienen in: Web Reasoning and Rule Systems
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Fuzzy description logics can be used to model vague knowledge in application domains. This paper analyses the consistency and satisfiability problems in the description logic
${\mathcal{SHI}}$
with semantics based on a complete residuated De Morgan lattice. The problems are undecidable in the general case, but can be decided by a tableau algorithm when restricted to finite lattices. For some sublogics of
${\mathcal{SHI}}$
, we provide upper complexity bounds that match the complexity of crisp reasoning.