Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
规划问题的这两种表示有什么区别?
有根据的表示将计划规则限制为命题逻辑:没有变量,简单的条件 => 效果规则。
提升表示将此扩展到简单的 FOPC(一阶谓词演算),您可以在其中获得变量、谓词(简单的状态函数)和简单的操作(例如否定)。
对于您的目的来说,这是否足够一个分区?