 |
Free and accessible knowledge |
Conference papers
A simple account of multiagent epistemic planning
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.
Cited literature [8 references]
https://hal.archives-ouvertes.fr/hal-01316827
Contributor : Open Archive Toulouse Archive Ouverte (OATAO) Connect in order to contact the contributor
Submitted on : Tuesday, May 17, 2016 - 4:59:48 PM
Last modification on : Monday, July 4, 2022 - 9:39:16 AM
Long-term archiving on: : Friday, August 19, 2016 - 5:23:10 PM
Contributor : Open Archive Toulouse Archive Ouverte (OATAO) Connect in order to contact the contributor
Submitted on : Tuesday, May 17, 2016 - 4:59:48 PM
Last modification on : Monday, July 4, 2022 - 9:39:16 AM
Long-term archiving on: : Friday, August 19, 2016 - 5:23:10 PM
File
Cooper_15451.pdf
Files produced by the author(s)