利用草图表达与利用经典规划领域的公共子目标结构：扩展版
人工智能
2021-07-09 v2
摘要
基于宽度的规划方法通过将问题分解为低宽度的子问题来处理合取目标。因此，像 SIW 这样的算法在目标不易以这种方式序列化或某些子问题具有较高宽度时会失败。在这项工作中，我们通过使用 Bonet 和 Geffner 最近引入的一种简单但强大的语言来解决这些局限，该语言用于表达更精细的问题分解，称为策略草图。在一组布尔和数值特征上的策略草图是一组草图规则，表达这些特征的值应当如何变化。像通用策略一样，策略草图是领域通用的，但与策略不同，草图规则捕获的变化不需要在单步内实现。我们展示了许多无法被 SIW 解决的规划领域可被采用用户提供的策略草图的 SIW 版本 SIW_R 在低多项式时间内证明可解。因此，策略草图被证明是一种以简单紧凑方式表达领域特定知识的强大语言，并且是 HTN 或时序逻辑等语言的便捷替代方案。此外，它们使得表达通用问题分解并证明诸如宽度和复杂性等关键属性变得容易。
引用
@article{arxiv.2105.04250,
title = {Expressing and Exploiting the Common Subgoal Structure of Classical Planning Domains Using Sketches: Extended Version},
author = {Dominik Drexler and Jendrik Seipp and Hector Geffner},
journal= {arXiv preprint arXiv:2105.04250},
year = {2021}
}
备注
This work will appear in the Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning