SibylSat：利用SAT作为预言机对TOHTN规划进行贪心搜索
人工智能
2024-11-05 v1
摘要
本文提出了SibylSat，一种基于SAT的新方法，用于高效求解全序层次任务网络（TOHTN）问题。与现有采用广度优先搜索策略的基于SAT的HTN规划器不同，SibylSat采用贪心搜索方法，使其能够识别有前景的分解以进行扩展。选择过程由求解一个同样表达为SAT问题的松弛问题所导出的启发式方法来辅助。我们的实验评估表明，SibylSat在大多数IPC基准测试上，在运行时间和规划质量两方面均优于现有的基于SAT的TOHTN方法，同时还能求解更多的问题。
引用
@article{arxiv.2411.02035,
title = {SibylSat: Using SAT as an Oracle to Perform a Greedy Search on TOHTN Planning},
author = {Gaspard Quenard and Damier Pellier and Humbert Fiorino},
journal= {arXiv preprint arXiv:2411.02035},
year = {2024}
}