eclipse-vorto - 使用 Eclipse Vorto 描述“类似 PDDL”的操作

Question

我开始在我的项目中使用 Eclipse Vorto，作为我的设备描述的一部分，我想包括具有前提条件和效果的操作，就像 PDDL 的情况一样（请参阅https://en.wikipedia.org/wiki/Planning_Domain_Definition_Language） . 例如，我想包括以下操作（使用 PDDL 形式）：

   (:action move
    :parameters (?from ?to)
    :precondition (and (at ?from))
    :effect (and (at ?to)
                (not (at ?from))))

我阅读了 vortolang 文档（https://github.com/eclipse/vorto/blob/master/docs/vortolang-1.0.md），唯一部分符合目的的类是Operation该类。先前的 PDDL 操作将映射到以下内容：

move(from as string, to as string)

当然，这样会失去前提条件和效果。有没有一种“类似漩涡”的方式来表达这种 PDDL 动作？

标签： eclipse-vorto