Geek Answers Handbook

Reason for developing first-order logic and PDDL

This may be a naive question, but I'm really interested to know why the logic was developed for use in AI. In particular, what was the need to develop first-order logic and PDDL in AI if we could program using a simple atomic representation of states? Again, I understand that this is really a basic question!

+1
source share
2 answers

So your question is: why do we program / model the level of the first level instead of the propositional level? Just because it is more concise.

You can make suggestions like "All people can think." with first-order language and no need to argue that Alice might think. Bob might think. Carol might think ... "

If you look at some of the problems of planning PDDL from the IPC, sometimes there are terrestrial versions that are formulated at the propositional level. And the files are much larger. You do not want to write them manually.

+1
source

I do not know about PDDL, but first-order logic was developed before computers were invented, so it was not used in AI. He tells you which arguments are valid.

0
source

More articles:


All Articles