这可能是一个幼稚的问题，但我真的很想知道为什么逻辑被开发用于人工智能。特别是，如果我们可以使用状态的简单原子表示进行编程，那么在AI中开发一阶逻辑和PDDL的必要性是什么?再一次，我意识到这是一个非常基本的问题!
所以你的问题是:为什么我们在一阶水平而不是命题水平上编程/建模?因为它更简洁。
你可以用一阶语言提出"所有人类都能思考"这样的命题，而不必说"爱丽丝能思考"。鲍勃会思考。Carol可以思考. ..."。
如果你看看IPC的一些PDDL规划问题，有时会有在命题级别上制定的地面版本。而且文件要大得多。你不会想手写的
我不知道PDDL，但一阶逻辑是在计算机发明之前开发的，所以它不适用于人工智能。它告诉你哪些参数是有效的
javascript python java c# php android html jquery c++ css ios sql mysql arrays asp.net json python-3.x ruby-on-rails .net sql-server django objective-c excel regex ruby linux ajax iphone xml vba spring asp.net-mvc database wordpress string postgresql wpf windows xcode bash git oracle list vb.net multithreading eclipse algorithm macos powershell visual-studio image forms numpy scala function api selenium