OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

A simple account of multi-agent epistemic planning

Cooper, Martin C. and Herzig, Andreas and Maffre, Faustine and Maris, Frédéric and Régnier, Pierre A simple account of multi-agent epistemic planning. (2016) In: 22nd European Conference on Artificial Intelligence (ECAI 2016), 29 August 2016 - 2 September 2016 (The Hague, Netherlands).

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: http://dx.doi.org/10.3233/978-1-61499-672-9-193


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.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to IOS editor. The definitive version is available at http://ebooks.iospress.nl. This papers appears in volume 285 of Frontiers in Artificial Intelligence and Applications ISBN : 978-1-61499-671-2 The original PDF is available at: http://ebooks.iospress.nl/volumearticle/44758
HAL Id:hal-01500521
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Deposited On:20 Mar 2017 13:22

Repository Staff Only: item control page