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
Sensitivity Analysis for Saturated Post-hoc Optimization in Classical Planning
Linköpings universitet, Institutionen för datavetenskap, Artificiell intelligens och integrerade datorsystem. Linköpings universitet, Tekniska fakulteten.ORCID-id: 0000-0002-5883-3107
Linköpings universitet, Institutionen för datavetenskap, Artificiell intelligens och integrerade datorsystem. Linköpings universitet, Tekniska fakulteten.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
2023 (engelsk)Inngår i: Proceedings of the 26th European Conference on Artificial Intelligence (ECAI 2023) / [ed] Kobi Gal, Ann Nowé, Grzegorz J. Nalepa, Roy Fairstein, Roxana Rădulescu, 2023, Vol. 372, s. 1044-1051Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

Cost partitioning is the foundation of today’s strongest heuristics for optimal classical planning. However, computing a cost partitioning for each evaluated state is prohibitively expensive in practice. Thus, existing approaches make an approximation and compute a cost partitioning only for a set of sampled states, and then reuse the resulting heuristics for all other states evaluated during the search. In this paper, we present exact methods for cost partitioning heuristics based on linear programming that fully preserve heuristic accuracy while minimizing computational cost. Specifically, we focus on saturated post-hoc optimization and establish several sufficient conditions for when reusing a cost partitioning computed for one state preserves the estimates for other states, mainly based on a sensitivity analysis of the underlying linear program. Our experiments demonstrate that our theoretical results transfer into practice, and that our exact cost partitioning algorithms are competitive with the strongest approximations currently available, while usually requiring fewer linear program evaluations.

sted, utgiver, år, opplag, sider
2023. Vol. 372, s. 1044-1051
Serie
Frontiers in Artificial Intelligence and Applications, ISSN 0922-6389
Emneord [en]
Classical Planning, Automated Planning, Aritificial Intelligence, Heuristic Search, WASP, Linear Programming
HSV kategori
Identifikatorer
URN: urn:nbn:se:liu:diva-198771DOI: 10.3233/FAIA230377ISI: 001599323300131Scopus ID: 2-s2.0-85175815672ISBN: 978-1-64368-436-9 (tryckt)ISBN: 978-1-64368-437-6 (digital)OAI: oai:DiVA.org:liu-198771DiVA, id: diva2:1807677
Konferanse
26th European Conference on Artificial Intelligence (ECAI 2023)
Forskningsfinansiär
Wallenberg AI, Autonomous Systems and Software Program (WASP)EU, Horizon 2020, 952215Tilgjengelig fra: 2023-10-27 Laget: 2023-10-27 Sist oppdatert: 2026-02-05

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopushttps://ebooks.iospress.nl/doi/10.3233/FAIA230377

Person

Höft, PaulSpeck, DavidSeipp, 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: 135 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