Méthodes de résolution de disjonctions de contraintes linéaires : application à la programmation logique avec contraintes
De nombreux problèmes en intelligence artificielle et en recherche opérationnelle peuvent s'exprimer comme la recherche d'une solution (éventuellement optimale) sur un ensemble de disjonctions de contraintes linéaires. Ces problèmes sont difficiles à résoudre, car la présence de disjonctio...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Další autoři: | |
| Médium: | Thèse et Mémoire papier |
| Jazyk: | Français |
| Vydáno: |
1995.
|
| Témata: | |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Methods for solving disjunctions of linear constraints. application to constraint logic programming |
| LEADER | 02649nam a22002897a 4500 | ||
|---|---|---|---|
| 001 | 197136 | ||
| 008 | 990313s1995 xx|||||| |||| 00| 0 fre d | ||
| 009 | PPN043999417 | ||
| 041 | 0 | |a fre |b fre | |
| 084 | |a 001.D.02.C.02_001.D.02.B.03_001.D.02.A.07 | ||
| 084 | |a 620 | ||
| 100 | 1 | |a BACKER, BRUNO DE. | |
| 240 | 1 | 0 | |a Methods for solving disjunctions of linear constraints. application to constraint logic programming |
| 245 | 1 | 0 | |a Méthodes de résolution de disjonctions de contraintes linéaires : |b application à la programmation logique avec contraintes |c Bruno de Backer ; sous la direction de G. Ferrand. |
| 260 | |c 1995. | ||
| 300 | |a 1 vol. (162 p.). | ||
| 502 | |a Thèse de doctorat. Sciences appliquées. Orléans. 1995 | ||
| 504 | |a Notes bibliogr. (151 réf.) | ||
| 520 | |a De nombreux problèmes en intelligence artificielle et en recherche opérationnelle peuvent s'exprimer comme la recherche d'une solution (éventuellement optimale) sur un ensemble de disjonctions de contraintes linéaires. Ces problèmes sont difficiles à résoudre, car la présence de disjonctions induit une forte combinatoire. Les algorithmes décrits dans cet ouvrage peuvent être séparés en deux catégories. La première comprend des extensions de la programmation disjonctive et des algorithmes de propagation de bornes. Ces algorithmes de regard en avant sont utilisés pour réduire a priori la combinatoire du problème. La seconde catégorie est constituée d'algorithmes de regard en arrière: lorsqu'un problème est insoluble, le maximum d'informations est retiré, de manière à éviter à nouveau un échec, et ainsi à mieux guider la recherche. Ceci conduit à l'élaboration de méthodes d'apprentissage et de rebroussement (backtracking) intelligent. Finalement, un exemple de mise en œuvre de ces méthodes est donné, utilisant le langage de programmation logique avec contraintes ice | ||
| 650 | |a Programmation logique | ||
| 650 | |a Programmation linéaire | ||
| 650 | |a Thèses et écrits académiques | ||
| 700 | 1 | |a Ferrand, G. |4 ths | |
| 710 | 2 | |a Université d'Orléans. |4 dgg | |
| 787 | 0 | 8 | |i Reproduced as: |0 126356246 |t Méthodes de résolution de disjonctions de contraintes linéaires : application à la programmation logique avec contraintes |f Bruno de Backer |c Grenoble |n Atelier national de reproduction des thèses |d 1995 |p 1 microfiche |s [Grenoble thèses] |
| 997 | |0 197136 |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-1995-9 |z Orléans, BU Sciences, Technologies, STAPS, TS 19-1995-9b | ||
| 999 | |5 452342104:052165272 |a ORLEANS | ||