Skip to Main content Skip to Navigation
Conference papers

A simple account of multi-agent epistemic planning

Abstract : A realistic model of multi-agent planning must allow us to formalize notions which are absent in classical planning, such as communication and knowledge.We investigate multi-agent planning based on a simple logic of knowledge that is grounded on the visibility of propositional variables. Using such a formal logic allows us to prove the existence of a plan given the description of the individual actions. We present an encoding of multi-agent planning problems expressed in this logic into the classical planning language PDDL. The solvability of a planning task is reduced to a model checking problem in a dynamic extension of our logic, proving its complexity. Feeding the resulting problem into a PDDL planner provides a provably correct plan for the original multi-agent planning problem. We apply our method on several examples such as the gossip problem.
Complete list of metadata

Cited literature [8 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01500521
Contributor : Open Archive Toulouse Archive Ouverte (OATAO) Connect in order to contact the contributor
Submitted on : Monday, April 3, 2017 - 1:35:29 PM
Last modification on : Wednesday, June 1, 2022 - 5:10:26 AM
Long-term archiving on: : Tuesday, July 4, 2017 - 12:40:22 PM

File

cooper_17045.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01500521, version 1
  • OATAO : 17045

Citation

Martin Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier. A simple account of multi-agent epistemic planning. 22nd European Conference on Artificial Intelligence (ECAI 2016), Aug 2016, The Hague, Netherlands. pp. 193-201. ⟨hal-01500521⟩

Share

Metrics

Record views

373

Files downloads

55