Génération de plans à partir d'une spécification déclarative d'une collaboration
| Autor: | Baroudi, Djamila, Hanachi, Chihab, Maris, Frédéric |
|---|---|
| Přispěvatelé: | Université Abdelhamid Ibn Badis de Mostaganem, Lab-STICC_IMTA_CACS_MOCS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT), Systèmes Multi-Agents Coopératifs (IRIT-SMAC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Argumentation, Décision, Raisonnement, Incertitude et Apprentissage (IRIT-ADRIA), Zanuttini, Bruno, Université Toulouse 1 Capitole (UT1)-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1)-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3) |
| Jazyk: | francouzština |
| Rok vydání: | 2017 |
| Předmět: | |
| Zdroj: | Actes PFIA 2017 Journées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes (JFPDA 2017) Journées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes (JFPDA 2017), Jul 2017, Caen, France |
| Popis: | International audience; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|