liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Representing Perfect Saturated Cost Partitioning Heuristics in Classical Planning
Linköping University, Department of Computer and Information Science, Artificial Intelligence and Integrated Computer Systems. Linköping University, Faculty of Science & Engineering. (Machine Reasoning Lab)ORCID iD: 0000-0002-5883-3107
University of Basel.ORCID iD: 0000-0002-5493-7363
Linköping University, Department of Computer and Information Science, Artificial Intelligence and Integrated Computer Systems. Linköping University, Faculty of Science & Engineering.ORCID iD: 0000-0002-2498-8020
2025 (English)In: Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning / [ed] Magdalena Ortiz, Renata Wassermann, Torsten Schaub, International Joint Conferences on Artificial Intelligence , 2025, p. 821-831Conference paper, Published paper (Refereed)
Abstract [en]

Saturated cost partitioning (SCP) is one of the strongest methods for admissibly combining heuristics for optimal classical planning. The quality of an SCP heuristic depends heavily on the order in which its component heuristics are considered. For high accuracy, it is essential to maximize over multiple SCP heuristics computed using different component orders. However, for n component heuristics, even enumerating all n! orders is usually infeasible. Consequently, previous work resorted to using greedy algorithms and local optimization. In contrast, we present the first practical method for computing the perfect SCP heuristic that is equivalent to considering all component orders. We show that a set of SCP heuristics forms an additive disjunctive heuristic, which allows us to concisely represent component orders as a directed acyclic graph. Furthermore, once certain components have been considered, the order of the remaining components often becomes irrelevant. By exploiting this characteristic, we can reduce the size of the heuristic representation by several orders of magnitude in practice. Finally, our work makes it possible to compare the quality of existing SCP methods with that of the perfect SCP heuristic, revealing that existing approximations are nearly optimal for standard benchmarks.

Place, publisher, year, edition, pages
International Joint Conferences on Artificial Intelligence , 2025. p. 821-831
Keywords [en]
Classical Planning, Optimal Planning, Cost Partitioning, WASP
National Category
Artificial Intelligence
Identifiers
URN: urn:nbn:se:liu:diva-219685DOI: 10.24963/kr.2025/79ISBN: 9781956792089 (electronic)OAI: oai:DiVA.org:liu-219685DiVA, id: diva2:2017097
Conference
22nd International Conference on Principles of Knowledge Representation and Reasoning, Melbourne, Australia. November 11-17, 2025.
Funder
Wallenberg AI, Autonomous Systems and Software Program (WASP)Available from: 2025-11-27 Created: 2025-11-27 Last updated: 2025-12-12

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Authority records

Höft, PaulSeipp, Jendrik

Search in DiVA

By author/editor
Höft, PaulSpeck, DavidSeipp, Jendrik
By organisation
Artificial Intelligence and Integrated Computer SystemsFaculty of Science & Engineering
Artificial Intelligence

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 36 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf