在 PDDL 2.1durative-action中，引入了 s。它们用conditons 和effects 来描述（除其他外）。两者都可以定义at start/ at end，condition也可以over all。

我找到了以下文档，非常广泛地描述了 PDDL 2.1：pddl2.1 : An Extension to pddl for Expressing Temporal Planning Domains。不过，我在获得确切含义时遇到了一些问题。

该论文给出了以下示例：

我想知道，是否(at start (onHeatSource ?p))是多余的，因为还有语句(over all (onHeatSource ?p))。如果不是，区别在哪里？

评价顺序是什么？condition at start, effect at start, effect at end, condition at end? 是否over all包括时间实例at start和at end？

当我有域的 PDDL 和问题的 PDDL 时，如何使用快速向下获取问题的因果图？

规划问题的这两种表示有什么区别？

我一直在研究一个关于众所周知的问题 fox-goose-beans-farmer 的项目。我正在尝试在基于浏览器的编译器上实现它，即https://stripsfiddle.herokuapp.com/。除了 moveFoxAcross 和 moveFoxBack 之外的所有功能都有效。我看不出任何瑕疵。有人可以指出我的错误或建议任何有效的语法来源。这是我的域代码：

这是我的问题代码：

这是我的问题：

• 只有 moveFoxAcross 和 moveFoxBack 函数不起作用并给出编译错误你能帮我看看为什么吗？
• 即使我在没有它们的情况下编译，它也给了我 0 个解决方案。
• 有什么例子可以帮助我解决这个问题吗？

您可以从域部分的列表中选择“创建您自己的”，然后复制/粘贴我的代码以自己尝试。

提前致谢

下面是用 pddl 编写的过河问题的一小部分。我试图在两个不同的工具（editor.planning.domains 和 stripsfiddle.herokuapp.com）中找到解决方案，但它们都给出了相同的结果。

问题

两个编译器都给出相同的结果；农夫不去左岸：

谁能帮我弄清楚我遗漏的地方？提前致谢，

我正在尝试编写一个从PDDL文件中读取动作及其组件的程序。该程序应首先查找令牌:action(，然后再查找action name等。

以下是我的 lex 代码：

注意：这个问题的答案大多与:(actiontoken、action nametoken和newlinetoken有关，所以你可能只看那些。SC_ACNAME 我的意思是扫描操作名称等。

头文件（myscanner.h）：

在我的 C 程序中：

当我尝试标记包含(:action move它的文件时，它会根据需要检测:(action并action name返回 ACTION 和 ACTION_NAME。但是当我在移动（动作名称）后输入换行符时，它什么也检测不到。为什么它不识别令牌(:action？

编辑：

通过测试用例：domain.pddl

失败测试用例：domain.pddl

表示换行

在 PDDL 中，我可以像这样定义“子”类型：

one和two也是parent,other是不同的。

就像，谓词(both ?x - parent)接受ones 和twos。

我想做多级继承，我试过

I want spriteand fantato be fizzy, and fizzyand waterare both the type drink.

所以我的谓词(pour ?x - drink)应该接受sprite，但目前还没有。

如何正确设置此类型树？

当我使用规划器运行我的问题文件时，我不断收到“未声明的要求：键入”错误，即使我已经在我的域文件中声明了它

我的域文件中的要求：

在我的问题文件中：

使用案例

首先，我想解释一下我的使用案例：我想将一个领域划分为不同的扇区，所有的植物都应该由机器人分析（每个扇区只有一个机器人）。我想检查：前提条件是已经分析了一个部门的所有植物，以便机器人返回“家”。

问题

这是域 PDDL。我的问题是放在“tracker-back-home”动作的前提下。现在我正在检查是否已经分析了所有植物，但我需要知道是否分析了特定部门的所有植物？可以使用 forall 语句吗？

该声明是否有任何版本有效，表示一个演员知道另一个演员或一个位置？或者我必须指定单独的谓词know_actor 和knows_location？