机构名称：
¥ 1.0
在本文中，我们研究了围绕有限计划的限制性问题的七个推理任务的计算复杂性。我们为标准的经典计划和分层任务网络（HTN）计划做到这一点，每个计划都用于接地和取消代表。虽然有限计划的存在复杂性以古典规划而闻名，但尚未对HTN计划进行研究。进行计划验证，除了提起的HTN计划外，两种形式主义都可用于两种形式主义。我们将介绍提起HTN计划中计划验证的复杂性的下层和上限，并为其扎根的对应物提供一些新的见解，在这种情况下，我们表明验证不仅是一般案例中的NP - 已完成，而且已经严格限制了特殊情况。最后，我们展示了有关验证给定计划的最佳性的复杂性，并讨论了其与有限计划存在问题的联系。
关于计划验证的计算复杂性，（...
主要关键词
相关文件推荐
