Multi-agent Epistemic Planner with Knowledge

This is a planner for multi-agent epistemic planning.

To reference this paper, please use:

@article{wan2021general,
  title={A general multi-agent epistemic planner based on higher-order belief change},
  author={Wan, Hai and Fang, Biqing and Liu, Yongmei},
  journal={Artificial Intelligence},
  volume={301},
  pages={103562},
  year={2021},
  publisher={Elsevier}
}

Original code of IJCAI2017: A General Multi-agent Epistemic Planner Based on Higher-order Belief Change can be accessed here.

Introduction

MEPK is implemented in C/C++. It's a knowledge-base based planner which means it treats a knowledge-base as a state in the searching progress. (More details can be found in above paper and a comprehensive introduction will be proposed later)

Platform

Tested on Ubuntu 18.04 and macOS Mojave.

Dependencies

flex/bison - for parsing epddl

expect - for setting timeout

Compile and Run

Change to the directory MEPK/src

• Compile:

$ make

• Run with breadth first search:

  • Run one test case

  $ ./mepk ../benchmarks/hexa/hexa_domain3.epddl 2

  • Run all test cases

  $ ./run_with_bfs.sh

• Run with heuristic strategy:

  • Run one test case

  $ ./mepk ../benchmarks/hexa/hexa_domain3.epddl 0

  • Run all test cases

  $ ./run_with_heu.sh

• Debug:

$ ./test ../benchmarks/hexa/hexa_domain3.epddl