Can I Really Do That? Verification of Meta-Operators via Stackelberg Planning
Abstract
Macro-operators are a common reformulation method in planning that adds high-level operators corresponding to a fixed sequence of primitive operators. We introduce meta-operators, which allow using different sequences of actions in each state. We show how to automatically verify whether a meta-operator is valid, i.e., the represented behavior is always doable. This can be checked at once for all instantiations of the meta-operator and all reachable states via a compilation into Stackelberg planning, a form of adversarial planning. Our results show that meta-operators learned for multiple domains can often express useful high-level behaviors very compactly, improving planners' performance.
Cite
Text
Pham and Torralba. "Can I Really Do That? Verification of Meta-Operators via Stackelberg Planning." International Joint Conference on Artificial Intelligence, 2023. doi:10.24963/IJCAI.2023/602Markdown
[Pham and Torralba. "Can I Really Do That? Verification of Meta-Operators via Stackelberg Planning." International Joint Conference on Artificial Intelligence, 2023.](https://mlanthology.org/ijcai/2023/pham2023ijcai-i/) doi:10.24963/IJCAI.2023/602BibTeX
@inproceedings{pham2023ijcai-i,
title = {{Can I Really Do That? Verification of Meta-Operators via Stackelberg Planning}},
author = {Pham, Florian and Torralba, Álvaro},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2023},
pages = {5420-5428},
doi = {10.24963/IJCAI.2023/602},
url = {https://mlanthology.org/ijcai/2023/pham2023ijcai-i/}
}