In recent years many Fuzzy Description Logics (FDLs) based on infinite $t$-norms have been proved to be undecidable. On the other hand, several FDLs based on finite $t$-norms, not only have been proved to be decidable, but they have been proved to belong to the same complexity classes as the corresponding crisp DLs. In light of such results, a question that naturally arises is whether the finite-valued fuzzy framework is no more complex than the crisp-valued formalism. The aim of this work is to analyze some of the complexity sources that are not present in the crisp framework. To this end, we will consider FDL languages with low expressivity that allow us to observe how the need for more complex deciding strategies, not required in the crisp framework, arises in many-valued FDLs.
Complexity Sources in Fuzzy Description Logic
Straccia U
2014
Abstract
In recent years many Fuzzy Description Logics (FDLs) based on infinite $t$-norms have been proved to be undecidable. On the other hand, several FDLs based on finite $t$-norms, not only have been proved to be decidable, but they have been proved to belong to the same complexity classes as the corresponding crisp DLs. In light of such results, a question that naturally arises is whether the finite-valued fuzzy framework is no more complex than the crisp-valued formalism. The aim of this work is to analyze some of the complexity sources that are not present in the crisp framework. To this end, we will consider FDL languages with low expressivity that allow us to observe how the need for more complex deciding strategies, not required in the crisp framework, arises in many-valued FDLs.File | Dimensione | Formato | |
---|---|---|---|
prod_282391-doc_80414.pdf
accesso aperto
Descrizione: dl14b
Tipologia:
Versione Editoriale (PDF)
Dimensione
327.22 kB
Formato
Adobe PDF
|
327.22 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.