Checking the Consistency of Combined Qualitative Constraint Networks

Quentin Cohen-Solal (1) , Maroua Bouzid (1) , Alexandre Niveau (1)

1 Equipe MAD - Laboratoire GREYC - UMR6072

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.

Domaines: Intelligence artificielle [cs.AI]; Complexité [cs.CC]; Algorithme et structure de données [cs.DS]

Quentin Cohen-Solal, Maroua Bouzid, Alexandre Niveau. Checking the Consistency of Combined Qualitative Constraint Networks. Thirty-First AAAI Conference on Artificial Intelligence, Feb 2017, San Francisco, California, United States. ⟨hal-01579026v2⟩