Etude et réalisation d'un système de programmation logique par contraintes abstraites multidomaines

par Sylvain Laduguie

Thèse de doctorat en Automatique et informatique

Sous la direction de Jean-Jacques Chabrier.

Soutenue en 1993

à Besançon .


  • Résumé

    Nous proposons dans cette thèse une nouvelle approche des systèmes de programmation logique avec contraintes. Son principe est de fournir à l'utilisateur des traits de langage de haut niveau d'abstraction, afin de lui permettre d'exprimer ses problèmes de manière simple et naturelle, dans un environnement proche de son univers de discours. A partir d'éléments de base (entiers, booléens, réels,. . . ), il est possible de définir de nouvelles classes d'objets, de plus en plus complexes, et les relations entre ces objets. Ces classes sont regroupées en librairies dont l'utilisateur peut disposer pour modéliser son problème. Une fois définie, la modélisation abstraite d'un problème est ensuite soumise à des transformations, dont le but est de déterminer un ensemble équivalent de contraintes de base exploitables par les méthodes classiques de résolution. Cette approche a été validée par le développement d'un système travaillant sur les entiers et les booléens.

  • Titre traduit

    Study and realization of an abstract constraints logic programming system integrating several solvers


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (172 p.)
  • Annexes : Bibliogr. (87 réf.)

Où se trouve cette thèse ?

  • Bibliothèque :
  • Disponible pour le PEB
  • Bibliothèque :
  • Disponible pour le PEB
  • Cote : T P1993/322
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.