Extensions réactives de la programmation par contraintes / Yan Georget ; sous la direction de Philippe Codognet

Résumé / Abstract : La programmation (logique) par contraintes est une technique de choix pour la résolution de problèmes de satisfaction de contraintes et d'optimisation combinatoire. Néanmoins, les problèmes du monde réel ne sont pas toujours simplement modélisables sous la forme de problèmes de contraintes : la spécification du problème peut être imprécise (problème flou), la spécification peut être trop contrainte : le problème n'admet pas de solution pourtant on a besoin d'en trouver une (problème sur-contraint), le problème n'est pas fixe mais évolue cours du temps (problème dynamique). Dans cette thèse, nous proposons deux extensions orthogonales (mais dont l'utilisation conjointe sera fructueuse) de la programmation par contraintes. Nous proposons des algorithmes incrémentaux pour le retrait de contraintes, nous appliquerons ces algorithmes a la résolution de problèmes incrémentaux mais aussi a la recherche locale. Nous proposons une technique d'implémentation générique pour les contraintes valuées, nous appliquerons les contraintes valuées à la résolution de problèmes flous, surcontraints mais aussi à l'encodage de contraintes globales. Finalement nous proposons le langage incluant l'ensemble de ces techniques.