将代价最优规划转化为可满足性问题
人工智能
2021-03-04 v1 计算机科学中的逻辑
摘要
我们研究了对于带有 0-代价动作的问题有效的代价最优规划长度的上界。我们将这些上界用作基于 SAT 的带代价规划编码的视界。给定最优规划代价的初始上界，我们通过实验表明这种基于 SAT 的方法能够计算出代价更优的规划，并且在许多情况下可以匹配最优代价。此外，在多个实例中，该方法成功地证明了某一代价即为最优规划代价。
引用
@article{arxiv.2103.02355,
title = {Cost Optimal Planning as Satisfiability},
author = {Mohammad Abdulaziz},
journal= {arXiv preprint arXiv:2103.02355},
year = {2021}
}