Link

The Fast Downward Planning System

Page Contributors: Adam Green,

tags: IPC2004 IPC2006 IPC2008 IPC2011 IPC2014 IPC2018 Optimising Satisfycing

Paper: The Fast Downward System [ Helmert, M. ]

Fast Downward is the name for a number different planners built on top of the Fast Downward planning system, this page will serve to aggregate all of them.

Fast Downward

Year Published: 2004

Fast Downward is a classical planning system based on heuristic search. It can deal with general deterministic planning problems encoded in the propositional fragment of PDDL2.2, including advanced features like ADL conditions and effects and derived predicates (axioms). Like other well-known planners such as HSP and FF, Fast Downward is a progression planner, searching the space of world states of a planning task in the forward direction. However, unlike other PDDL planning systems, Fast Downward does not use the propositional PDDL representation of a planning task directly. Instead, the input is first translated into an alternative representation called multivalued planning tasks, which makes many of the implicit constraints of a propositional planning task explicit. Exploiting this alternative representation, Fast Downward uses hierarchical decompositions of planning tasks for computing its heuristic function, called the causal graph heuristic, which is very different from traditional HSP-like heuristics based on ignoring negative interactions of operators.

Fast Diagonally Downward

Year Published: 2004

The configuration Fast Diagonally Downward employed multi-heuristic best-first search using helpful transitions and helpful actions as preferred operators

Fast Downward Autotune

Year Published: 2011

Paper: FD-Autotune: Domain-Specific Configuration using Fast Downward [ Fawcett, C. Helmert, M. Hoos, H. Karpas, E. Roger, G. Seipp, J. ]

FD Autotune is a learning planning system, based on the idea of domain-specific configuration of the parameters of Fast Downward, by means of a generic automated algorithm configuration procedure.

Fast Downward Stone Soup

Year Published: 2011

Paper: Fast Downward Stone Soup: A Baseline for Building Planner Portfolios [ Helmert, M. Roger, G. Karpas, E. ]

Fast Downward Stone Soup is a sequential portfolio planner that uses various heuristics and search algorithms that have been implemented in the Fast Downward planning system. Fast Downward Stone Soup shows a proof of concept of how to mix planners to create portfolios

Fast Downward Cedalion

Year Published: 2014

Paper: Fast Downward Cedalion [ Seipp, J. Sievers, S. Hutter, F. ]

Cedalion is an algorithm on top of FD’s Portfolio system to automatically configure the parameters of sequential portfolio planners.

Fast Downward Uniform

Year Published: 2014

Paper: Fast Downward Uniform Portfolio [ Seipp, J. Braun, M. Garimort, J. ]

The Fast Downward uniform portfolio runs 21 automatically configured Fast Downward instantiations sequentially for the same amount of time.

Fast Downward Merge & Shrink

Year Published: 2018

Paper: Fast Downward Merge-and-Shrink [ Sievers, S. ]

Fast Downward Merge-and-Shrink uses the optimized, efficient implementation of the merge-and-shrink framework available in the Fast Downward planning system

Fast Downward Remix

Year Published: 2018

Paper: Fast Downward Remix [ Seipp, J. ]

FD Remix is an offline portfolio planner than pre-calculates the configuration of the portfolio in a preprocessing phase.

Support

This table has been calculated manually based on the main page on PDDL Support of Fast Downward’s Website

Requirement Supported?
PDDL1.2  
:strips Yes
:typing Yes
:disjunctive-preconditions Yes
:equality Yes
:existential-preconditions Yes
:universal-preconditions Limited*
:conditional-effects Yes
:domain-axioms No
:subgoals-through-axioms No
:safety-constraints No
:open-world No
:quantified-preconditions Limited*
:adl Yes*
:ucpop No
PDDL2.1  
:numeric-fluents No
:durative-actions No
:duration-inequalities No
:continuous-effects No
:negative-preconditions Yes
PDDL2.2  
:derived-predicates Yes
:timed-initial-literals No
PDDL3.0  
:constraints No
:preferences No
PDDL3.1  
:action-costs Yes
:goal-utilities No
PDDL+  
:time No

Downloading and Compiling Fast Downward (Main)

For more information on how to download, compile and use Fast Downward, visit their compilation page here.

Additional Notes

Fast Downward forms the base planner of nearly 70% of modern planning systems, and very few of them modify the parsing stage of the problem, therefore the support table listed above is a good (but not perfect) indicator of what features are supported in many planners