A simple account of multiagent epistemic planning - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

A simple account of multiagent epistemic planning

Résumé

A realistic model of multiagent planning must allow us to model notions which are absent in classical planning such as communication and knowledge. We investigate multiagent planning based on a simple logic of action and knowledge that is based on the visibility of propositional variables. Using such a formal logic allows us to deduce the validity of a plan from the validity of the individual actions which compose it. We present a coding of multiagent planning problems expressed in this logic into the classical planning language PDDL. Feeding the resulting problem into a PDDL planner provides a provably correct plan for the original multiagent planning problem. We use the gossip problem as a running example.
Fichier principal
Vignette du fichier
Cooper_15451.pdf (176.75 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01316827 , version 1 (17-05-2016)

Identifiants

  • HAL Id : hal-01316827 , version 1
  • OATAO : 15451

Citer

Martin Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier. A simple account of multiagent epistemic planning. 10èmes Journées Francophones sur la Planification, la Décision et l'Apprentissage (JFPDA 2015), May 2015, Rennes, France. pp. 23-29. ⟨hal-01316827⟩
146 Consultations
141 Téléchargements

Partager

Gmail Facebook X LinkedIn More