Why do we need PDDL, when we already have first order logic?

Question

This might be a totally naive question, but I am interested to know the particular reasons. Why was PDDL developed in the first place? Why could we not do the reasoning using First-Order Logic?

Answer 1

Using a more distinct language to express your problem makes it possible to apply more specific algorithms to solve them.

From a theoretic point of view, FOL is undecidable while most flavors of PDDL are still decidable because PDDL can only express planning problems. E.g. formal planning with parameterized actions is "only" like EXPSPACE-complete.

If you are looking to learn more about Artificial Intelligence then you visit Artificial Intelligence Tutorial and Artificial Intelligence Course. Also, if you are appearing for job profiles of AI Engineer or AI Expert then you can prepare for the interviews on Artificial Intelligence Interview Questions.