liu.seSearch for publications in DiVA
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Representing Perfect Saturated Cost Partitioning Heuristics in Classical Planning
Linköpings universitet, Institutionen för datavetenskap, Artificiell intelligens och integrerade datorsystem. Linköpings universitet, Tekniska fakulteten. (Machine Reasoning Lab)ORCID-id: 0000-0002-5883-3107
University of Basel.ORCID-id: 0000-0002-5493-7363
Linköpings universitet, Institutionen för datavetenskap, Artificiell intelligens och integrerade datorsystem. Linköpings universitet, Tekniska fakulteten.ORCID-id: 0000-0002-2498-8020
2025 (engelsk)Inngår i: 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, s. 821-831Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
International Joint Conferences on Artificial Intelligence , 2025. s. 821-831
Emneord [en]
Classical Planning, Optimal Planning, Cost Partitioning, WASP
HSV kategori
Identifikatorer
URN: urn:nbn:se:liu:diva-219685DOI: 10.24963/kr.2025/79ISBN: 9781956792089 (digital)OAI: oai:DiVA.org:liu-219685DiVA, id: diva2:2017097
Konferanse
22nd International Conference on Principles of Knowledge Representation and Reasoning, Melbourne, Australia. November 11-17, 2025.
Forskningsfinansiär
Wallenberg AI, Autonomous Systems and Software Program (WASP)Tilgjengelig fra: 2025-11-27 Laget: 2025-11-27 Sist oppdatert: 2025-12-12

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekst

Person

Höft, PaulSeipp, Jendrik

Søk i DiVA

Av forfatter/redaktør
Höft, PaulSpeck, DavidSeipp, Jendrik
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 36 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf