Published December 2, 2020 | Version v1
Software Open

Code and experiment data for the AAAI 2021 paper "Saturated Post-hoc Optimization for Classical Planning"

Description

Code

The file seipp-et-al-aaai2021-code.zip contains an extended version of the Fast Downward planning system (http://fast-downward.org). The code for saturated post-hoc cost partitioning can be found in "src/search/operator_counting/pho_abstraction_constraints.{h,cc}". Please see http://www.fast-downward.org for detailed instructions on how to compile the planner. Here is the short version for building the planner and running saturated post-hoc optimization:

./build.py
./fast-downward.py PDDL_TASK --search "astar(operatorcounting([pho_abstraction_constraints([projections(hillclimbing(max_generated_patterns=200, random_seed=0)), projections(systematic(2)), cartesian([landmarks(order=random, random_seed=0), goals(order=random, random_seed=0)])], saturated=true, forbid_useless_operators=true)]))"

The latest version of the code is available at https://github.com/jendrikseipp/scorpion.

Benchmarks

The file ipc-benchmarks-optimal-strips-1998-2018.zip contains the STRIPS PDDL benchmarks from sequential optimization tracks of IPC 1998-2018.

Experiment data

The remaining zipfiles contain the raw experiment data, parsed values and basic reports for the experiments in the paper. For each experiment there are two files. The first contains the raw data of all experiment runs. The code directories and benchmark files have been removed to avoid duplication and to save space. The second file (*-eval.zip) contains a "properties" file with all parsed values and an HTML report.

Files

2021-02-12-A-saturated-pho-eval.zip

Files (148.0 MB)

Name Size Download all
md5:2e0df73f348f1c8f0a8465806d5bc137
3.5 MB Preview Download
md5:54447a649a0556ada4893b5901cafcf1
128.9 MB Preview Download
md5:bd4beac198a21d6a4a39e62d955b5c0e
13.1 MB Preview Download
md5:008f004bbabd873f370e04bb0801d759
2.5 MB Preview Download

Additional details

Funding

TAILOR – Foundations of Trustworthy AI - Integrating Reasoning, Learning and Optimization 952215
European Commission