-2

规划问题的这两种表示有什么区别?

4

1 回答 1

0

有根据的表示将计划规则限制为命题逻辑:没有变量,简单的条件 => 效果规则。

提升表示将此扩展到简单的 FOPC(一阶谓词演算),您可以在其中获得变量、谓词(简单的状态函数)和简单的操作(例如否定)。

对于您的目的来说,这是否足够一个分区?

于 2018-09-12T23:39:57.987 回答