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 183kB |
Official URL: http://dx.doi.org/10.3233/978-1-61499-672-9-193
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.
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: | |
Statistics: | download |
Deposited On: | 20 Mar 2017 13:22 |
Repository Staff Only: item control page