{ "access": { "embargo": { "active": false, "reason": null }, "files": "public", "record": "public", "status": "open" }, "created": "2021-05-17T18:28:03.642992+00:00", "custom_fields": { "journal:journal": { "title": "Journal of Artificial Intelligence" } }, "deletion_status": { "is_deleted": false, "status": "P" }, "files": { "count": 2, "enabled": true, "entries": { "h2-preprocessor.zip": { "checksum": "md5:aeefcc2ab0d1d0523bf89e6126a2a7ff", "ext": "zip", "id": "60e34851-08e9-420a-a163-380b13bf31fb", "key": "h2-preprocessor.zip", "metadata": null, "mimetype": "application/zip", "size": 45847 }, "seipp-et-al-jair2019-code.zip": { "checksum": "md5:4c966c946f4139b0c1e89fb9cecf5c2c", "ext": "zip", "id": "7c179b88-73d1-4f5c-a1f6-4b8edddde928", "key": "seipp-et-al-jair2019-code.zip", "metadata": null, "mimetype": "application/zip", "size": 806396 } }, "order": [], "total_bytes": 852243 }, "id": "4767631", "is_draft": false, "is_published": true, "links": { "access": "https://zenodo.org/api/records/4767631/access", "access_links": "https://zenodo.org/api/records/4767631/access/links", "access_request": "https://zenodo.org/api/records/4767631/access/request", "access_users": "https://zenodo.org/api/records/4767631/access/users", "archive": "https://zenodo.org/api/records/4767631/files-archive", "archive_media": "https://zenodo.org/api/records/4767631/media-files-archive", "communities": "https://zenodo.org/api/records/4767631/communities", "communities-suggestions": "https://zenodo.org/api/records/4767631/communities-suggestions", "doi": "https://doi.org/10.5281/zenodo.4767631", "draft": "https://zenodo.org/api/records/4767631/draft", "files": "https://zenodo.org/api/records/4767631/files", "latest": "https://zenodo.org/api/records/4767631/versions/latest", "latest_html": "https://zenodo.org/records/4767631/latest", "media_files": "https://zenodo.org/api/records/4767631/media-files", "parent": "https://zenodo.org/api/records/3497367", "parent_doi": "https://zenodo.org/doi/10.5281/zenodo.3497367", "parent_html": "https://zenodo.org/records/3497367", "requests": "https://zenodo.org/api/records/4767631/requests", "reserve_doi": "https://zenodo.org/api/records/4767631/draft/pids/doi", "self": "https://zenodo.org/api/records/4767631", "self_doi": "https://zenodo.org/doi/10.5281/zenodo.4767631", "self_html": "https://zenodo.org/records/4767631", "self_iiif_manifest": "https://zenodo.org/api/iiif/record:4767631/manifest", "self_iiif_sequence": "https://zenodo.org/api/iiif/record:4767631/sequence/default", "versions": "https://zenodo.org/api/records/4767631/versions" }, "media_files": { "count": 0, "enabled": false, "entries": {}, "order": [], "total_bytes": 0 }, "metadata": { "creators": [ { "affiliations": [ { "name": "University of Basel" } ], "person_or_org": { "family_name": "Seipp", "given_name": "Jendrik", "identifiers": [ { "identifier": "0000-0002-2498-8020", "scheme": "orcid" } ], "name": "Seipp, Jendrik", "type": "personal" } }, { "affiliations": [ { "name": "University of Basel" } ], "person_or_org": { "family_name": "Keller", "given_name": "Thomas", "name": "Keller, Thomas", "type": "personal" } }, { "affiliations": [ { "name": "University of Basel" } ], "person_or_org": { "family_name": "Helmert", "given_name": "Malte", "name": "Helmert, Malte", "type": "personal" } } ], "description": "
The zipfile contains an extended version of the Fast Downward planning system (http://fast-downward.org). The code for saturated cost partitioning can be found in the "src/search/cost_saturation" directory.
\n\nPlease see http://www.fast-downward.org for instructions on how to compile the planner.
\n\nThe following configuration computes the hSCPdiv heuristic from the paper:
\n\n--search \"astar(saturated_cost_partitioning([projections(hillclimbing(max_generated_patterns=200, random_seed=0)), projections(systematic(2)), cartesian()],max_orders=infinity, max_time=1000, diversify=true, random_seed=0, max_optimization_time=100, orders=greedy_orders(random_seed=0)))\"
\n\nThe Scorpion variant uses different timeouts for diversification and optimization, prunes irrelevant operators in a preprocessing step and uses partial order reduction during the A* search:
\n\n--search \"astar(saturated_cost_partitioning([projections(systematic(2)), projections(hillclimbing(max_time=100, random_seed=0)), cartesian()], max_orders=infinity, max_optimization_time=2, max_time=200, diversify=true, orders=greedy_orders(random_seed=0), random_seed=0), pruning=stubborn_sets_simple(min_required_pruning_ratio=0.2))\"
\n\nNote that for operator pruning you need to make the h2 preprocessor (https://gitlab.com/atorralba_planners/h2-preprocessor) available on the PATH (e.g., using the name "preprocess-h2") and then pass "--transform-task preprocess-h2" to the fast-downward.py script (in Lab you can use the driver_options argument of add_algorithm for this). We include a copy of the h2 preprocessor in the file "h2-preprocessor.zip".
\n\nWe actively maintain the code at https://github.com/jendrikseipp/scorpion. The GitHub repository also contains a copy of the h² preprocessor.
", "publication_date": "2019-10-17", "publisher": "Zenodo", "resource_type": { "id": "software", "title": { "de": "Software", "en": "Software" } }, "rights": [ { "title": { "en": "" } } ], "title": "Code from the JAIR 2020 paper \"Saturated Cost Partitioning for Optimal Classical Planning\"" }, "parent": { "access": { "owned_by": { "user": 29531 } }, "communities": { "default": "c37cf3db-036a-4558-9548-144e3df200b3", "entries": [ { "access": { "member_policy": "open", "members_visibility": "public", "record_policy": "open", "review_policy": "open", "visibility": "public" }, "children": { "allow": false }, "created": "2017-03-13T10:54:50.831531+00:00", "custom_fields": {}, "deletion_status": { "is_deleted": false, "status": "P" }, "id": "c37cf3db-036a-4558-9548-144e3df200b3", "links": {}, "metadata": { "curation_policy": "", "description": "", "page": "", "title": "University of Basel, Research Group for Artificial Intelligence" }, "revision_id": 0, "slug": "ai-basel", "updated": "2017-03-15T15:55:13.858413+00:00" } ], "ids": [ "c37cf3db-036a-4558-9548-144e3df200b3" ] }, "id": "3497367", "pids": { "doi": { "client": "datacite", "identifier": "10.5281/zenodo.3497367", "provider": "datacite" } } }, "pids": { "doi": { "client": "datacite", "identifier": "10.5281/zenodo.4767631", "provider": "datacite" }, "oai": { "identifier": "oai:zenodo.org:4767631", "provider": "oai" } }, "revision_id": 3, "stats": { "all_versions": { "data_volume": 14881904.0, "downloads": 26, "unique_downloads": 21, "unique_views": 126, "views": 139 }, "this_version": { "data_volume": 8430736.0, "downloads": 18, "unique_downloads": 13, "unique_views": 67, "views": 72 } }, "status": "published", "updated": "2021-10-17T20:15:15.902201+00:00", "versions": { "index": 2, "is_latest": true } }