克里斯蒂安·缪斯;J.克里斯托弗·贝克;希拉·麦克拉伊思。 通过MaxSAT优化部分订单计划松弛。 （英语） Zbl 1386.68155号 J.阿蒂夫。智力。研究（JAIR） 57, 113-149 (2016). 概要：部分订单计划（POP）具有吸引力，因为其最小承诺性质，相对于连续计划，在执行时提供了增强的计划灵活性。尽管持久性有机污染物具有吸引力，但目前关于自动生成计划的研究侧重于生成连续计划。在本文中，我们通过放松或修改顺序计划的操作顺序来检查POP生成，以优化提高灵活性的计划标准。我们的方法依赖于一种新的序列计划的部分加权MaxSAT编码，该编码支持最小化动作的无序或重新排序。使用类似的技术，我们进一步演示了如何从计划中删除冗余操作，以及如何将此标准与最大化POP灵活性的目标相结合。我们的部分加权MaxSAT编码使我们能够有效地从序列计划中计算POP。我们比较了我们的方法与以前通过顺序平面松弛生成POP的方法的效率。我们的结果表明，虽然现有的启发式方法一致地产生顺序计划的最优重排序，但当我们考虑重新排序计划中的操作时，我们的方法具有更大的灵活性，同时也提供了最佳性的保证。我们还调查并确认了标准的准确性弯曲通常用于预测POP的真正灵活性的度量，该度量由POP所代表的线性化次数来衡量。 引用于4文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） PDF格式BibTeX公司 XML格式引用 \textit{C.Muise}等人，J.Artif。智力。研究（JAIR）57，113--149（2016；Zbl 1386.68155） 全文： 内政部