Tim*_*oad 4 artificial-intelligence pddl
这可能是一个非常幼稚的问题,但我很想知道具体的原因.为什么PDDL首先开发出来？为什么我们不能使用一阶逻辑进行推理？
使用更具体的语言来表达您的问题可以应用更具体的算法来解决它们.
从理论的角度来看,FOL是不可判定的,而大多数PDDL版本仍然是可判定的,因为PDDL只能表达规划问题.例如,使用参数化操作的经典计划"仅"像EXPSPACE-complete.
当然,如果您了解 EXPSPACE,在EXPSPACE中仍然可以解决以更一般/富有表现力的FOL表达的EXPSPACE完整问题.但是,想出一个只使用指数空间来解决EXPSPACE中所有问题的通用FOL求解器有多难？
在实践方面,使用设计用于建模规划问题的语言来表达规划问题比在FOL中写下来更方便.
你不想写C++而不是Assembler吗？即使您可以用C++编写的所有内容都可以用汇编程序表示.