Modélisation Semi-Automatique par Acquisition de Contraintes - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Communication Dans Un Congrès Année : 2003

Modélisation Semi-Automatique par Acquisition de Contraintes

Remi Coletta
  • Fonction : Auteur
  • PersonId : 932759
Joël Quinqueton
  • Fonction : Auteur
  • PersonId : 837253

Résumé

La programmation par contraintes est une technologie désormais largement utilisée pour résoudre des problèmes combinatoires dans les applications industrielles. Pourtant, l’utiliser requiert une certaine connaissance du paradigme des contraintes. Cet article introduit un cadre pour apprendre automatiquement des réseaux de contraintes à partir d’ensembles d’instances qui sont des solutions acceptables ou des assignations non désirables du problème que nous souhaiterions exprimer. Ce qui peut aider un novice à manipuler ses contraintes. En restreignant le langage des contraintes utilisées pour construire le réseau, cela peut aussi assister un expert dans la recherche d’une modélisation efficace d’un problème donné.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
D201.PDF (121.28 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

lirmm-00191969 , version 1 (26-11-2007)

Identifiants

  • HAL Id : lirmm-00191969 , version 1

Citer

Remi Coletta, Christian Bessiere, Joël Quinqueton. Modélisation Semi-Automatique par Acquisition de Contraintes. RJCIA: Rencontres Nationales des Jeunes Chercheurs en Intelligence Artificielle, 2003, Laval, France. pp.97-110. ⟨lirmm-00191969⟩
166 Consultations
56 Téléchargements

Partager

More