Resolution de contraintes sur les sequences en programmation logique avec contraintes

par Hamza Zidoum

Thèse de doctorat en Sciences appliquées

Sous la direction de Bruno Legeard.

Soutenue en 1996

à Besançon .


  • Résumé

    Nous proposons dans cette these des techniques de resolution de contraintes sur des structures ordonnees definies sur une collection d'objets que nous denomons sequences. Nous definissons sur la structure de sequences une axiomatique et proposons une approche fondee sur l'utilisation explicite des relations de groupe, de precedence et de diametre pour exprimer et raisonner d'une maniere intuitive sur les contraintes ensemblistes, potentielles et metriques definies sur des collections d'objets. Ces relations permettent d'exprimer des contraintes sur les sequences et sont traitees incrementalement par des techniques de consistance dans un langage de programmation en logique avec contraintes. Notre approche est fondee sur l'utilisation d'une structure algebrique canonique appelee arbre pqr pour la representation et la resolution des contraintes. Les principales proprietes de cette structure arborescente sont: (1) la reduction incrementale, (2) la forme canonique et, (3) le cout de reduction lineaire sur le fragment forme par les contraintes de definition, de groupe et potentielle. Nous validons notre travail en mettant en evidence l'interet de la structure de sequences pour la modelisation et la resolution des problemes lies au sequencement i. E. Principalement les problemes d'ordonnancement

  • Titre traduit

    Solving sequences constraints in constraints logic programming


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 144 P.
  • Annexes : 97 REF.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Bibliothèque universitaire Sciences Sport Claude Oytana (Besançon).
  • Disponible pour le PEB

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Non disponible pour le PEB
  • Cote : MF-1996-ZID
  • 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.