pddl相关内容

我在PDDL2.1中实现了一个基于函数(charge_level)的计费操作。(charge_level)的函数值工作并更新约10赫兹。 我想创建一个名为charge的操作，该操作将一直持续到charge_level达到阈值。这是 (:durative-action charge :duration ( CONTINUE UNTIL (> (charge_level) HIGH_ ..

我正在尝试使用PDDL解决与计划者有关的Pacman风格的问题.我认为给定地图上有很多食物.我使用 exists 检查地图中是否还有其他食物，但这不起作用；为什么呢? 这是我的问题文件: (定义(问题pacman-level-1)(:domain pacman_simple);;问题图;;|1 |2 |3 |;;-| ---- | --- | --- ||;;a |P |G |F |;;b ..

我已经在PDDL中编写了一个域和测试问题，但是显然graphplan实现找不到计划.这是域: (define (domain aperture) (:requirements :strips :typing :negative-preconditions) (:types cube hallway room - location ..

这可能是一个非常幼稚的问题，但是我很想知道具体原因.为什么首先开发PDDL?为什么我们不能使用一阶逻辑进行推理? 解决方案 解决效率 使用更具体的语言来表达您的问题，可以应用更具体的算法来解决它们. 从理论上讲，FOL是不可确定的，而大多数PDDL仍可确定，因为PDDL只能表达计划问题.还有具有参数化动作的经典计划是“唯一的".像EXPSPACE-complete. 当然 ..

这可能是一个幼稚的问题，但是我真的很想知道为什么开发了逻辑以用于AI.特别是，如果我们可以使用状态的简单原子表示进行编程，那么在AI中开发一阶逻辑和PDDL的需求是什么?再次，我意识到这是一个非常基本的问题！ 解决方案 因此，您的问题是:为什么我们在第一级而非命题级进行编程/建模?仅仅是因为它更加简洁. 您可以提出“所有人都可以思考"的主张.具有一阶语言，而不必声明“爱丽丝可以思考. ..