Problèmes de satisfaction de contraintes : étude de mécanismes d'abstraction et de construction de hiérarchies

par Sylvain Merchez

Thèse de doctorat en Informatique

Sous la direction de Eric Grégoire.

Soutenue en 2000

à l'Artois .


  • Résumé

    De nombreux problèmes issus de l'intelligence artificielle et de la recherche opérationnelle peuvent s'exprimer naturellement sous forme de contraintes. Cette thèse est une étude de deux aspects importants concernant les problèmes de satisfaction de contraintes (ou CSP pour constraint satisfaction problem). Dans une première partie, nous nous sommes intérssés à la définition d'un cadre formel permettant de construire des abstractions de CSPS. Notre principal objectif a été de rendre aussi générale que possible notre proposition. Cela se traduit par la possibilité d'intégrer aussi bien les formes classiques d'abstraction de csps (introduites dans la littérature), que des formes originales identifiées dans cette thèse. Ces dernières correspondent à la notion de regroupement dit général de valeurs et de variables. L'origine de la généralité du cadre est liée à l'utilisation de relations d'approximation comme liens d'abstraction. Afin de prouver expérimentalement l'intérêt des formes originales d'abstraction, nous avons développé le prototype abscon. Dans une seconde partie, nous nous sommes intéressés à la modélisation de csps prenant en compte des préférences (ou priorités). Nous proposons à cet effet un modèle de hiérarchie flexible qui permet d'évaluer et de classer l'ensemble des instanciations possibles (ou solutions potentielles). Nous calculons une évaluation globale qui intègre pour chaque niveau de la hiérarchie un degré de satisfaction et un degré de tolérance. Le degré de tolérance d'un niveau permet de prendre plus ou moins en compte les niveaux suivants de la hiérarchie. Le modèle que nous proposons est directement construit à partir de l'expression des contraintes, ce qui le rend naturellement déclaratif. Nous illustrons notre approche à l'aide d'une application réelle: la détermination du profil de réseaux d'assainissement.

  • Titre traduit

    Constraint satisfaction problems : abstraction and hierarchies


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (222 p.)
  • Annexes : Bibliogr. p. 205-215. Index

Où se trouve cette thèse ?

  • Bibliothèque : Université d'Artois (Lens, Pas-de-Calais). Bibliothèque de Sciences.
  • Disponible pour le PEB
  • Cote : 00 ARTO 0405
  • Bibliothèque : Centre de recherche en informatique de Lens. Bibliothèque.
  • Non disponible pour le PEB
  • Cote : 00 ARTO 0405
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.