KR2020Proceedings of the 17th International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning

Rhodes, Greece. September 12-18, 2020.

Edited by
  1. Diego Calvanese
  2. Esra Erdem
  3. Michael Thielscher

ISSN: 2334-1033
ISBN: 978-0-9992411-7-2

Sponsored by
Published by

Copyright © 2020 International Joint Conferences on Artificial Intelligence Organization

Lightweight Parallel Multi-Agent Epistemic Planning

  1. Martin Cooper(IRIT - Université Paul Sabatier - Toulouse III)
  2. Andreas Herzig(CNRS, IRIT, Univ. Toulouse)
  3. Frédéric Maris(IRIT - Université Paul Sabatier - Toulouse III)
  4. Elise Perrotin(IRIT - Université Paul Sabatier - Toulouse III)
  5. Julien Vianey(IRIT - Université Paul Sabatier - Toulouse III)
PDF
BibTeX
DOI 10.24963/kr.2020/28

Keywords

  1. Reasoning about actions and change, action languages-General
  2. Reasoning about knowledge, beliefs, and other mental attitudes-General

Abstract

We study a simple version of multi-agent epistemic planning where the number of parallel steps has to be minimized. We prove that this extension of classical planning is in PSPACE. We propose an encoding in PDDL and present some experiments providing evidence that this encoding allows us to solve practical problems. The types of problems we can encode include problems in which one agent can teach another agent how to perform a task and communication problems where some information must not be revealed to some agents.