Operator Mutexes and Symmetries for Simplifying Planning Tasks
Abstract
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 introduce the notion of operator mutex, which is a set of operators that cannot all be part of the same (strongly) optimal plan. We propose four different methods for inference of operator mutexes and experimentally verify that they can be found in a sizable number of planning tasks. We show how operator mutexes can be used in combination with structural symmetries to safely remove operators from the planning task.
Cite
Text
Fiser et al. "Operator Mutexes and Symmetries for Simplifying Planning Tasks." AAAI Conference on Artificial Intelligence, 2019. doi:10.1609/AAAI.V33I01.33017586Markdown
[Fiser et al. "Operator Mutexes and Symmetries for Simplifying Planning Tasks." AAAI Conference on Artificial Intelligence, 2019.](https://mlanthology.org/aaai/2019/fiser2019aaai-operator/) doi:10.1609/AAAI.V33I01.33017586BibTeX
@inproceedings{fiser2019aaai-operator,
title = {{Operator Mutexes and Symmetries for Simplifying Planning Tasks}},
author = {Fiser, Daniel and Torralba, Álvaro and Shleyfman, Alexander},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {2019},
pages = {7586-7593},
doi = {10.1609/AAAI.V33I01.33017586},
url = {https://mlanthology.org/aaai/2019/fiser2019aaai-operator/}
}