SIADEX Unified Planning Interface
This asset provides the interfacing between the SIADEX temporal hierarchical planner, and the Unified Planning framework developed by the AIPlan4EU project.
SIADEX is a Hierarchical Task Network temporal planner supporting partial order compound tasks, temporal and numeric planning. The language used by the planner is HPDL, an extension of the standard PDDL 2.2 level 3, so the planner can reason about numeric and temporal information, besides carrying out hierarchical decomposition guided by decomposition methods that allow to represent and handle temporal and numeric constraints at any level of the task hierarchy, that incorporates hierarchical task decomposition. The decomposition of tasks into smaller subtasks can significantly reduce search space complexity, improving the efficiency and scalability in complex planning domains.
The AIPlan4EU project developed a Unified Planning (UP) library to simplify the use and interfacing of various kinds of planning techniques, including hierarchical planning. This asset encompasses the code needed to connect the SIADEX planner with the UP, thus using SIADEX as one of the possible solution engines.
SIADEX is a forward Hierarchical Task Network (HTN) planner that uses a hierarchical structure for problem-solving. It works with high-level tasks that can be decomposed into lower-level activities, including durative actions. The planner transforms a partially ordered set of tasks, which represent goals, into a sequence of primitive actions that compose the plan, offering a flexible and efficient approach to complex planning problems.
-
OneshotPlanning
-
Debugging
-
Hierarchical planning
-
Temporal planning
Installation
The library can be easily installed as follows.
python3 -m pip install up-siadex
Try it yourself!
live demos about the usage and different operation modes are available here