Restarts and Nogood Recording in Qualitative Constraint-based Reasoning
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.
|Collections||ANU Research Publications|
|Source:||Proceedings of the European Conference on Artificial Intelligence (ECAI-2010)|
|01_Westphal_Restarts_and_Nogood_Recording_2010.pdf||166.77 kB||Adobe PDF||Request a copy|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.