liu.seSök publikationer i DiVA
Ä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
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 (Engelska)Ingå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-1051Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
2023. Vol. 372, s. 1044-1051
Serie
Frontiers in Artificial Intelligence and Applications, ISSN 0922-6389
Nyckelord [en]
Classical Planning, Automated Planning, Aritificial Intelligence, Heuristic Search, WASP, Linear Programming
Nationell ämneskategori
Datavetenskap (datalogi)
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
Konferens
26th European Conference on Artificial Intelligence (ECAI 2023)
Forskningsfinansiär
Wallenberg AI, Autonomous Systems and Software Program (WASP)EU, Horisont 2020, 952215Tillgänglig från: 2023-10-27 Skapad: 2023-10-27 Senast uppdaterad: 2026-02-05

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopushttps://ebooks.iospress.nl/doi/10.3233/FAIA230377

Person

Höft, PaulSpeck, DavidSeipp, Jendrik

Sök vidare i DiVA

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

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 134 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