Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
On creating complementary pattern databases
A pattern database (PDB) for a planning task is a heuristic function in the form of a lookup
table that contains optimal solution costs of a simplified version of the task. In this paper we …
table that contains optimal solution costs of a simplified version of the task. In this paper we …
A comparison of cost partitioning algorithms for optimal classical planning
Cost partitioning is a general and principled approach for constructing additive admissible
heuristics for state-space search. Cost partitioning approaches for optimal classical planning …
heuristics for state-space search. Cost partitioning approaches for optimal classical planning …
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 …
Subset-saturated cost partitioning for optimal classical planning
Cost partitioning is a method for admissibly adding multiple heuristics for state-space
search. Saturated cost partitioning considers the given heuristics in sequence, assigning to …
search. Saturated cost partitioning considers the given heuristics in sequence, assigning to …
Solving delete free planning with relaxed decision diagram based heuristics
We investigate the use of relaxed decision diagrams (DDs) for computing admissible
heuristics for the cost-optimal delete-free planning (DFP) problem. Our main contributions …
heuristics for the cost-optimal delete-free planning (DFP) problem. Our main contributions …
Transition landmarks from abstraction cuts
F Pommerening, C Büchner, T Keller - Proceedings of the International …, 2024 - ojs.aaai.org
We introduce transition-counting constraints as a principled tool to formalize constraints that
must hold in every solution of a transition system. We then show how to obtain transition …
must hold in every solution of a transition system. We then show how to obtain transition …
Symbolic search for optimal planning with expressive extensions
D Speck - arxiv preprint arxiv:2204.00288, 2022 - arxiv.org
In classical planning, the goal is to derive a course of actions that allows an intelligent agent
to move from any situation it finds itself in to one that satisfies its goals. Classical planning is …
to move from any situation it finds itself in to one that satisfies its goals. Classical planning is …
[PDF][PDF] Deep Heuristic-learning in the Rubik's Cube Domain: An Experimental Evaluation.
R Brunetto, O Trunda - ITAT, 2017 - ceur-ws.org
Recent successes of neural networks in solving combinatorial problems and games like Go,
Poker and others inspire further attempts to use deep learning approaches in discrete …
Poker and others inspire further attempts to use deep learning approaches in discrete …
Subset-saturated transition cost partitioning
Cost partitioning admissibly combines the information from multiple heuristics for optimal
state-space search. One of the strongest cost partitioning algorithms is saturated cost …
state-space search. One of the strongest cost partitioning algorithms is saturated cost …
[PDF][PDF] Relaxed decision diagrams for cost-optimal classical planning
We explore the use of multivalued decision diagrams (MDDs) to represent a relaxation of the
state-transition graph for classical planning problems. The relaxation exploits the exact state …
state-transition graph for classical planning problems. The relaxation exploits the exact state …