12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'00)
Meta-constraints on violations for over constrained problems
Vancouver, British Columbia, Canada
November 13-November 15
ISBN: 0-7695-0909-6
Abstract: Constraint programming techniques are widely used to solve real-world problems. It often happens that such problems are over-constrained and do not have any solution. In such a case, the goal is to find a good compromise. A simple theoretical framework is the Max-CSP, where the goal is to minimize the number of constraint violations. However, in real-life problems, complex rules are generally imposed with respect to violations. Solutions which do not satisfy these rules have no practical interest. Therefore, many frameworks derived from the Max-CSP have been introduced. In this paper, we classify the most usual types of rules, and we show that some of them are not expressible in existing frameworks. We introduce a new paradigm in which all these rules can be encoded, through meta-constraints. Moreover, we show that most of existing frameworks can be included in our model.
Index Terms:
constraint handling; communicating sequential processes; meta constraints; over constrained problems; constraint programming; real-world problems; Max-CSP; real-life problems
Citation:
T. Petit, J.C. Regin, C. Bessiere, "Meta-constraints on violations for over constrained problems," ictai, pp.0358, 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'00), 2000