Restarts and Nogood Recording in Qualitative Constraint-based Reasoning

Abstract. This paper introduces restart and nogood recording techniques in the domain of qualitative spatial and temporal reasoning. Nogoods and restarts can be applied orthogonally to usual methods for solving qualitative constraint satisfaction problems. In particular, we propose a more general definition of nogoods that allows for exploiting information about nogoods and tractable subclasses during backtracking search. First evaluations of the proposed techniques show promising results.

• Type: Conference
• Year: 2010
• Where: ECAI
• Authors: Matthias Westphal, Stefan Wölfl, Jason Jingshi Li
• Keywords: Artificial Intelligence, ECAI 2010, Paper Introduces Restart, Qualitative Constraint Satisfaction, Temporal Reasoning