问题标签 [pddl]

我是 Antlr 的新手，但之前使用过 Flex/Bison。我想知道我想用 Antlr 做的事情是否可行。

我想使用 Antlr 解析 PDDL 文件，并在解析 PDDL 文件时编写的 Java 类中构建我自己的 PDDL 文件内容表示（在规则的操作中？）。文件解析完成后，我想将文件内容的对象表示返回给 Java 程序以运行其他操作。

因此，本质上，我想从 Java 程序内部对 PDDL 文件调用 Antler 生成的 PDDL 解析器，并让它向主 Java 程序返回一个描述 PDDL 文件的对象。

这可能吗？我试过查看文档，但没有找到好的答案。

非常感谢。

这可能是一个幼稚的问题，但我真的很想知道为什么逻辑被开发用于人工智能。特别是，如果我们可以使用简单的状态原子表示来进行编程，那么在 AI 中开发一阶逻辑和 PDDL 的需要是什么？再次，我意识到这是一个非常基本的问题！

这可能是一个完全幼稚的问题，但我很想知道具体原因。为什么首先开发 PDDL？为什么我们不能使用一阶逻辑进行推理？

我想做一些自动故事生成演示，我正在采用的方法是使用 AI 规划。我一直在阅读几篇相关论文，并发现 PDDL 可能是形成规划问题的最广泛使用的语言。我一直在查看语法和几个示例代码来学习如何使用它。

我被卡住的部分是如何让计划者工作。我发现了一些流行的规划器（快进、MBP、IPP），但我无法使它们工作，甚至使用来自源本身的说明。

我在 Ubuntu 13.04 上使用 Gnome 终端。

我对计划很陌生，这可能是一个非常幼稚的问题，但我保证我已经搜索了超过 3-4 天，没有任何运气。此外，欢迎提出使用其他规划系统的建议。

我怎么能确定由快进计划器计算出的计划是所有可能计划中最好的？！

是否存在解决此问题的自动工具？！

多谢！

我已经在 PDDL 中建立了几个领域和问题，现在我正在寻找一种可能性来可视化我的领域、问题和解决方案。我的问题如下：

• 是否有任何工具可以对计划进行相当简单的图形表示（例如节点和连接）？
• 是否有工具可以随时以纯文本显示我的域的当前世界状态（即我的域中所有变量的值，在我的计划中的每个步骤之后）？
• 如何在系统架构中集成 PDDL？如果我想使用我的世界的 2D 或 3D 表示（例如 Gazebo），我如何“连接”Gazebo 和 PDDL？

谢谢！

I've written a domain and a test problem in PDDL, but apparently the graphplan implementation can't find a plan. Here's the domain:

and here's the problem:

For this particular problem the set of states for the solution should be:

but, as I've said, the graphplan implementation that I'm using (graphplan) can't find any plan.

我是 pddl 的新手。我需要找到解决方案，让机器人可以将不同的物体放在不同的目标单元中。我正在使用来自http://www.fast-downward.org/的软件。但是，问题是我的操作无法找到所需的解决方案。限制是即使机器人携带一个物体，也不能有 2 个物体在同一个房间里。附：域文件：

和问题文件：

我被要求为著名的“山羊、狼和卷心菜”场景写一个解决方案。场景如下：

农夫想把这三个人都运过河。但是，如果：

• 山羊和白菜一个人呆着，山羊会吃白菜
• 如果狼和山羊一个人呆着，狼会吃掉山羊！

因此，该问题的一种解决方案如下：

• 把山羊带过河，然后把它扔到另一边
• 过河回来
• 拿起卷心菜或狼，把它带到另一边
• 放下狼，捡起山羊，然后回到另一边
• 放下山羊，拿起卷心菜，然后回到另一边
• 拿起山羊，瞧！这三个都被运输了。

但是，我无法将其投影到 PDDL 中。我已经给出了问题定义：

最后，我们只得到了 1 个谓词，并被告知这可以通过 4 个动作来完成。move_empty，move_goat，move_wolf，move_cabbage。

谓词是：

（配置？狼？山羊？卷心菜？船）（有效？狼？山羊？卷心菜？船）

我试图从 move_empty 开始：

我不希望得到答案，只希望得到关于如何解决这个问题的帮助和建议，因为我能找到的关于 PDDL 的信息并不多。

我正在尝试使用描述语言 pddl 与规划器一起解决（单代理）游戏。我的目标是尽可能多地向世界上的人提供物品。

功能（puntos）在以下动作描述中给出：

我试图通过最大化 puntos 函数来获得尽可能多的分数，但规划师说：

我该如何解决这个问题？

域的完整 pddl 描述是：

问题是：