planning - 在 PDDL 2.1 中分配除法值，公制 FF

Question

我在函数部分有 3 个变量：

(x)
(y)
(z)

我已经将它们全部初始化为0我的问题init。

我的域中的一个动作改变了xand的值y。

现在，当我尝试分配 to 的值时x/y，z它说这不是线性任务。

(assign (z) (/ (x) (y) ) )

但是当我写(assign (z) (/ (x) 2 ) )它时分配了正确的值x/2，同样地(assign (z) (/ (y) 2 ) )，它被分配了正确的值(y/2)。这确保了 x 和 y 不为零。

现在为什么(assign (z) (/ (x) (y) ) )不工作？请帮帮我。

标签： planningpddl

Answer 1

Metric-FF 不支持非线性表达式，就像您用来将值分配给变量 z 的表达式一样。尝试使 x 和 y 保持不变（删除任何修改它们的操作），看看它会起作用，但这可能不是你想要的。对于数值规划问题中的非线性表达式，请查看 ENHSP：https ://sites.google.com/view/enhsp/