Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
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 …
set of solved problem instances. This work revisits the necessary and sufficient conditions of …
Saturated cost partitioning for optimal classical planning
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 …
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 …
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 …
We formalize the inference and prove that the most commonly used translator from the Fast …
Correlation complexity of classical planning domains
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 …
algorithm towards the goal. As a case study, we examine functions that evaluate states with …
Automated benchmark-driven design and explanation of hyperparameter optimizers
Automated hyperparameter optimization (HPO) has gained great popularity and is an
important component of most automated machine learning frameworks. However, the …
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
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 …
been elusive for state space search on reachability problems like classical planning. Almost …
Operator mutexes and symmetries for simplifying planning tasks
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 …
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
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 …
estimators by distributing operator costs among the heuristics. An optimal cost partitioning is …
Higher-dimensional potential heuristics for optimal classical planning
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 …
features. Atomic features consider the value of a single state variable in a factored state …