Tests de satisfiabilite dans un langage de programmation en logique avec contraintes ensemblistes

par EMMANUEL LEGROS

Thèse de doctorat en Sciences appliquées

Sous la direction de Guy-René Perrin.

Soutenue en 1993

à Besançon .

    mots clés mots clés


  • Résumé

    Ce travail porte sur l'integration des contraintes symboliques sur des ensembles hereditairement finis dans les langages de programmation en logique, conformement au modele clp (constraint logic programming). Nous definissons dans cette these la structure d'un langage de programmation en logique avec contraintes sur des ensembles hereditairement finis (clps), disposant des operateurs d'egalite, d'appartenance, de non-appartenance, d'inclusion et enfin, d'union et d'intersection. Nous montrons que le modele standard de la programmation en logique (unification dans l'univers de herbrand) est inadapte en raison du caractere np-complet de l'unification ensembliste. Nous proposons au travers de clps une approche differente fondee non plus sur l'unification, mais sur le controle de consistance des contraintes. Le prototype clps a entierement ete developpe en prolog. Il implante d'une part des algorithmes de consistance partielle specifique aux contraintes ensemblistes, d'autre part des algorithmes d'enumeration des valeurs capables de resoudre les contraintes ensemblistes. Dans ce contexte, l'unification ensembliste est vue comme une contrainte d'egalite, qui a la maniere des autres contraintes ensemblistes, est retardee tant qu'il n'est pas possible de la resoudre de maniere deterministe. Nous utilisons le langage clps pour resoudre un probleme industriel de genie logiciel (banc de validation)


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 200 P.
  • Annexes : 78 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Bibliothèque universitaire Sciences - Sport (Besançon).
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.