Problèmes de contraintes quantifiées modélisation, satisfaction et optimisation

Cette these s'inscrit dans le cadre de la programmation par contraintes quantifiees, un formalisme etendant la programmation par contraintes classique en ajoutant aux variables des quantificateurs existentiels ou universels, ce qui apporte en theorie une expressivite suffisante pour modeliser des problemes avec adversaire ou incertitude sur certains parametres sous forme de problemes appeles QCSP (Quantified Constraint Satisfaction Problem). Nous commencons par apporter une reponse aux difficultes de modelisation de problemes reels dont est frappee la programmation par contraintes quantifiees en introduisant une extension aux QCSP permettant d'expliciter les actions possibles de l'agent principal et de son adversaire. Puis, nous decrivons different problemes grace a ce formalisme, et discutons de la place de cette extension parmi les formalismes voisins crees en reponse a cette meme difficulte de modelisation. Enfin, nous nous interessons a la notion d'optimisation dans le cas des contraintes quantifiees, et apportons un formalisme d'optimisation de contraintes quantifiees permettant d'exprimer des problemes multi-niveaux non lineaires."