Причина разработки First Order Logic и PDDL
Это может быть наивным вопросом, но мне действительно интересно узнать, почему логика была разработана для использования в ИИ. В частности, что было необходимо для разработки логики первого порядка и PDDL в ИИ, если бы мы могли заниматься программированием, используя простое атомарное представление состояний? Опять же, я понимаю, что это действительно простой вопрос!
2 ответа
Итак, ваш вопрос: почему мы программируем / моделируем на уровне первого порядка, а не на уровне высказываний? Просто потому что это более лаконично.
Вы можете делать предложения типа "Все люди могут думать". с языком первого порядка и не нужно заявлять "Алиса может думать. Боб может думать. Кэрол может думать. ...".
Если вы посмотрите на некоторые проблемы планирования PDDL от IPC, иногда существуют базовые версии, которые формулируются на пропозициональном уровне. И файлы намного больше. Вы не хотите писать это вручную.
Я не знаю о PDDL, но логика первого порядка была разработана еще до того, как были изобретены компьютеры, поэтому она не была предназначена для использования в искусственном интеллекте. Он говорит вам, какие аргументы являются действительными.