Apprentissage de Contraintes Globales Implicites

Christian Bessière 1 Remi Coletta 2 Thierry Petit 3
1 COCONUT - Agents, Apprentissage, Contraintes
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
2 ZENITH - Scientific Data Management
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
Résumé : Il peut exister de nombreux modèles à contraintes exprimant un problème donné. Une des barrières s'opposant à une diffusion plus ample de la programmation par contraintes est l'expertise importante requise pour concevoir un modèle permettant une résolution efficace d'un problème. Aussi, l'intérêt de la communauté pour la reformulation automatique des modèles à contraintes est croissant. Cet article présente une approche alternative, consistant à apprendre des contraintes implicites d'après des instanciations des variables du problème, solutions et non-solutions. Ces contraintes sont alors ajoutées au modèle afin d'améliorer la résolution. Pour valider l'impact de cette approche, nous proposons un algorithme d'apprentissage de contraintes de cardinalité globale (Gcc). Nous montrons expérimentalement l'intérêt de cet algorithme pour améliorer la qualité des modèles à contraintes.
Type de document :
Communication dans un congrès
Christine Solnon. Premières Journées Francophones de Programmation par Contraintes, Jun 2005, Lens, Université d'Artois, pp.249-258, 2005, Premières Journées Francophones de Programmation par Contraintes
Liste complète des métadonnées

https://hal.inria.fr/inria-00000069
Contributeur : Christine Solnon <>
Soumis le : jeudi 26 mai 2005 - 10:21:39
Dernière modification le : jeudi 26 octobre 2017 - 13:44:12
Document(s) archivé(s) le : jeudi 1 avril 2010 - 21:33:06

Fichiers

Identifiants

  • HAL Id : inria-00000069, version 1

Citation

Christian Bessière, Remi Coletta, Thierry Petit. Apprentissage de Contraintes Globales Implicites. Christine Solnon. Premières Journées Francophones de Programmation par Contraintes, Jun 2005, Lens, Université d'Artois, pp.249-258, 2005, Premières Journées Francophones de Programmation par Contraintes. 〈inria-00000069〉

Partager

Métriques

Consultations de
la notice

227

Téléchargements du document

73