EFP 2.0 - Epistemic Forward Planner

Code and data

• GitHub repository

Description

EFP 2.0 is an epistemic planner that is built on top a fragment of Dynamic Epistemic Logic called $m\mathcal{A}^*$. The fragment comprises (public and private) ontic actions and (public, private and semi-private) sensing and announcement actions. The planner implements both a Kripke semantics for the fragment and a novel alternative semantics based on objects called possibilities.

Publications

• EFP 2.0: A Multi-Agent Epistemic Solver with Multiple E-State Representations. Fabiano, F., Burigana, A., Dovier, A., and Pontelli, E. (ICAPS 2020)