A simple account of multi-agent epistemic planning - Archive ouverte HAL Access content directly
Conference Papers Year : 2016

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.
Fichier principal
Vignette du fichier
cooper_17045.pdf (178.72 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01500521 , version 1 (03-04-2017)

Identifiers

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

Cite

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⟩
393 View
85 Download

Share

Gmail Facebook X LinkedIn More