Prolog

Логика и ИИ.

Eugeny L Yakimovitch Eugeny L Yakimovitch http://desk.by/~ewger 2008 2008

Alain Colmerauer (January 24, 1941 )

• Французский информатик

• Создатель языка Prolog

• В настоящее время профессор университета Aix-Marseilles

Язык Prolog

• Разработан в 1972 г.

• Распространенные реализации: GNU Prolog, Quintus, SICStus, SWI-Prolog, YAP

• Диалекты: ISO Prolog, Edinburgh Prolog

• Приемники: Visual Prolog, Mercury, Oz, Erlang, Strand

Особенности Prolog

• Реализует логический подход

• Используется при разработке систем ИИ (например автоматического доказательства).

Задачи(направления) ИИ

• Когнитивная наука • Инженерия знаний • Машинное обучение • Нейронные сети • Агентный подход • Машинное творчество • Обработка естественного языка • Распознавание образов • Робототехника • Философия искусственного интеллекта

Логическое программирование

• было предложено John McCarthy в 1958 в виде Advice Taker. • J. Alan Robinson придумал алгоритм резолюции и унификации

для логической дедукции (1963).Процедура является простой или легко программируется. Однако, наивная реализация приводит к комбинаторному расширению или зацикливанию.

• 1974, Robert Kowalski предлагает представлять логические вырадения в виде формул или замыканий Хорна(вырежний в виде правил: "if p then q"), которые сокращают логический вывод до прямой или обратной цепочки. Это упростило проблему.

• Логика может использоваться не только для представления знаний и доказательства, но и для решения таких задач как планирование или обучения (с использованием индуктивной логики).

Логика ИИ• Препозиционная логика или Логика высказываний, которые

могут быть соот. истинными или ложными. • Логика первого порядка (исчисление предикатов) является

расширением логики высказываний. Использует высказывания относительно переменных, фиксированных функций, предикатов и кванторов. Таким образом выражая факты об объектах, их свойствах и отношениях между этими объектами.

• Нечеткая логика это расширение логики первого порядка до вычисления высказываний в виде значений в интервале [0, 1]. Нечеткие системы могут быть использованы для нечеткого доказательства и широко используются в современных промышленных технологиях (например, контроле качества продукции).

• Логики автоматического доказательства (интуитивная логика и др.)

• Другие логики: модальная логика, конструктивистская логика, логика описаний, ситуационная логика, событийная логика, и др.

Новизна подхода

Пролог представляет собой программную реализацию следующих составляющих:

• понятие унификации

• система обработки неудач

• стандартизация цели

• использование замыканий Хорна