Optimize planning heuristics to rank, not to estimate cost-to-goal

L Chrestien, S Edelkamp… - Advances in Neural …, 2023 - proceedings.neurips.cc
In imitation learning for planning, parameters of heuristic functions are optimized against a
set of solved problem instances. This work revisits the necessary and sufficient conditions of …

Saturated cost partitioning for optimal classical planning

J Seipp, T Keller, M Helmert - Journal of Artificial Intelligence Research, 2020 - jair.org
Cost partitioning is a method for admissibly combining a set of admissible heuristic
estimators by distributing operator costs among the heuristics. Computing an optimal cost …

Generalized potential heuristics for classical planning

G Francès Medina, AB Corrêa, C Geissmann… - 2019 - edoc.unibas.ch
Generalized planning aims at computing solutions that work for all instances of the same
domain. In this paper, we show that several interesting planning domains possess compact …

Lifted fact-alternating mutex groups and pruned grounding of classical planning problems

D Fišer - Proceedings of the AAAI Conference on Artificial …, 2020 - ojs.aaai.org
In this paper, we focus on the inference of mutex groups in the lifted (PDDL) representation.
We formalize the inference and prove that the most commonly used translator from the Fast …

Correlation complexity of classical planning domains

J Seipp, F Pommerening, G Röger, M Helmert - 2016 - edoc.unibas.ch
We analyze how complex a heuristic function must be to directly guide a state-space search
algorithm towards the goal. As a case study, we examine functions that evaluate states with …

Automated benchmark-driven design and explanation of hyperparameter optimizers

J Moosbauer, M Binder, L Schneider… - IEEE Transactions …, 2022 - ieeexplore.ieee.org
Automated hyperparameter optimization (HPO) has gained great popularity and is an
important component of most automated machine learning frameworks. However, the …

[HTML][HTML] State space search nogood learning: Online refinement of critical-path dead-end detectors in planning

M Steinmetz, J Hoffmann - Artificial Intelligence, 2017 - Elsevier
Conflict-directed learning is ubiquitous in constraint satisfaction problems like SAT, but has
been elusive for state space search on reachability problems like classical planning. Almost …

Operator mutexes and symmetries for simplifying planning tasks

D Fišer, A Torralba, A Shleyfman - … of the AAAI Conference on Artificial …, 2019 - ojs.aaai.org
Simplifying classical planning tasks by removing operators while preserving at least one
optimal solution can significantly enhance the performance of planners. In this paper, we …

Narrowing the gap between saturated and optimal cost partitioning for classical planning

J Seipp, T Keller, M Helmert - Proceedings of the AAAI Conference on …, 2017 - ojs.aaai.org
In classical planning, cost partitioning is a method for admissibly combining a set of heuristic
estimators by distributing operator costs among the heuristics. An optimal cost partitioning is …

Higher-dimensional potential heuristics for optimal classical planning

F Pommerening, M Helmert, B Bonet - Proceedings of the AAAI …, 2017 - ojs.aaai.org
Potential heuristics for state-space search are defined as weighted sums over simple state
features. Atomic features consider the value of a single state variable in a factored state …