Génération de plans à partir d'une spécification déclarative d'une collaboration
Résumé
Ce travail est consacré à la planification dans la gestion de crises, telles que les inondations, les tremblements de terre ou explosions de violences urbaines. L’objectif de ce travail est de générer des plans à partir d’une spécification déclarative de la collaboration entre les différents acteurs impliqués dans la gestion de crise. Nous explorons les possibilités des prouveurs SAT comme un moyen de générer efficacement ces plans qui peuvent être utilisés par une cellule de crise pour coordonner au mieux les acteurs sur le terrain. Cet article précise notre problématique, les contributions attendues, ainsi qu’une première modélisation SAT.