Robust solutions in changing constraint satisfaction problems

  • Authors:
  • Laura Climent;Miguel Á. Salido;Federico Barber

  • Affiliations:
  • Instituto de Automática e Informática Industrial, Universidad Politécnica de Valencia, Valencia, Spain;Instituto de Automática e Informática Industrial, Universidad Politécnica de Valencia, Valencia, Spain;Instituto de Automática e Informática Industrial, Universidad Politécnica de Valencia, Valencia, Spain

  • Venue:
  • IEA/AIE'10 Proceedings of the 23rd international conference on Industrial engineering and other applications of applied intelligent systems - Volume Part I
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

Constraint programming is a successful technology for solving combinatorial problems modeled as constraint satisfaction problems (CSPs). An important extension of constraint technology involves problems that undergo changes that may invalidate the current solution. These problems are called Dynamic Constraint Satisfaction Problems (DynCSP). Many works on dynamic problems sought methods for finding new solutions. In this paper, we focus our attention on studying the robustness of solutions in DynCSPs. Thus, most robust solutions will be able to absorb changes in the constraints of the problem. To this end, we label each constraint with two parameters that measure the degree of dynamism and the quantity of change. Thus, we randomly generate a set of more restricted CSPs by using these labels. The solutions that satisfy more random CSPs will have a higher probability of remain valid under constraints changes of the original CSP.