PANDA Explanation is a tool for creating plan explanations. As input serves a solution to a planning problem found by the PANDA planning system as well as the sequence of modifications that lead to it. Based on this input, PANDA Explanation allows answering questions like "Why do I have to execute this action at all?" or "Why do I have to execute this action before this one?".
The system produces provably correct responses to these questions. These responses are sequences of axioms and logical implications. We then translate them automatically into natural language (we support both English and German).
The techniques are based upon the following paper: Making Hybrid Plans More Clear to Human Users -- A Formal Approach for Generating Sound Explanations by Seegebarth et al. (ICAPS 2012).