Plato: Generic Ontology-Based Representation of Semantic Planning Knowledge for Automatic PDDL Generation. Jilg, D., Schultheis, A., & Bergmann, R. 2026.
Plato: Generic Ontology-Based Representation of Semantic Planning Knowledge for Automatic PDDL Generation [pdf]Paper  doi  abstract   bibtex   
Artificial Intelligence (AI) planning can support automated decision-making in domains such as manufacturing, robotics, logistics, and autonomous systems. However, practical use requires explicit planning models, which are often created and maintained directly in the Planning Domain Definition Language (PDDL). This makes planning knowledge difficult to model, maintain, reuse, evolve, and adapt to different planners. This paper presents Plato, a generic ontology schema for representing semantic planning knowledge in a way that makes it easier to model, maintain, and adapt to different planners. Plato models central planning concepts such as typed entities, predicates, and actions as semantic objects. It is designed as a maintainable source representation from which planner-specific PDDL artifacts can be generated automatically. The ontology is supported by the Knowledge Transformation Framework, which transforms Plato ontologies into PDDL domain and problem files or even other semantic data structures. The proof-of-concept evaluation uses four example ontologies covering classical planning, temporal planning, and numeric planning with automatic discretization. The generated PDDL artifacts and plans are validated with VAL, and the planning tasks are solved with off-the-shelf planners. The results provide initial evidence that Plato can serve as a semantic source model for automatic planning-domain generation.

Downloads: 0