References & Citations
Computer Science > Artificial Intelligence
Title: Expressing and Exploiting the Common Subgoal Structure of Classical Planning Domains Using Sketches: Extended Version
(Submitted on 10 May 2021 (this version), latest version 8 Jul 2021 (v2))
Abstract: Width-based planning methods exploit the use of conjunctive goals for decomposing problems into subproblems of low width. However, algorithms like SIW fail when the goal is not serializable. In this work, we address this limitation of SIW by using a simple but powerful language for expressing problem decompositions introduced recently by Bonet and Geffner, called policy sketches. A policy sketch R consists of a set of Boolean and numerical features and a set of sketch rules that express how the values of these features are supposed to change. Like general policies, policy sketches are domain general, but unlike policies, the changes captured by sketch rules do not need to be achieved in a single step. We show that many planning domains that cannot be solved by SIW are provably solvable in low polynomial time with the SIW_R algorithm, the version of SIW that employs user-provided policy sketches. Policy sketches are thus shown to be a powerful language for expressing domain-specific knowledge in a simple and compact way and a convenient alternative to languages such as HTNs or temporal logics. Furthermore, policy sketches make it easy to express general problem decompositions and prove key properties like their complexity and width.
Submission history
From: Dominik Drexler [view email][v1] Mon, 10 May 2021 10:36:18 GMT (49kb)
[v2] Thu, 8 Jul 2021 09:57:29 GMT (48kb,D)
Link back to: arXiv, form interface, contact.