On Modeling Formalisms for Automated Planning

Knowledge engineering for automated planning is still in its childhood and there has been little work done on how to model planning problems. The prevailing approach in the academic community is using the PDDL language that originated in planning competitions. In contrast, real applications require more modeling flexibility and different modeling languages were designed in order to allow efficient planning. This paper focuses on the role of a domain modeling formalism as an interface between a domain modeler and a planner.