Construction and Repair: A Hybrid Approach to Search in CSPs

Abstract. In order to obtain a solution to a constraint satisfaction problem, constructive methods iteratively extend a consistent partial assignment until all problem variables are instantiated. If the current partial assignment is proved to be inconsistent, it is then necessary to backtrack and perform alternative instantiations. On the other hand, reparative methods iteratively repair an inconsistent complete assignment until it becomes consistent. In this research, we investigate an approach which allows for the combination of constructive and reparative methods, in the hope of exploiting their intrinsic advantages and circumventing their shortcomings. Initially, we discuss a general hybrid method called cr and then proceed to specify its parameters in order to provide a fully operational search method called cnr. The reparative stage therein is of particular interest: we employ techniques borrowed from local search and propose a general cost function for evaluating partial assignm...

• Type: Conference
• Year: 2004
• Where: SETN
• Authors: Konstantinos Chatzikokolakis, George Boukeas, Panagiotis Stamatopoulos
• Keywords: Artificial Intelligence, Consistent Partial Assignment, Partial Assignments, Reparative Methods, SETN 2004