Au delà des QCSP pour résoudre des problèmes de contrôle - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Au delà des QCSP pour résoudre des problèmes de contrôle

Résumé

Les problèmes de satisfaction de contraintes quantifiés (QCSP) sont souvent présent és comme les outils adéquats permettant de mod éliser et de résoudre des problèmes de jeu à deux joueurs ou de planification dans l'incertain ou plus généralement des problèmes o u l'objectif est de contrôler un système dynamique soumis à des événements incontrôlés. Ce papier montre que, pour de nombreux probl èmes de ce type, l'approche standard de type QCSP ou QCSP+ n'est pas la plus appropriée. Les raisons principales en sont que, dans le cadre QCSP/QCSP+, (1) les évolutions possibles du syst ème sont d épli ées sur un nombre fixé d' étapes, (2) la notion d'état du système n'est pas explicitement prise en compte et (3) les algorithmes recherchent des stratégies gagnantes à mémoire complète définies comme des arbres de politique plutôt que des stratégies sans mémoire définies comme des fonctions depuis les états vers les décisions. Ce papier propose un nouveau cadre à base de contraintes qui n'a pas ces défauts. Les expérimentations montrent des améliorations de plusieurs ordres de grandeur par rapport a des solveurs de QCSP/QCSP+.
Fichier principal
Vignette du fichier
paper_34.pdf (415.56 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00829639 , version 1 (03-06-2013)

Identifiants

  • HAL Id : hal-00829639 , version 1

Citer

Cédric Pralet, Gérard Verfaillie. Au delà des QCSP pour résoudre des problèmes de contrôle. Huitièmes Journées Francophones de Programmation par Contraintes - JFPC 2012, May 2012, Toulouse, France. ⟨hal-00829639⟩

Collections

ONERA
56 Consultations
120 Téléchargements

Partager

Gmail Facebook X LinkedIn More