A PDDL-based simulation system

This paper presents a planning simulation system that allows automated planning practitioners to experiment with planning domains, defined using the PDDL language. The proposed system has a modular architecture including a SAT planner (PDDL parser, SAT encoder and SAT solver), a plan simulator and a 3D view user interface. Most of these modules can be changed with other with similar purpose. This system allows users to test and validate PDDL domains and solutions, using an attractive user interface that includes the simulation of the execution of the plan on a 3D view as an animation.