Using Hard Constraints for Representing Soft Constraints

Abstract : Most of the current algorithms dedicated to the resolution of over-constrained problems, as PFC-MRDAC, are based on the search for a support for each value of each variable taken independently. The structure of soft constraints is only used to speed-up such a search, but not to globally deduce the existence or the absence of support. These algorithms do not use the ltering algorithms associated with the soft constraints. In this paper we present a new schema where a soft constraint is represented by a hard constraint in order to automatically benet from the pruning performance of the ltering algorithm associated with this constraint and from the incremental aspect of these ltering algorithms. In other words, thanks to this schema every ltering algorithm associated with a constraint can still be used when the constraint is soft. The PFC-MRDAC (via the Satisability Sum constraint) algorithm and the search for disjoint conict sets are then adapted to this new schema.
Type de document :
Communication dans un congrès
CPAIOR 2011, 2011, Berlin, Germany. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 8th International Conference, CPAIOR 2011,, 2011, CPAIOR 2011. <10.1007/978-3-642-21311-3_17>
Liste complète des métadonnées


https://hal.archives-ouvertes.fr/hal-01334272
Contributeur : Jean-Charles Regin <>
Soumis le : lundi 20 juin 2016 - 16:46:44
Dernière modification le : vendredi 23 septembre 2016 - 16:29:53

Fichier

softashard.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Jean-Charles Régin. Using Hard Constraints for Representing Soft Constraints. CPAIOR 2011, 2011, Berlin, Germany. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 8th International Conference, CPAIOR 2011,, 2011, CPAIOR 2011. <10.1007/978-3-642-21311-3_17>. <hal-01334272>

Partager

Métriques

Consultations de
la notice

36

Téléchargements du document

24