This paper concentrates on a fuzzy Description Logic with product t-norm and involutive negation. It does not answer the question posed in its title for this logic, but it gives strong indications that the answer might in fact be "no." On the one hand, it shows that an algorithm that was claimed to answer the question affirmatively for this logic is actually incorrect. On the other hand, it proves undecidability of a variant of this logic.
Baader, F., Penaloza, R. (2011). Are Fuzzy Description Logics with General Concept Inclusion Axioms Decidable?. In Proceedings of the 2011 IEEE International Conference on Fuzzy Systems (Fuzz-IEEE 2011) (pp.1735-1742). IEEE press [10.1109/FUZZY.2011.6007520].
Are Fuzzy Description Logics with General Concept Inclusion Axioms Decidable?
Penaloza, R
2011
Abstract
This paper concentrates on a fuzzy Description Logic with product t-norm and involutive negation. It does not answer the question posed in its title for this logic, but it gives strong indications that the answer might in fact be "no." On the one hand, it shows that an algorithm that was claimed to answer the question affirmatively for this logic is actually incorrect. On the other hand, it proves undecidability of a variant of this logic.File | Dimensione | Formato | |
---|---|---|---|
BaPe-FuzzIEEE11.pdf
accesso aperto
Tipologia di allegato:
Submitted Version (Pre-print)
Dimensione
307.48 kB
Formato
Adobe PDF
|
307.48 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.