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.


  • 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 : Bibliothèque universitaire Sciences - Sport (Besançon).
  • Disponible pour le PEB
  • Bibliothèque : Université Savoie Mont Blanc (Annecy-le-Vieux). Bibliothèque de Polytech'Annecy-Chambéry, site d'Annecy.
  • 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.