QCSP non bloquants : un cas spécial de problèmes quantifiés
Résumé
Ce papier présente un cas spécial de QCSP+appelé QCSP+non bloquants, dans lesquels les restrictions posées sur les quantificateurs ne vident jamais le domaine d'une variable. Intuitivement, ces cas spéciaux correspondent à des jeux opposant deux adversaires dans lesquels il n'est pas possible de bloquer toute possibilité de mouvement d'un joueur. Nous présentons des techniques de résolution basées sur ce cas spécial, ainsi que des exemples de modèles non-bloquants.
Domaines
Intelligence artificielle [cs.AI]
Origine : Fichiers produits par l'(les) auteur(s)