在PDDL 2.1，公制FF中指定除法值

Question

函数部分有3个变量：

(x)
(y)
(z)

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

我的域中的一个操作更改了x和y的值。

现在，当我尝试将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) ) )不工作？请帮帮我。

Answer 1

Metric FF不支持非线性表达式，因为您正在使用它来为变量z赋值。尝试使x和y恒定(删除任何修改它们的操作(，看看它是否有效，但这可能不是您想要的。对于数值规划问题中的非线性表达式，请查看ENHSP：https://sites.google.com/view/enhsp/