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

par Samir Ouis

Thèse de doctorat en Informatique

Sous la direction de Patrice Boizumault et de Narendra Jussien.


  • 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.


  • Résumé

    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.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 151 p.
  • Notes : publication autorisée par le jury
  • Annexes : Bibliogr. p. 131-139

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Nantes. Service commun de la documentation. BU Sciences.
  • Disponible pour le PEB

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université de Lille. Service commun de la documentation. Bibliothèque universitaire de Sciences Humaines et Sociales.
  • Non disponible pour le PEB
  • Cote : 2003NANT2082
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.