Title :
Merging Qualitative Constraint Networks in a Piecewise Fashion
Author :
Condotta, Jean-François ; Kaci, Souhila ; Marquis, Pierre ; Schwind, Nicolas
Author_Institution :
Univ. Lille-Nord de France, Lens, France
Abstract :
We address the problem of merging qualitative constraints networks (QCNs). We point out a merging algorithm which computes a consistent QCN representing a global view of the input set of (possibly conflicting) QCNs. This algorithm is generic in the sense that it does not depend on a specific qualitative formalism. The efficiency of our method comes from the fact that it merges locally the constraints of the input QCNs bearing on the same pairs of variables. We define several constraint merging operators in a way to ensure that the induced QCNs merging operator satisfies some expected properties from a logical standpoint.
Keywords :
constraint handling; constraint merging operators; piecewise fashion; qualitative constraint networks; qualitative formalism; Algebra; Artificial intelligence; Calculus; Computational complexity; Databases; Knowledge based systems; Lenses; Merging; Scheduling; Merging; Qualitative Reasoning; Spatio-temporal Reasoning;
Conference_Titel :
Tools with Artificial Intelligence, 2009. ICTAI '09. 21st International Conference on
Conference_Location :
Newark, NJ
Print_ISBN :
978-1-4244-5619-2
Electronic_ISBN :
1082-3409
DOI :
10.1109/ICTAI.2009.36