Modélisation et résolution de problèmes de décision et d'optimisation hiérarchiques en utilisant des contraintes quantifiées
Cette thèse s inscrit dans le cadre de la programmation par contraintes quantifiées, un formalisme étendantla programmation par contraintes classique en ajoutant aux variables des quantificateurs existentiels ouuniversels, ce qui apporte en théorie une expressivité suffisante pour modéliser des prob...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Thèse numérique |
| Sprache: | Français |
| Veröffentlicht: |
2010.
|
| Schlagworte: | |
| Online Zugang: | Accès au texte intégral https://theses.univ-orleans.fr/public/2010ORLE2008_va.pdf http://www.theses.fr/2010ORLE2008/abes https://theses.hal.science/tel-00486721 |
| Anmerkung: |
Titre provenant de l'écran-titre Ecole(s) Doctorale(s) : École doctorale Sciences et technologies (Orléans ; 2009-2012) Partenaire(s) de recherche : Laboratoire d'informatique fondamentale d'Orléans (Orléans ; 1987-....) (Laboratoire), Laboratoire d'Informatique Fondamentale d'Orléans (Laboratoire) Autre(s) contribution(s) : Denys Duchier (Président du jury) ; Arnaud Lallouet, Denys Duchier, Lakhdar Saïs, Christian Bessière, Lucas Bordeaux, François Fages (Membre(s) du jury) ; Lakhdar Saïs, Christian Bessière (Rapporteur(s)) |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Decision and hierarchical optimisation problem modeling and solving by use of quantified contraints |
| LEADER | 04241nam a22003857a 4500 | ||
|---|---|---|---|
| 001 | 383704 | ||
| 008 | 110202s2010 xxe ||| |||| 00| 0 fre d | ||
| 009 | PPN149771312 | ||
| 041 | 0 | |a fre |b fre |b eng | |
| 082 | |a 004 | ||
| 084 | |a 004 | ||
| 100 | 1 | |a Vautard, Jérémie, |d 1982- . | |
| 240 | 1 | 0 | |a Decision and hierarchical optimisation problem modeling and solving by use of quantified contraints |
| 245 | 1 | 0 | |a Modélisation et résolution de problèmes de décision et d'optimisation hiérarchiques en utilisant des contraintes quantifiées |c Jérémie Vautard ; sous la direction de Arnaud Lallouet. |
| 256 | |a Données textuelles | ||
| 260 | |c 2010. | ||
| 500 | |a Titre provenant de l'écran-titre | ||
| 500 | |a Ecole(s) Doctorale(s) : École doctorale Sciences et technologies (Orléans ; 2009-2012) | ||
| 500 | |a Partenaire(s) de recherche : Laboratoire d'informatique fondamentale d'Orléans (Orléans ; 1987-....) (Laboratoire), Laboratoire d'Informatique Fondamentale d'Orléans (Laboratoire) | ||
| 500 | |a Autre(s) contribution(s) : Denys Duchier (Président du jury) ; Arnaud Lallouet, Denys Duchier, Lakhdar Saïs, Christian Bessière, Lucas Bordeaux, François Fages (Membre(s) du jury) ; Lakhdar Saïs, Christian Bessière (Rapporteur(s)) | ||
| 502 | |a Thèse de doctorat. Informatique. Orléans. 2010 | ||
| 520 | |a Cette thèse s inscrit dans le cadre de la programmation par contraintes quantifiées, un formalisme étendantla programmation par contraintes classique en ajoutant aux variables des quantificateurs existentiels ouuniversels, ce qui apporte en théorie une expressivité suffisante pour modéliser des problèmes avec adversaireou incertitude sur certains paramètres sous forme de problèmes appelés QCSP (Quantified Constraintsatisfaction Problem).Nous commençons par apporter une réponse aux difficultés de modélisation de problèmes réels dont estfrappée la programmation par contraintes quantifiées en introduisant une extension aux QCSP permettantd expliciter les actions possibles de l agent principal et de son adversaire. Puis, nous décrivons différentproblèmes grâce à ce formalisme, et discutons de la place de cette extension parmi les formalismes voisins créésen réponse à cette même difficulté de modélisation. Enfin, nous nous intéressons à la notion d optimisationdans le cas des contraintes quantifiées, et apportons un formalisme d optimisation de contraintes quantifiéespermettant d exprimer des problèmes multi-niveaux non linéaires. | ||
| 520 | |a 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. | ||
| 538 | |a Configuration requise : un logiciel capable de lire un fichier au format : PDF | ||
| 650 | |a Programmation par contraintes | ||
| 650 | |a Optimisation hiérarchique | ||
| 650 | |a Prise de décision (statistique) | ||
| 650 | |a Thèses et écrits académiques | ||
| 700 | 1 | |a Lallouet, Arnaud. |4 ths |4 opn | |
| 710 | 2 | |a Université d'Orléans. |4 dgg | |
| 856 | 4 | |q PDF |s 1557416 |u http://www.theses.fr/2010ORLE2008/document |z Accès au texte intégral | |
| 856 | 4 | |u https://theses.univ-orleans.fr/public/2010ORLE2008_va.pdf | |
| 856 | 4 | |u http://www.theses.fr/2010ORLE2008/abes | |
| 856 | 4 | |u https://theses.hal.science/tel-00486721 | |
| 997 | |0 383704 |1 Thèse numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||