AAAI Publications, Thirty-First AAAI Conference on Artificial Intelligence

Font Size: 
Checking the Consistency of Combined Qualitative Constraint Networks
Quentin Cohen-Solal, Maroua Bouzid, Alexandre Niveau

Last modified: 2017-02-12

Abstract


We study the problem of consistency checking for constraint networks over combined qualitative formalisms. We propose a framework which encompasses loose integrations and a form of spatio-temporal reasoning. In particular, we identify sufficient conditions ensuring the polynomiality of consistency checking, and we use them to find tractable subclasses.

Keywords


Qualitative Constraint Networks; Consistency Checking; Loose Integration; Tractable Subclass; Spatial Reasoning; Temporal Reasoning; Qualitative Reasoning

Full Text: PDF