一阶逻辑和PDDL发展的原因

发布于 2024-12-04 23:09:34 字数 115 浏览 3 评论 0原文

这可能是一个天真的问题,但我真的很想知道为什么逻辑被开发用于人工智能。特别是,如果我们可以使用状态的简单原子表示进行编程,那么在人工智能中开发一阶逻辑和 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!!

如果你对这篇内容有疑问,欢迎到本站社区发帖提问 参与讨论,获取更多帮助,或者扫码二维码加入 Web 技术交流群。

扫码二维码加入Web技术交流群

发布评论

需要 登录 才能够评论, 你可以免费 注册 一个本站的账号。

评论(2

混吃等死 2024-12-11 23:09:34

所以你的问题是:为什么我们在一阶级别而不是命题级别上进行编程/建模?很简单,因为它更简洁。

你可以提出诸如“所有人都能思考”之类的命题。使用一阶语言,不必声明“Alice 可以思考。Bob 可以思考。Carol 可以思考......”。

如果您查看 IPC 中的一些 PDDL 规划问题,有时会发现在命题级别上制定了基础版本。而且文件要大得多。你不想用手写这些。

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. ...".

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.

戴着白色围巾的女孩 2024-12-11 23:09:34

我不了解 PDDL,但一阶逻辑是在计算机发明之前开发的,因此它不适用于人工智能。它告诉您哪些参数是有效的。

I don't know about PDDL, but first order logic was developed before computers ever were invented, so it wasn't for use in AI. It tells you what arguments are valid.

~没有更多了~
我们使用 Cookies 和其他技术来定制您的体验包括您的登录状态等。通过阅读我们的 隐私政策 了解更多相关信息。 单击 接受 或继续使用网站,即表示您同意使用 Cookies 和您的相关数据。
原文