问题标签 [pddl]

我正在学习如何在 IA 课程中使用 PDDL，我必须编写一个计划，我需要从 location4 接一个人并将其放在 location1 中，还要在 location3 中选择一个人并将其也放在 location1 中。我已经有了移动到位置选择人，移动到命运位置并放下它的代码。但是有些规则我不能放在代码上，我需要遵循一条连接路径，但我不知道如何设置这些条件：

这是连接路径：Location1 -> Location2 -> Location4 -> Location3

我有从一个位置到另一个位置的代码，但我不知道如何设置一个不能直接从位置 1 到位置 4 的条件

这是代码：

领域：

（定义（域planeacion_Str）

(define (problem practica_Planeacion_pblm) (:domain planeacion_Str) (:objects l1 l2 l3 l4 amblnc px1 px2 hospital) (:init (Hospital l1) (Ambulancia amblnc) (Location l1) (Location l2) (Location l3) (Location l4) (Paciente px1) (Paciente px2) (Libre amblnc) (at-ambulancia l1) (at-paciente px1 l4) (at-paciente px2 l3) ) (:goal (and (at-paciente px1 l1) (at-paciente px2) l1))))

希望可以有人帮帮我。

域.pdfl

问题.pdf

我正在尝试使用 OPTIC 建模和 RTS 游戏 (AOE2) 以获得最佳构建顺序和计划。我的想法是将村民（工人）表示为一个函数，然后根据村民的数量增加资源。此操作有效，但我认为效率低下并且计划不是最佳的：

我试过这个PDDL Durative-Action: Flexible duration，但 OPTIC 不支持非线性数值条件：

(increase (amount ?r) (* (#t)(* (collect_rate ?r)(workers ?r)))

有人对更好的方法有任何建议吗？

编辑（错误消息）：

领域：

问题

我在描述厨房环境（鸡蛋、咖啡、容器、表面等）的域文件中编写了一个 pddl 代码，因此类型以分层方式定义。

此域的谓词可能取决于某些类型：

在此代码上运行solver.planning.domains 规划器导致格式错误“谓词[X] 被声明为使用未知或空类型[Y]”。更详细 -输出是：

为什么类型被明确写入但无法识别？

我有这个任务： 如下图所示，给出了包含3 个红球和3 个黑球的16 个隔间。重新排列球，使相邻的三个红球紧随其后的是黑球！两个相邻的球可以同时从它们的隔间中捡起并移动到两个相邻的隔间，同时保持它们的顺序。

我已经推断出一个可能的解决方案，但我收到如下错误消息：

这是我的解决方案，但我知道有更好的解决方案，所以我接受任何帮助！谢谢！

我一直在网上搜索支持时间规划的规划器，特别是与 PDDL 2.2 兼容。我的机器运行 Ubuntu 仿生（18.04）。

我试图使用 LPG-td 规划器，它奇怪地将规划问题解释为非时间问题（尽管它包含了正确语法中的时间规划要求）。

除了 LPG-td 之外，我找不到任何可以在我的机器上编译或支持上述要求的规划器。

有人有想法吗？

谢谢你。

这段代码有问题。运行规划器时我们没有得到解决方案。我们不知道问题是什么。调试控制台上没有错误。

域.PDDL

问题是：

我在 PDDL 中尝试生成推箱子关卡，发现推箱子中的许多关卡对人类来说似乎很容易，但对 PDDL 规划者来说似乎相当困难（老实说，我也发现了反之亦然的例子）。

所以我想知道是否有一个计划器可以在 i7 16GB 内存等中等硬件上找到这个推箱子级别的解决方案（可在https://sokoban.info/?1_2上播放），即原始推箱子游戏的第二关似乎对人类来说相当容易：

此级别编码在以下 PDDL 文件中（如果您认为此演示文稿相当不适合 PDDL 规划人员，请告诉我 - 我不这么认为）。我使用仿真仔细检查了 PDDL 文件，并且可以通过手动创建的计划成功获得目标。

然而，有了计划者，我可以得到我的手（Fast Downward，ArvandHerd，siw-then-bfsf），这需要很长时间（几小时/几天），直到进程因使用太多内存而被终止。

那么你有没有一个计划者可以用合理的资源解决这个难题？！

领域：

问题：

我一直在尝试形式化一个域并为一个谜题准备两个实例，其中一只青蛙位于 n × n 土地上，障碍物很少，昆虫很多。青蛙可以在四个主要方向上任意长度跳跃，并且不能降落在任何障碍物或已经去过的地方。青蛙只要落在昆虫身上就会吃掉它们。目标是吃掉这片土地上的所有昆虫。F 表示初始位置。输入对应于一个 × n 网格，其中 F 指定青蛙的初始位置，0 表示昆虫，1 表示障碍物。这需要计划（AI），但我是条带、pddl 的新手，我被卡住了，不知道该怎么做。谁能帮我这个？

我是新来的PDDL。我使用在线编辑器。我有这个问题：有 3 名特工、3 名食人者和一艘最多可容纳 2 人的船。它们之间还有两个海岸和一条河流。所有的人最初都在一个海岸上。岸上的食人者不会比特工多，我需要找到一种方法将他们全部转移到彼岸。当我试图解决它时，我得到了这个错误：

如果有人能找到我做错了什么，或者至少告诉我更多关于这个错误以及如何解决它，我将非常感激。这是问题：

在这里，我已经根据练习的要求写下了所有可能的状态。

这是域：

在这里，我定义了所有可能的操作，包括：

1. 每个人都可以独自从一岸渡河到另一岸。
2. 每个人都可以与其他人一起过河，从一个海岸到另一个海岸。

我做了这些记号： moveXSD当某人独自在船上从左到右 moveXYSD过河时 当某人与另一个人从左到右过河时 当某人 独自在船上从左到右moveXSD过河时船 moveXYDS是当某人与另一个人从右到左过河personmoveXSD时是当某人从左到右独自过河时 在船上 moveXYDS是当某人与另一个人从右到左过河时 m1 m2 m3代理人和c1 c2 c3食人族 stg代表左 dr代表右

考虑到我刚刚开始使用这种编程语言，我希望我没有犯新手错误。请让我知道我是否遗漏了什么，或者没有给你所有需要的细节。