Prolog

1. Prolog Логика и ИИ. Eugeny L Yakimovitch http://desk.by/~ewger 2008

2. Alain Colmerauer(January 24, 1941) • Французский информатик • Создатель языка Prolog • В настоящее время профессор университета Aix-Marseilles

3. Язык Prolog • Разработан в 1972 г. • Распространенные реализации: GNU Prolog, Quintus, SICStus, SWI-Prolog, YAP • Диалекты: ISO Prolog, Edinburgh Prolog • Приемники: Visual Prolog, Mercury, Oz, Erlang, Strand

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

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

6. Логическое программирование • было предложено John McCarthy в 1958 в виде Advice Taker. • J. Alan Robinson придумал алгоритм резолюции и унификации для логической дедукции (1963).Процедура является простой или легко программируется. Однако, наивная реализация приводит к комбинаторному расширению или зацикливанию. • 1974, Robert Kowalski предлагает представлять логические вырадения в виде формул или замыканий Хорна (вырежний в виде правил: "if p then q"), которые сокращают логический вывод до прямой или обратной цепочки. Это упростило проблему. • Логика может использоваться не только для представления знаний и доказательства, но и для решения таких задач как планирование или обучения (с использованием индуктивной логики).

7. Логика ИИ • Препозиционная логика или Логика высказываний, которые могут быть соот. истинными или ложными. • Логика первого порядка (исчисление предикатов) является расширением логики высказываний. Использует высказывания относительно переменных, фиксированных функций, предикатов и кванторов. Таким образом выражая факты об объектах, их свойствах и отношениях между этими объектами. • Нечеткая логика это расширение логики первого порядка до вычисления высказываний в виде значений в интервале [0, 1]. Нечеткие системы могут быть использованы для нечеткого доказательства и широко используются в современных промышленных технологиях (например, контроле качества продукции). • Логики автоматического доказательства (интуитивная логика и др.) • Другие логики: модальная логика, конструктивистская логика, логика описаний, ситуационная логика, событийная логика, и др.

8. Новизна подхода Пролог представляет собой программную реализацию следующих составляющих: • понятие унификации • система обработки неудач • стандартизация цели • использование замыканий Хорна