开发一阶逻辑和PDDL的原因 [英] Reason for the development of First Order Logic and PDDL

问题描述

这可能是一个幼稚的问题，但是我真的很想知道为什么开发了逻辑以用于AI.特别是，如果我们可以使用状态的简单原子表示进行编程，那么在AI中开发一阶逻辑和PDDL的需求是什么?再次，我意识到这是一个非常基本的问题！

This might be a naive question, but i am really interested to know why logic was developed to be used in AI. In particular, what was the need to develop first order logic and PDDL in AI, if we could do the programming using simple atomic representation of states? Again, I realize this is a really basic question!!

推荐答案

因此，您的问题是:为什么我们在第一级而非命题级进行编程/建模?仅仅是因为它更加简洁.

So your question is about: why do we program/model on a first-order level instead of a propositional level? Simply because it is more concise.

您可以提出所有人都可以思考"的主张.具有一阶语言，而不必声明爱丽丝可以思考.鲍勃可以思考.卡罗尔可以思考....".

You can make propositions like "All humans can think." with a first-order language and don't have to state "Alice can think. Bob can think. Carol can think. ...".

如果您查看IPC的一些PDDL规划问题，则有时会有一些基本版本在命题级别上制定.文件更大.您不想手工写这些.

If you look at some PDDL planning problems from the IPC, there are sometimes ground versions that are formulated on a propositional level. And the files are much larger. You don't want to write those by hand.

这篇关于开发一阶逻辑和PDDL的原因的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！