In this paper we study the computational complexity of Fuzzy Qualitative Temporal Algebra (QAfuz), a framework that combines qualitative temporal constraints between points and intervals, and allows modelling vagueness and uncertainty. Its tractable fragments can be identified by generalizing the results obtained for crisp Constraint Satisfaction Problems (CSPs) to fuzzy CSPs (FCSPs); to do this, we apply a general methodology based on the notion of alpha-cut. In particular, the results concerning the tractability of Qualitative Algebra QA, obtained in a recent study by different authors, can be extended to identify the tractable algebras of the fuzzy Qualitative Algebra QAfuz in such a way that the obtained set is maximal, namely any maximal tractable fuzzy algebra belongs to this set.
Tractable Fragments of Fuzzy Qualitative Algebra
GIACOMIN, Massimiliano
2008-01-01
Abstract
In this paper we study the computational complexity of Fuzzy Qualitative Temporal Algebra (QAfuz), a framework that combines qualitative temporal constraints between points and intervals, and allows modelling vagueness and uncertainty. Its tractable fragments can be identified by generalizing the results obtained for crisp Constraint Satisfaction Problems (CSPs) to fuzzy CSPs (FCSPs); to do this, we apply a general methodology based on the notion of alpha-cut. In particular, the results concerning the tractability of Qualitative Algebra QA, obtained in a recent study by different authors, can be extended to identify the tractable algebras of the fuzzy Qualitative Algebra QAfuz in such a way that the obtained set is maximal, namely any maximal tractable fuzzy algebra belongs to this set.File | Dimensione | Formato | |
---|---|---|---|
scc_pubblicato.pdf
gestori archivio
Tipologia:
Full Text
Licenza:
DRM non definito
Dimensione
205.02 kB
Formato
Adobe PDF
|
205.02 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.