PDDL中的对象组合

Question

我对PDDL非常陌生，我在一些基本的东西上跌跌撞撞。

对象模型大致是这样的：

• 对象A具有多个数值属性:对象B是对象A的集合，
• 是动作的一部分，传递的参数是对象B，所有对象A的属性(包含在对象B中)都需要满足某些条件。

使用函数，我可以定义对象A的数值属性，但是我不知道如何捕获“对象B是对象A的集合”？

Answer 1

我不确定它是否符合您的问题规范，但是您不能仅仅定义一个谓词is_part_of(?x - ObjectA ?y - ObjectB)来定义这个属性吗？

然后，在前提条件下，您可以在所有的forall上使用一个objectA量词。在forall body状态中，当谓词为true时，对象必须满足条件。注意，PDDL有when关键字，这使得这很容易。否则，您可以通过对替代方案进行编码，将其编码为一个简单的or。