Contribution à l'étude des problèmes de satisfaction de contraintes : algorithmes de propagation et de résolution : propagation de contraintes dans les réseaux dynamiques

par Philippe Jégou

Thèse de doctorat en Informatique

Sous la direction de Michel Chein.

Soutenue en 1991

à Montpellier 2 .


  • Résumé

    Nous presentons une etude sur la resolution de problemes de satisfaction de contraintes (au sens csp). Si la litterature concernant les csp binaires (contraintes limitees a deux variables) est particulierement fournie, celle relative au cas general (contraintes d'arite quelconque) est assez limitee. Aussi, apres un rappel exhaustif sur les techniques de propagation et de satisfaction de contraintes, nous proposons des resultats theoriques et pratiques relatifs a la problematique generale. Ces resultats concernent notamment la representation de csp n-aires par des csp binaires, les techniques de filtrage par propagation de contraintes et les methodes de resolution de problemes par decomposition. Dans une seconde partie, nous etudions un formalisme issu des csp: les csp dynamiques. Ce modele impose la gestion d'ensembles de contraintes evolutifs dans un cadre de resolution. Si les techniques classiques sont applicables dans certains cas, les particularites du modele imposent le developpement de methodes specifiques adaptees a son aspect dynamique. Nous proposons ainsi une methode de maintien de consistance partielle dans un reseau de contraintes dont l'objectif concerne egalement le calcul d'informations supplementaires permettant l'explication des causes de propagations

  • Titre traduit

    Constraints-satisfaction problems: propagation and resolution algorithms. Constraints propagation in dynamic networks


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : [1] f., 310 p
  • Annexes : Notes bibliogr., bibliogr. p. 295-305

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Bibliothèque interuniversitaire. Section Sciences.
  • Disponible pour le PEB
  • Cote : TS 91.MON-015

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.
  • Accessible pour le PEB
  • Cote : MF-1991-JEG
  • 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.