Der PANDA-Explainer ist ein Tool zur Erzeugung von Planerklärungen. Es erhält als Eingabe eine vom PANDA-Planungssystem erzeugte Lösung eines Planungsproblems sowie der Sequenz von Modifikationen, welche zu dieser Lösung führte. Basierend auf diesen Eingaben erlaubt das Tool die Beantwortung von Fragen zur gegebenen Lösung wie "Wieso ist diese Aktion im Plan vorhanden?" oder "Wieso muss ich diese Aktion vor dieser hier ausführen?".

Das System erzeugt beweisbar korrekte Antworten auf diese Fragen. Diese Antworten sind formal eine Sequenz von Axiomen. Sie können aber automatisiert in natürliche Sprache (Deutsch und Englisch) umgewandelt werden.

Grundlage dieser Techniken ist das Papier Making Hybrid Plans More Clear to Human Users -- A Formal Approach for Generating Sound Explanations von Seegebarth et al. (ICAPS 2012).