Rolling in Classical Planning with Conditional Effects and Constraints
Abstract
In classical planning, conditional effects (CEs) allow modelling non-idempotent actions, where the resulting state may depend on how many times each action is consecutively repeated. Though CEs have been widely studied in the literature, no one has ever studied how to exploit rolling, i.e., how to effectively model the consecutive repetition of an action. In this paper, we fill this void by (i) showing that planning with CEs remains PSPACE-complete even in the limit case of problems with a single action, (ii) presenting a correct and complete planning as satisfiability encoding exploiting rolling while effectively dealing with constraints imposed on the set of reachable states, and (iii) theoretically and empirically showing its substantial benefits.
Cite
Text
Cardellini and Giunchiglia. "Rolling in Classical Planning with Conditional Effects and Constraints." International Joint Conference on Artificial Intelligence, 2025. doi:10.24963/IJCAI.2025/942Markdown
[Cardellini and Giunchiglia. "Rolling in Classical Planning with Conditional Effects and Constraints." International Joint Conference on Artificial Intelligence, 2025.](https://mlanthology.org/ijcai/2025/cardellini2025ijcai-rolling/) doi:10.24963/IJCAI.2025/942BibTeX
@inproceedings{cardellini2025ijcai-rolling,
title = {{Rolling in Classical Planning with Conditional Effects and Constraints}},
author = {Cardellini, Matteo and Giunchiglia, Enrico},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2025},
pages = {8474-8482},
doi = {10.24963/IJCAI.2025/942},
url = {https://mlanthology.org/ijcai/2025/cardellini2025ijcai-rolling/}
}