OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

A simple account of multiagent epistemic planning

Cooper, Martin C. and Herzig, Andreas and Maffre, Faustine and Maris, Frédéric and Régnier, Pierre A simple account of multiagent epistemic planning. (2015) In: 10èmes Journées Francophones sur la Planification, la Décision et l'Apprentissage (JFPDA 2015), 1 May 2015 - 3 July 2015 (Rennes, France).

[img]
Preview
(Document in English)

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

Abstract

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.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to AFIA :Association française pour l'intelligence artificielle. The original PDF is available at: http://pfia2015.inria.fr/actes/index.php?procpage=jfpda
HAL Id:hal-01316827
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UPS (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 By: IRIT IRIT
Deposited On:19 Apr 2016 14:23

Repository Staff Only: item control page