Apport des explications dans la conception d'outils de mise au point pour la PPC

• Auteur / Autrice : Samir Ouis
• Direction : Patrice Boizumault, Narendra Jussien
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 2003
• Etablissement(s) : Nantes
• Ecole(s) doctorale(s) : École doctorale sciences et technologies de l'information et des matériaux (Nantes)

Mots clés

Mots clés contrôlés

Programmation par contraintes

Résumé

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.

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.