Причина разработки First Order Logic и PDDL

Question

Это может быть наивный вопрос, но мне действительно интересно знать, почему логика была разработана для использования в ИИ.В частности, что было необходимо для разработки логики первого порядка и PDDL в ИИ, если бы мы могли заниматься программированием, используя простое атомарное представление состояний?Опять же, я понимаю, что это действительно простой вопрос !!

Answer 1

Итак, ваш вопрос о том, почему мы программируем / моделируем на уровне первого порядка, а не на уровне высказываний? Просто потому что это более лаконично.

Вы можете делать предложения типа «Все люди могут думать». с языком первого порядка и не нужно заявлять: «Алиса может думать. Боб может думать. Кэрол может думать. ...».

Если вы посмотрите на некоторые проблемы планирования PDDL из МПК, иногда существуют базовые версии, которые формулируются на пропозициональном уровне. И файлы намного больше. Вы не хотите писать их вручную.

Answer 2

Я не знаю о PDDL, но логика первого порядка была разработана до того, как были изобретены компьютеры, поэтому она не была предназначена для использования в ИИ.Он говорит вам, какие аргументы являются действительными.