Checking the Consistency of Combined Qualitative Constraint Networks

Authors

  • Quentin Cohen-Solal Université de Caen Normandie Esplanade de la Paix
  • Maroua Bouzid Université de Caen Normandie Esplanade de la Paix
  • Alexandre Niveau Université de Caen Normandie Esplanade de la Paix

DOI:

https://doi.org/10.1609/aaai.v31i1.10692

Keywords:

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

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.

AAAI-2017 Proceedings Cover

Downloads

Published

2017-02-12

How to Cite

Cohen-Solal, Q., Bouzid, M., & Niveau, A. (2017). Checking the Consistency of Combined Qualitative Constraint Networks. Proceedings of the AAAI Conference on Artificial Intelligence, 31(1). https://doi.org/10.1609/aaai.v31i1.10692

Issue

Vol. 31 No. 1 (2017): Thirty-First AAAI Conference on Artificial Intelligence

Section

AAAI Technical Track: Knowledge Representation and Reasoning