问题标签 [pddl]

我目前正在从事一个 pddl 项目，但我在语法上遇到了一些困难。现在，我正试图用 forall 将一个楼层的所有工人填满电梯。我不确定这是否是正确的实现，但这是我的代码。先感谢您！

我既使用持续动作，又试图能够清除某种类型的所有元素的谓词。见下文。这可能吗？如果是这样，有人知道正确的语法吗？谢谢！

我正在运行 popf 规划器，提供的错误是：Syntax error in timed effect.

我正在尝试编写一个简单的 PDDL 域和问题，但 Planning.domains 上的规划器返回此错误：

如何进行调试？当我的语法不正确时，错误消息更有帮助。我尝试可视化对象层次结构和问题定义，但找不到问题。Torchlight 不适用于 ADL，其他分析工具似乎需要计划。有没有我应该使用的工具？

作为记录，这些是我的域和问题定义（基于 AIPS-1998程序集和 IPC 2011抓手域/问题）：

问题：

提前感谢您的任何指点。

这个问题建立在前面关于 forall 子句的问题的基础上。我想用一个'when'语句来限制forall，如下所示：

这在没有“when”语句的情况下有效。当我包含“when”语句时，我收到几个错误：

提前感谢您的帮助。

试图找出让机器人清洁瓷砖的这个 PDDL 问题，但据我所知，我一直坚持自己做错了什么，我只有上下运动动作和清洁动作，但它仍然无法编译。它只是给我一个错误，说无法解析域文件。

这是域：

这是问题所在：

我在 PDDL2.1 中实现了一个基于函数的充电动作(charge_level)。工作和更新的函数值(charge_level)~10Hz。

我想创建一个名为的操作charge，该操作一直持续到charge_level达到阈值。那是

我该如何实现呢？我试图将?duration变量分配给charge_level并设置:duration (> ?duration HIGH_THRES)，但它不会成功计划。

提前致谢！

我正在使用 PDDL2.1 持续动作，我很难理解over all.

我有一个函数charge_level，它每 10Hz 更新一个值。在一个持续动作move中，我说condition: (over all (>= (charge_level) 12))。

我将其解释为“在执行操作时，验证charge_level是否大于或等于 12，否则会move失败，并且计划者应该找到符合条件的新操作at start (< (charge_level) 12)”。然而，计划者似乎并没有那样计划。我很感激对此的任何澄清。

谢谢！

我目前正在尝试为 Game Kami制定计划。因此我需要用 PDDL 语言创建一个域和问题。

卡米规则：

规则很简单。您可以使用与您指定的颜色相同的颜色为一个图块和所有相邻图块着色。该调用是recusive，因此相邻瓦片的邻居也将获得相同的颜色。

目标：

通过使用上述递归函数，所有图块应具有相同的颜色。

我已经被卡米的 2x2 世界困住了，在这里你可以看到我的...

... 领域：

...和我的Problem.pddl：

而且我无法获得成功的计划，即使它只应用了一次功能color_tile。

我试图让这个问题自行解决。求解器一直说第 36 行有语法错误。我检查了很多次。我没有看到任何语法错误。我试过引入打字，但仍然产生了同样的错误。现在我完全没有线索了。我对 PDDL 很陌生。如果有人在这里看到这个问题，请告诉我。

谢谢你。

这是 domain.pddl：

这就是问题.pddl：

我对 pddl 的理解有问题，我正在尝试制定一个宇宙飞船计划，只要船长和导航员在桥上，宇宙飞船就可以移动到一个区域。

这是我从域文件中操作的代码

当我尝试这个问题文件时

我得到错误：ff：目标可以简化为 FALSE。没有计划能解决它