卡梅尔·多姆什拉克;维塔利·米基斯 作为启发式搜索的确定性超额订购计划：抽象和重组。 （英语） Zbl 1314.68291号 J.阿蒂夫。智力。研究（JAIR） 52, 97-169 (2015). 概述：在经典规划中，目标是以尽可能低的总行动成本实现一个同样有吸引力的目标状态，而确定性超额订购规划（OSP）的目标是在总行动成本的固定限额内实现尽可能有价值的目标子集。尽管各个领域的许多应用程序都有后一个目标，但确定性OSP在算法上还没有取得实质性进展。通过追踪经典规划进展的关键来源，我们发现OSP严重缺乏有效的区域依赖近似值。我们在这里的重点是优化规划，我们的目标是弥合这一差距。有两类近似技术在最优经典规划中特别有用：基于状态空间抽象的近似技术和基于逻辑的近似技术地标以实现目标。我们在这里研究的问题是，是否可以为OSP开发一些类似但可能在数学上不同的近似技术。在抽象的背景下，我们定义了OSP的可加抽象的概念，研究了从丰富的假设空间中导出有效抽象的复杂性，并揭示了一些实质性的、与经验相关的可处理孤岛。在地标的背景下，我们展示了如何将某些经典规划任务的标准目标可达性地标编译为感兴趣的OSP任务，从而产生具有较低成本余量的等效OSP任务，从而具有较小的搜索空间。我们的实证评估证实了所提技术的有效性，并为超额认购计划的进一步发展打开了一扇大门。 引用于三文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） PDF格式BibTeX公司 XML格式引用 \textit｛C.Domshlak｝和\textit｛V.Mirkis｝，J.Artif。智力。研究（JAIR）52，97--169（2015；Zbl 1314.68291） 全文： 内政部