Techniques algorithmiques pour l'extraction de formules minimales inconsistantes

par Cédric Piette

Thèse de doctorat en Informatique

Sous la direction de Eric Grégoire.

Soutenue en 2007

à l'Artois .

  • Titre traduit

    Algorithmic for extraction of minimally unsatisfiable subformulae


  • Pas de résumé disponible.


  • Résumé

    Les travaux présentés dans cette thèse concernent l'extraction de formules minimales inconsistantes. Quand des formules de grande taille censées être satisfaisables sont prouvées incohérentes, il peut être extrêmement difficile de déterminer la cause du problème, dans l'espoir de le réparer. En effet, toutes les contraintes d'un système ne sont pas nécessairement à l'origine de son incohérence, seules quelques-unes d'entre elles peuvent être conflictuelles et rendre l'ensemble sans solution. Cependant, contrairement aux problèmes cohérents pour lesquels un modèle peut être exhibé, une réponse négative au test de la consistance d'une formule n'apporte que peu d'informations. Il semble intéressant de déterminer pourquoi un problème est sans solution ; précisément, dans ce cas, on cherche à effectuer l'extraction des plus petits ensembles de contraintes contradictoires. Dans ce mémoire sont dépeintes nos différentes contributions au calcul de sous-ensembles minimaux inconsistants dans le cadre SAT et CSP. Plusieurs approches, aussi bien approchées qu'exactes et complètes, sont présentées et étudiées dans ce document.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (145 p.)
  • Annexes : Bibliogr. p. 135-145

Où se trouve cette thèse ?

  • Bibliothèque : Université d'Artois (Lens, Pas-de-Calais). Bibliothèque de Sciences.
  • Disponible pour le PEB
  • Cote : 07 ARTO 0404
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.