本文介绍了广义计划（GP）问题及其解决方案的新颖代表，作为C ++程序。我们的C ++表示允许正式证明广义计划的终止，并指定其渐近复杂性W.R.T.世界对象的数量。表征C ++广义计划的复杂性，可以应用组合搜索，该搜索以复杂性顺序列举了可能的GP解决方案的空间。实验结果表明，我们称之为BFGP ++的实施，我们的实施优于先前的GP作为启发式搜索方法，用于计算以编译器式程序为代表的通用计划。最后但并非最不重要的一点是，在经典计划实例上执行C ++程序是一个无确定性的无基接地过程，因此我们的C ++表示允许我们自动在数千个对象的大型测试实例上自动验证计算的解决方案，其中有数千个对象，其中现成的古典规划人员会陷入预处理或搜索中。
translated by 谷歌翻译