这可能是一个完全天真的问题,但我有兴趣知道具体原因。最初为什么要开发 PDDL?为什么我们不能使用一阶逻辑进行推理?
解决问题的效率
使用更具体的语言来表达您的问题可以应用更具体的算法来解决问题。
从理论上来看,FOL 是不可判定的,而大多数 PDDL 风格仍然是可判定的,因为 PDDL 只能表达规划问题。以及例如具有参数化动作的经典规划“仅”像 EXPSPACE 一样完整。
当然,用更一般/更具表现力的 FOL 表示的 EXPSPACE 完全问题仍然可以在 EXPSPACE 中解决,如果你知道的话。但是,想出一个通用的 FOL 求解器来保证仅使用指数空间解决 EXPSPACE 中的所有问题有多难?
建模效率
在实践方面,使用为规划问题建模而设计的语言表达规划问题比用 FOL 编写要方便得多。
您难道不想编写 C++ 而不是汇编程序吗?尽管用 C++ 编写的所有内容都可以用汇编器表达。
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)