Modélisation et résolution de problèmes de décision et d'optimisation hiérarchiques en utilisant des contraintes quantifiées

Abstract : This thesis presents works in the research area of quantified constraint programming, which extends theconstraint programming framework by setting (existential and universal) quantifiers to the problem’s variables.This framework is theoretically expressive enough to model problems where an opponent or uncertainparameters are involved, under the form of Quantified Constraint Safisfaction Problems (QCSP).QCSPs suffer from a modeling difficulty that we solve by presenting an extension to this framework, in whichpossible moves for the principal agent and its opponent may be explicitely declared. Then, we describe realproblems using this extention, and discuss of its pros and cons against neighbour framework thar were createdto solve the same difficulty. Finally, we focus on quantifies optimization problems, and present a quantifiedoptimization framework thet allows the modeling of nonlinear multi-level problems.
Document type :
Theses
Autre [cs.OH]. Université d'Orléans, 2010. Français. 〈NNT : 2010ORLE2008〉
Liste complète des métadonnées

Cited literature [54 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00486721
Contributor : Abes Star <>
Submitted on : Wednesday, February 2, 2011 - 5:44:28 PM
Last modification on : Thursday, January 17, 2019 - 3:06:04 PM
Document(s) archivé(s) le : Tuesday, May 3, 2011 - 3:34:25 AM

File

jeremie.vautard_2063.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-00486721, version 2

Collections

Citation

Jérémie Vautard. Modélisation et résolution de problèmes de décision et d'optimisation hiérarchiques en utilisant des contraintes quantifiées. Autre [cs.OH]. Université d'Orléans, 2010. Français. 〈NNT : 2010ORLE2008〉. 〈tel-00486721v2〉

Share

Metrics

Record views

464

Files downloads

464