Back to ForDevelopers.

Long-term plans (December 2022)

Planner as a library

Integrate lifted techniques

Large planner extensions

Long-term plans (older - TODO: remove)

Needs tender love and care

Items with action plans

Component creation and interaction

Terminology and action plan:

We implemented this action plan in a prototype (see It currently doesn't include the following ideas, which we had during an offline discussion:

Task Transformations

To fully support task transformations, we have to be aware of all interactions between different levels. The main idea is to have a hierarchy of task transformations with a RootTask at the root and transformations as edges/children in this hierarchy. As a first step, the search algorithms will always use the root task but later we want to support transforming the task before giving it to the search. Heuristics can transform the task they get from the search and some of them explicitly wrap the task in some transformation (e.g., CEGAR uses DomainAbstractedTask for the landmark decomposition). We thus have two interfaces that cross levels in the hierarchy:

Search-Heuristic interface

The search has to interact with the heuristic in the following way:

User-Search interface

Currently, the search always uses the root task. If we want to change this, we have to consider the interface between the search and the user code. I currently only see one interaction there:

FastDownward: ForDevelopers/LongTermPlans (last edited 2023-07-28 10:18:08 by MalteHelmert)