liu.seSök publikationer i DiVA
Driftmeddelande
För närvarande är det driftstörningar. Felsökning pågår.
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat 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 (Engelska)Ingå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-831Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
International Joint Conferences on Artificial Intelligence , 2025. s. 821-831
Nyckelord [en]
Classical Planning, Optimal Planning, Cost Partitioning, WASP
Nationell ämneskategori
Artificiell intelligens
Identifikatorer
URN: urn:nbn:se:liu:diva-219685DOI: 10.24963/kr.2025/79ISBN: 9781956792089 (digital)OAI: oai:DiVA.org:liu-219685DiVA, id: diva2:2017097
Konferens
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)Tillgänglig från: 2025-11-27 Skapad: 2025-11-27 Senast uppdaterad: 2025-12-12

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltext

Person

Höft, PaulSeipp, Jendrik

Sök vidare i DiVA

Av författaren/redaktören
Höft, PaulSpeck, DavidSeipp, Jendrik
Av organisationen
Artificiell intelligens och integrerade datorsystemTekniska fakulteten
Artificiell intelligens

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 36 träffar
RefereraExporteraLänk till posten
Permanent länk

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