loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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
T. Petit, ILOG LIRMM, Valbonne, France
J.C. Regin, ILOG LIRMM, Valbonne, France
C. Bessiere, ILOG LIRMM, Valbonne, France
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
Usage of this product signifies your acceptance of the Terms of Use.