Cost-driven interactive csp with constraint relaxation

Abstract

We revisit the Interactive CSP framework (ICSP) and propose a new, somewhat more general model, which we call Cost-Driven Interactive CSP (CICSP). First, we extend the value acquisition by a more general concept of constraint relaxation. Second, we loosen the basic assumption of ICSP that "value acquisition is expensive" by introducing external cost functions of the constraint relaxation and the constraint propagation effort. We also propose a general Interactive Relaxation algorithm template that is designated for CICSP. The effectiveness of this approach is illustrated on a real-life scenario from the Functional Test Generation problem domain. © 2009 Springer Berlin Heidelberg.