Prise en compte de la sémantique dans les problèmes de satisfaction de contraintes : étude des contraintes fonctionnelles

par Philippe David

Thèse de doctorat en Informatique

Sous la direction de M.-C. VILAREM.

Soutenue en 1994

à Montpellier 2 .


  • Résumé

    Diverses techniques ont ete developpees pour resoudre les problemes de satisfaction de contraintes, mais peu d'entre elles prenaient en compte la semantique des contraintes. L'objet de cette these est de tirer profit des proprietes semantiques des contraintes fonctionnelles pour accroitre l'efficacite de resolution des csp en contenant. Nous etudions tout d'abord les proprietes d'un csp fonctionnel verifiant les consistances d'arc et de chemin, les deux consistances partielles les plus utilisees ; nous exposons alors des conditions sous lesquelles une instanciation peut se prolonger en une solution sans retour arriere, puis presentons une methode reduisant la complexite de resolution. Nous introduisons ensuite une nouvelle consistance partielle, la consistance de pivot, de moindre cout que la consistance de chemin, et montrons que les resultats precedemment obtenus gardent leur validite. Nous etendons enfin cette consistance suivant deux axes: csp n-aires et csp dynamiques

  • Titre traduit

    Taking semantics into account in constraint satisfaction problems: a study of functional constraints


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : [8], 134 p
  • Annexes : Bibliogr.: p. 129-134

Où se trouve cette thèse\u00a0?

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

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-1994-DAV
  • 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.