ASP 中领域无关代价最优规划
人工智能
2020-02-19 v1
摘要
我们研究 ASP 中的代价最优规划问题。当前 ASP 规划器可通过添加弱约束轻易扩展为代价最优规划器，但仅针对给定 makespan（步数）。具备保证全局最优性的规划器是理想的。本文中，我们提出两种解决该问题的方法。首先，我们展示如何工程化一个由并行运行的两个 ASP 程序组成的代价最优规划器。由此汲取经验后，我们进而开发一种全新的代价最优规划方法——无步长规划（stepless planning），其完全摆脱 makespan。将两种方法与该领域唯一已知的 SAT 代价最优规划器比较的实验，揭示了 ASP 中无步长规划的良佳潜力。本文正考虑接受于 TPLP。
引用
@article{arxiv.1908.00112,
title = {Domain-Independent Cost-Optimal Planning in ASP},
author = {David Spies and Jia-Huai You and Ryan Hayward},
journal= {arXiv preprint arXiv:1908.00112},
year = {2020}
}
备注
Paper presented at the 35th International Conference on Logic Programming (ICLP 2019), Las Cruces, New Mexico, USA, 20-25 September 2019, 16 pages