Extensions reactives de la programmation par contraintes

par YAN GEORGET

Thèse de doctorat en Sciences et techniques. Sciences et techniques communes

Sous la direction de Philippe Codognet.

Soutenue en 1999

à Palaiseau, Ecole polytechnique .

    mots clés mots clés


  • Résumé

    La programmation (logique) par contraintes est une technique de choix pour la resolution de problemes de satisfaction de contraintes et d'optimisation combinatoire. Neanmoins, les problemes du monde reel ne sont pas toujours simplement modelisables sous la forme de problemes de contraintes : la specification du probleme peut etre imprecise (probleme flou), la specification peut etre trop contrainte : le probleme n'admet pas de solution pourtant on a besoin d'en trouver une (probleme sur-contraint), le probleme n'est pas fixe mais evolue cours du temps (probleme dynamique). Dans cette these, nous proposons deux extensions orthogonales (mais dont l'utilisation conjointe sera fructueuse) de la programmation par contraintes. Nous proposons des algorithmes incrementaux pour le retrait de contraintes, nous appliquerons ces algorithmes a la resolution de problemes incrementaux mais aussi a la recherche locale. Nous proposons une technique d'implementation generique pour les contraintes valuees, nous appliquerons les contraintes valuees a la resolution de problemes flous, surcontraints mais aussi a l'encodage de contraintes globales. Finalement nous proposons le langage clp(fd,s) (distribue sur le cd-rom de l'inria et par http) incluant l'ensemble de ces techniques. Programmation par contraintes, reactivite, retrait de contraintes, problemes flous, problemes sur-contraints, contraintes valuees, contraintes globales, algorithmes, compilation.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 252 p.
  • Annexes : 116 ref.

Où se trouve cette thèse ?

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : D-GEO
  • Bibliothèque : École polytechnique. Bibliothèque Centrale.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.