Problèmes de contraintes quantifiées - Vautard, Jérémie

. .

Résumé :
Cette th?se s'inscrit dans le cadre de la programmation par contraintes quantifi?es, un formalisme ?tendant la programmation par contraintes classique en ajoutant aux variables des quantificateurs existentiels ou universels, ce qui apporte en th?orie une expressivit? suffisante pour mod?liser des probl?mes avec adversaire ou incertitude sur certains param?tres sous forme de probl?mes appel?s QCSP (Quantified Constraint Satisfaction Problem). Nous commen?ons par apporter une r?ponse aux difficult?s de mod?lisation de probl?mes r?els dont est frapp?e la programmation par contraintes quantifi?es en introduisant une extension aux QCSP permettant d'expliciter les actions possibles de l'agent principal et de son adversaire. Puis, nous d?crivons diff?rent probl?mes gr?ce ? ce formalisme, et discutons de la place de cette extension parmi les formalismes voisins cr??s en r?ponse ? cette m?me difficult? de mod?lisation. Enfin, nous nous int?ressons ? la notion d'optimisation dans le cas des contraintes quantifi?es, et apportons un formalisme d'optimisation de contraintes quantifi?es permettant d'exprimer des probl?mes multi-niveaux non lin?aires.

Biographie:
Docteur en informatique de l'universit? d'Orl?ans.