On the completeness of pruning techniques for planning with conditional effects (Q473577)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the completeness of pruning techniques for planning with conditional effects |
scientific article |
Statements
On the completeness of pruning techniques for planning with conditional effects (English)
0 references
24 November 2014
0 references
Summary: Pruning techniques and heuristics are two keys to the heuristic search-based planning. The helpful actions pruning (HAP) strategy and relaxed-plan-based heuristics are two representatives among those methods and are still popular in the state-of-the-art planners. Here, we present new analyses on the properties of HAP. Specifically, we show new reasons for which HAP can cause incompleteness of a search procedure. We prove that, in general, HAP is incomplete for planning with conditional effects if factored expansions of actions are used. To preserve completeness, we propose a pruning strategy that is based on relevance analysis and confrontation. We will show that both relevance analysis and confrontation are necessary. We call it the confrontation and goal relevant actions pruning (CGRAP) strategy. However, CGRAP is computationally hard to be exactly computed. Therefore, we suggest practical approximations from the literature.
0 references
0 references