问题标签 [pddl]

我使用规划器 Metric-FF。在指定问题和域文件之后，我收到错误“太多（推断的）类型！增加 MAX_TYPES（当前为 50）”。我指定了许多类型（可能需要更多类型）。

你知道如何增加允许的类型数量吗？

我正在尝试使用 Metric-FF (v2.1) 来解决经典的规划问题。我注意到我的计划不是最优的，并开始尝试最小化成本。我意识到尽管激活了成本最小化，但计划者似乎并未考虑成本。我创建了以下最小示例，其中包含一个谓词和两个相同的方法（除了它们的成本）：

我要解决的只是：

这导致do2被调用，尽管do1是更便宜的操作。如果我更改它们在域文件中的位置，则会选择 do1。

如果您知道任何可用的规划器可以正确解决此问题，我会很乐意使用它。

在运行 Metric-FF 时，它不会出现任何时间或内存限制作为可能的输入参数。我的问题是，是否可以在运行规划器时将它们作为输入参数引入？引用的规划器如下： https ://fai.cs.uni-saarland.de/hoffmann/metric-ff.html

我正在尝试编写一个可以解决 PDDL 中的迷宫的程序，例如使用 graphplan。从我在互联网上看到的示例中，可以找到问题的解决方案（例如PDDL Graphplan can't find plan），但只有一个。我对我的项目有一些特定的限制，这要求我获得所有可能的解决方案来解决迷宫，然后分别评估这些解决方案。这可能吗？

I need to create a plan in PDDL to visit a subset of n places, each of which has a score. I need to maximize the utility, which is defined as the sum of each individual score. How do I represent this domain in PDDL? Specifically, how do I store score for each place?

有谁知道python或C++中一个好的PDDL库，它具有以下特性

• 解析 pddl 域/问题文件
• 支持 ADL（即前置条件和效果中的量词）
• 适用性检查：测试特定接地操作是否适用于当前世界状态的功能
• 应用动作：应用的功能，即基于一个接地动作操纵当前世界状态
• 建立行动的可能性：一个函数，它生成对当前世界状态应用行动的所有可能性的列表

这是每个规划师都需要的功能，但我找不到一个只做这个的库，到目前为止我发现的所有规划师充其量都是晦涩难懂的。

我能找到的最接近的库是 pddlpy ( https://github.com/hfoffani/pddl-lib )，但它不支持 ADL 和应用操作。

谢谢！

我是 PDDL 的新手，我一直在尝试 blocksworld 问题，但我得到了错误：

无法解析问题——不是 args 必须是只有一个元素的列表，得到 [Primitive sobre (default_object ?obj, default_object ?obj2), Primitive libre (default_object ?obj3), Primitive en (default_object ?obj, default_object ?from )] /tmp/solver_planning_domains_tmp_4BmsZdP37zJXS/domain.pddl: 第 16 行语法错误, '(': 需要域定义

我的文件是这些：

还有这些：

我正在寻找一种将比较设置为 PDDL 中操作的前提条件的方法。有没有办法说例如：

例如，如果我这样声明类型：

也就是说有两种类型的包，轻的和重的。是否可以在一个动作中检查bag类型的变量是否是light类型而没有要比较的light实例？

我知道可以进行平等比较：

但这会检查两个变量是否具有相同的值，而不是相同的类型。

我试过(when ( = light ?bag))了，即使规划器没有抛出错误，它似乎也不起作用。

在 PDDL 的驱动程序日志域中，我们指定了链接和路径。

它在问题中的定义方式是：

路径和链接有什么区别？我试图创建一个类似的问题，但省略了路径，我不断遇到无法解决的问题。如何正确定义路径？

谢谢！