Starting from the complexity classification of Qualitative Algebra recently proposed by Jonsson and Krokhin, we study the tractable fragments of Fuzzy Qualitative Algebra QAfuz, an integrated framework able to deal with qualitative temporal constraints between points and intervals affected by vagueness and uncertainty. To do this we generalize the results obtained for the classical case exploiting the notion of alpha-cut in relating the QAfuz tractable fragments to their QA classical counterparts. In order to guarantee the applicability of Path-Consistency algorithm, we prove that the identified fragments are algebras. Besides, we also prove that the set of the identified tractable fuzzy fragments is maximal.
Computational Complexity Study of Fuzzy Qualitative Temporal Algebra
BADALONI, SILVANA;FALDA, MARCO;
2007
Abstract
Starting from the complexity classification of Qualitative Algebra recently proposed by Jonsson and Krokhin, we study the tractable fragments of Fuzzy Qualitative Algebra QAfuz, an integrated framework able to deal with qualitative temporal constraints between points and intervals affected by vagueness and uncertainty. To do this we generalize the results obtained for the classical case exploiting the notion of alpha-cut in relating the QAfuz tractable fragments to their QA classical counterparts. In order to guarantee the applicability of Path-Consistency algorithm, we prove that the identified fragments are algebras. Besides, we also prove that the set of the identified tractable fuzzy fragments is maximal.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
