Towards Certified Unsolvability in Classical Planning

Towards Certified Unsolvability in Classical Planning

Gabriele Röger

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence
Early Career. Pages 5141-5145. https://doi.org/10.24963/ijcai.2017/738

While it is easy to verify that an action sequence is a solution for a classical planning task, there is no such verification capability if a task is reported unsolvable. We are therefore interested in certificates that allow an independent verification of the absence of solutions. We identify promising concepts for certificates that can be generated by a wide range of planning approaches. We present a first proposal of unsolvability certificates and sketch ideas how the underlying concepts can be used as part of a more flexible unsolvability proof system.
Keywords:
Planning and Scheduling: Planning and Scheduling
Planning and Scheduling: Planning Algorithms