On State-Dominance Criteria in Fork-Decoupled Search
Abstract
Fork-decoupled search is a recent approach to classical planning that exploits fork structures, where a single center component provides preconditions for several leaf components. The decoupled states in this search consist of a center state, along with a price for every leaf state. Given this, when does one decoupled state dominate another? Such state-dominance criteria can be used to prune dominated search states. Prior work has devised only a trivial criterion. We devise several more powerful criteria, show that they preserve optimality, and establish their interrelations. We show that they can yield exponential reductions. Experiments on IPC benchmarks attest to the possible practical benefits. PDF
Cite
Text
Torralba et al. "On State-Dominance Criteria in Fork-Decoupled Search." International Joint Conference on Artificial Intelligence, 2016.Markdown
[Torralba et al. "On State-Dominance Criteria in Fork-Decoupled Search." International Joint Conference on Artificial Intelligence, 2016.](https://mlanthology.org/ijcai/2016/torralba2016ijcai-state/)BibTeX
@inproceedings{torralba2016ijcai-state,
title = {{On State-Dominance Criteria in Fork-Decoupled Search}},
author = {Torralba, Álvaro and Gnad, Daniel and Dubbert, Patrick and Hoffmann, Jörg},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2016},
pages = {3265-3271},
url = {https://mlanthology.org/ijcai/2016/torralba2016ijcai-state/}
}