Nantilus
Apport des explications dans la conception d'outils de mise au point pour la PPC
Les systèmes de la programmation par contraintes sont impuissants face à des problèmes sur-contraints. De plus, la résolution des problèmes dynamiques revient à résoudre une suite de problèmes statiques. Mais ceci peut rapidement devenir rohibitif en temps de calcul. Il s'avère donc nécessaire...
Enregistré dans:
| Auteurs principaux : | , , |
|---|---|
| Collectivités auteurs : | , |
| Format : | Thèse ou mémoire |
| Langue : | français |
| Titre complet : | Apport des explications dans la conception d'outils de mise au point pour la PPC / Samir Ouis; sous la dir. de Patrice Boizumault et Narendra Jussien |
| Publié : |
[S.l.] :
[s.n.]
, 2003 |
| Description matérielle : | 151 p. |
| Condition d'utilisation et de reproduction : | publication autorisée par le jury |
| Note de thèse : | Thèse doctorat : Informatique : Nantes : 2003 |
| Sujets : | |
| Documents associés : | Reproduit comme:
Apport des explications dans la conception d'outils de mise au point pour la PPC |
| Particularités de l'exemplaire : | BU Sciences, Ex. 1 : Titre temporairement indisponible à la communication |
| LEADER | 03828cam a2200469 4500 | ||
|---|---|---|---|
| 001 | PPN077321340 | ||
| 003 | http://www.sudoc.fr/077321340 | ||
| 005 | 20240829055200.0 | ||
| 029 | |a FR |b 2003NANT2082 | ||
| 035 | |a (OCoLC)492405316 | ||
| 100 | |a 20040408d2003 k y0frey0103 ba | ||
| 101 | 0 | |a fre |d fre |d eng |2 639-2 | |
| 102 | |a FR | ||
| 105 | |a ||||m ||||| | ||
| 106 | |a r | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c n |2 rdamedia | ||
| 182 | 1 | |6 z01 |a n | |
| 200 | 1 | |a Apport des explications dans la conception d'outils de mise au point pour la PPC |f Samir Ouis |g sous la dir. de Patrice Boizumault et Narendra Jussien | |
| 210 | |a [S.l.] |c [s.n.] |d 2003 | ||
| 215 | |a 151 p. |d 30 cm | ||
| 316 | |5 441092104:200412124 |a Titre temporairement indisponible à la communication | ||
| 320 | |a Bibliogr. p. 131-139 | ||
| 328 | |b Thèse doctorat |c Informatique |e Nantes |d 2003 | ||
| 330 | |a Les systèmes de la programmation par contraintes sont impuissants face à des problèmes sur-contraints. De plus, la résolution des problèmes dynamiques revient à résoudre une suite de problèmes statiques. Mais ceci peut rapidement devenir rohibitif en temps de calcul. Il s'avère donc nécessaire de disposer d'outils de mise au point pour traiter ces problèmes. Nous nous sommes intéressés à la proposition et la conception d'outils interactifs de mise au point se basant sur les explications k-relevantes. Nous présentons cinq outils permettant de : calculer des explications précises; fournir un bon diagnostic; savoir si une contrainte appartient à un nogood; simuler l'ajout (resp. relaxation) de contraintes. Souvent, les nogoods sont incompréhensibles, d'où l'intérêt d'un outil fournissant des nogoods conviviaux permettant une bonne interaction. Enfin, nous proposons un nouvel algorithme de calcul de nogoods minimaux en combinant l'approche intrusive/non-intrusive. | ||
| 330 | |a Constraint programming is helpless when the problems are over-constrained. Moreover, the resolution of the dynamic problems can be done by solving a succession of static problems. But this becomes quickly prohibitory in computing time. It thus proves necessary to have debugging tools to handle these problems. We propose and design interactive debugging tools based on k-relevant explanations. We present five tools : to calculate precise explanations; to provide a richer diagnosis; to know if a constraint belongs to a nogood; to simulate the addition (resp. relaxation) constraints. Often, the nogoods are not user-friendly, for this reason we propose a tool providing user-friendly nogoods allowing a good interaction. At last, we propose a new algorithm to compute minimal nogoods by combining the intrusive/non-intrusive approach. | ||
| 371 | 1 | |a publication autorisée par le jury | |
| 456 | | | |0 246731141 |t Apport des explications dans la conception d'outils de mise au point pour la PPC |f Samir Ouis |d 2003 |c Grenoble |n Atelier national de reproduction des thèses |p Microfiches |s [ Grenoble thèses] | |
| 606 | |3 PPN033128804 |a Programmation par contraintes |2 rameau | ||
| 608 | |3 PPN027253139 |a Thèses et écrits académiques |2 rameau | ||
| 686 | |a 004 |2 TEF | ||
| 700 | 1 | |3 PPN077321146 |a Ouis |b Samir |f 1976-... |4 070 | |
| 701 | 1 | |3 PPN029186846 |a Boizumault |b Patrice |f 1959-.... |c enseignant-chercheur en informatique |4 727 | |
| 701 | 1 | |3 PPN075877341 |a Jussien |b Narendra |f 1973-.... |4 727 | |
| 711 | 0 | 2 | |3 PPN026403447 |a Université de Nantes |c 1962-2021 |4 295 |
| 711 | 0 | 2 | |3 PPN068720513 |a École doctorale sciences et technologies de l'information et des matériaux |c Nantes |4 996 |
| 801 | 3 | |a FR |b Abes |c 20231215 |g AFNOR | |
| 979 | |a SCI | ||
| 930 | |5 441092104:200412124 |b 441092104 |j g | ||
| 991 | |5 441092104:200412124 |a Exemplaire modifié automatiquement le 18-07-2024 18:36 | ||
| 998 | |a 377446 | ||