Génération de plans à partir d'une spécification déclarative d'une collaboration

Djamila Baroudi (1, 2) , Chihab Hanachi (3) , Frédéric Maris (4)

1 Université Abdelhamid Ibn Badis de Mostaganem
2 Lab-STICC_IMTA_CACS_MOCS
3 IRIT-SMAC - Systèmes Multi-Agents Coopératifs
4 IRIT-ADRIA - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage

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.

Mots clés: Planification; Gestion des crises; Collaboration des processus; Prouveurs SAT

Domaines: Informatique [cs]

Djamila Baroudi, Chihab Hanachi, Frédéric Maris. Génération de plans à partir d'une spécification déclarative d'une collaboration. Journées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes (JFPDA 2017), Jul 2017, Caen, France. ⟨hal-03120299⟩