arXiv:2502.00145v1 宣布类型: 新 摘要: 经典规划要求找到一系列操作以达到给定的目标。虽然最常见的做法是计算一个计划，但许多场景需要更多。然而，在计划空间上的定量推理依然未得到充分探索。一个基本的问题是计数计划，这与计划空间上的条件概率有关。确实，在自动化推理的其他各个领域，定性分析和定量分析已经得到了广泛的研究。我们首次提出了在计划空间上进行定性和定量推理的研究。特别地，我们专注于多项式限制的计划。在理论方面，我们研究了其复杂性，从而引发了丰富的推理模式。由于一般情况下计数是困难的，我们引入了更容易理解的操作面的概念，这有助于理解操作的重要性。在实践方面，我们实现了规划中的定量推理。通过将规划任务转化为命题公式，并利用知识编译来计数不同的规划方案，该框架能够很好地扩展到大的计划空间，同时允许丰富的推理能力，如学习剪枝函数和可解释的规划。