Une formalisation de la résolution des problèmes de satisfaction de contraintes : application à la vision grammaticale de CLP
Résoudre un Problème de Satisfaction de Contraintes (CSP) consiste à trouver une affectation pour chaque variable du problème parmi un ensemble de valeurs appartenant à un domaine qui satisfasse toutes les contraintes. Pour cela, les solveurs utilisent des méthodes de propagation de contraintes issu...
Tallennettuna:
| Päätekijä: | |
|---|---|
| Muut tekijät: | |
| Aineistotyyppi: | Thèse et Mémoire papier |
| Kieli: | Français |
| Julkaistu: |
[S.l.] :
[s.n.]
2004.
|
| Aiheet: | |
| Huomautus: |
Publication autorisée par le jury |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | A formalisation of constraints satisfaction problems resolution :, application to the grammatical view of CLP |
| LEADER | 02644nam a22002897a 4500 | ||
|---|---|---|---|
| 001 | 227163 | ||
| 008 | 060214s2004 xxe ||| |||| 00| 0 fre d | ||
| 009 | PPN096252596 | ||
| 041 | 0 | |a fre |b fre |b eng | |
| 084 | |a 004 | ||
| 100 | 1 | |a Arsouze, Julien, |d 1976- | |
| 240 | 1 | 0 | |a A formalisation of constraints satisfaction problems resolution : |b application to the grammatical view of CLP |
| 245 | 1 | 0 | |a Une formalisation de la résolution des problèmes de satisfaction de contraintes : |b application à la vision grammaticale de CLP |c par Julien Arsouze ; [sous la dir. de] Gérard Ferrand,... |
| 260 | |a [S.l.] : |b [s.n.], |c 2004. | ||
| 300 | |a 1 vol. (120 p.) ; |c 30 cm. | ||
| 500 | |a Publication autorisée par le jury | ||
| 502 | |a Thèse de doctorat. Informatique. Orléans. 2004 | ||
| 504 | |a Bibliogr. p. 113-117. Index | ||
| 520 | |a Résoudre un Problème de Satisfaction de Contraintes (CSP) consiste à trouver une affectation pour chaque variable du problème parmi un ensemble de valeurs appartenant à un domaine qui satisfasse toutes les contraintes. Pour cela, les solveurs utilisent des méthodes de propagation de contraintes issues des notions de consistance locale. Les itérations chaotiques d'opérateurs corrects, monotones et contractants modélisent la sémantique opérationnelle de ces solveurs. Nous présentons ici les -itérations chaotiques qui permettent d'obtenir une abstraction plus fine des algorithmes de résolution. Pour obtenir une affectation satisfaisant toutes les contraintes, il est nécessaire d'utiliser également des algorithmes de recherche qui sont aussi pris en compte dans notre formalisme. Nous proposons d'utiliser ce dernier en considérant la construction des squelettes d'arbres de preuves de la Programmation Logique avec Contraintes (CLP) comme la résolution d'un CSP particulier. | ||
| 650 | |a Contraintes (intelligence artificielle) | ||
| 650 | |a Itération (mathématiques) | ||
| 650 | |a Point fixe, Théorème du | ||
| 650 | |a Thèses et écrits académiques | ||
| 700 | 1 | |a Ferrand, Gérard, |d 19..-...., |c professeur d'informatique. |4 ths | |
| 710 | 2 | |a Université d'Orléans. |4 dgg | |
| 787 | 0 | 8 | |i Reproduced as: |0 246867035 |t Une formalisation de la résolution des problèmes de satisfaction de contraintes |o application à la vision grammaticale de CLP |f par Julien Arsouze |c Lille |n Atelier national de reproduction des thèses |d 2004 |p Microfiches |s Lille-Thèses |
| 997 | |0 227163 |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-2004-73 |z Orléans, BU Sciences, Technologies, STAPS, TS 19-2004-73 b | ||