使用条件效应的PDDL代码问题

Question

我试图解决一个Pacman风格的PDDL问题，有一个特殊的场景，我已经坚持了几天了。我得到了经典的

ff:目标可以简化为假。没有任何计划能解决这个问题。

这意味着这个问题是琐碎的和逻辑相关的。然而，我对PDDL还不熟悉，似乎无法弄清楚是什么原因造成的。

问题很简单，帕克曼(P)不得不吃的食物(F)，但两个鬼代理人(G)正在阻止它。为了通过他们，帕克曼需要消耗胶囊(C)，使他隐形。

(编辑:我删除了这个问题，因为它是任务的一部分。我设法解决了这个问题，并会在作业完成后尽快发布解决方案。)

Answer 1

在这个线程中：About PDDL in AI planning @haz提到了一个很好的方法，用于在无法从初始状态到达goail时调试PDDL模型。

测试这一问题的最好方法是遵循以下策略：(1)写下一个你知道会解决它的计划；(2)从第一个行动开始，设定目标到前提条件；(3)重复到最后。如果失败，请开始将初始状态更改为在计划执行期间所期望的完整状态。-5月1日2:04

我上传了一个新版本，可以找到解决方案(如果幽灵不在食物之列)：

http://editor.planning.domains/#read_session=c7Vez9nrti

两个主要问题：

• 您从未删除GhostPos，但它出现在目标公式
• 中，如果GhostPos正在前往FoodPos的路上，那么您就永远无法到达食物，因为移动操作不需要是幽灵。