Apprentissage de solveurs de contraintes sur les domaines finis
La programmation par contraintes est un outil très puissant de modélisation et de résolution de problèmes. Un problème est modélisé par un ensemble de variables et un ensemble de contraintes sur ces variables. Les solutions sont ensuite trouvées par un système appelé solveur de contraintes. Un solve...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Další autoři: | |
| Médium: | Thèse et Mémoire papier |
| Jazyk: | Français |
| Vydáno: |
[S.l.] :
[s.n.]
2005.
|
| Témata: | |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Finite domain constraint solver learning |
| LEADER | 03387nam a22002897a 4500 | ||
|---|---|---|---|
| 001 | 231613 | ||
| 008 | 060619s2005 xxe ||| |||| 00| 0 fre d | ||
| 009 | PPN103660992 | ||
| 041 | 0 | |a fre |b fre |b eng | |
| 084 | |a 004 | ||
| 100 | 1 | |a Legtchenko, Andréï, |d 1978 - | |
| 240 | 1 | 0 | |a Finite domain constraint solver learning |
| 245 | 1 | 0 | |a Apprentissage de solveurs de contraintes sur les domaines finis |c par Andréÿi Legtchenko ; [sous la dir. de] Christel Vrain,... |
| 260 | |a [S.l.] : |b [s.n.], |c 2005. | ||
| 300 | |a 1 vol. (165 p.) : |b ill. ; |c 30 cm. | ||
| 502 | |a Thèse de doctorat. Informatique. Orléans. 2005 | ||
| 504 | |a Bibliogr. p. [161]-165. Index | ||
| 506 | |a Publication autorisée par le jury | ||
| 520 | |a La programmation par contraintes est un outil très puissant de modélisation et de résolution de problèmes. Un problème est modélisé par un ensemble de variables et un ensemble de contraintes sur ces variables. Les solutions sont ensuite trouvées par un système appelé solveur de contraintes. Un solveur est un logiciel complexe souvent basé sur des subtiles propriétés des contraintes. Un solveur peut être représenté par un algorithme de recherche combiné avec un algorithme d'itération d'opérateurs de réduction de domaines. Afin de faciliter la construction d'opérateurs de réduction, il est envisageable de les dériver automatiquement à partir des contraintes du problème. Dans cette étude nous proposons un cadre général et plusieurs techniques pour la construction automatique d'opérateurs de réduction à partir de la spécification en extension d'une contrainte (par une table de solutions). Les techniques se repartissent en deux catégories, selon la nature de la contrainte. Le cas d'une contrainte classique où toutes les solutions sont connues. En utilisant des techniques issues de l'apprentissage automatique, on propose d'exploiter les régularités du nuage de solutions afin de produire des opérateurs ayant une grande puissance de réduction et un coût d'exécution réduit. Le cas d'une contrainte partiellement définie où seuls des exemples de solutions et de non-solutions sont connus. Dans ce cas la contrainte est d'abord apprise sur les exemples sous la forme d'une fonction de satisfiabilité exprimée dans un langage donné. Ensuite les opérateurs de réduction sont dérivés à partir de cette fonction en utilisant le procédé de l'extension aux ensembles. Une nouvelle méthode d'apprentissage supervisé de classificateurs, inspirée par la forme générale de propagateurs, a également été proposée. Toutes les techniques et algorithmes ont été implantés et testés avec succès. | ||
| 650 | |a Programmation par contraintes | ||
| 650 | |a Solveurs (logiciels) | ||
| 650 | |a Apprentissage automatique | ||
| 650 | |a Thèses et écrits académiques | ||
| 700 | 1 | |a Vrain, Christel, |d 1961- |4 ths | |
| 710 | 2 | |a Université d'Orléans. |4 dgg | |
| 787 | 0 | 8 | |i Reproduced as: |0 246895403 |t Apprentissage de solveurs de contraintes sur les domaines finis |f par Andréÿi Legtchenko |d 2005 |c Grenoble |n Atelier national de reproduction des thèses |p Microfiches |s [Grenoble thèses] |
| 997 | |0 231613 |1 Thèse et Mémoire papier |a Ressource papier |c 0/Orléans/ |c 1/Orléans/BU Sciences, Technologies, STAPS/ |z Orléans, BU Sciences, Technologies, STAPS, TS 19-2005-33 |z Orléans, BU Sciences, Technologies, STAPS, TS 19-2005-33 b | ||