close

Вход

Забыли?

вход по аккаунту

?

Prolog - yy | Yauhen's Blog

код для вставкиСкачать
Prolog
Логика и ИИ.
Eugeny L Yakimovitch http://desk.by/~ewger 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].
Нечеткие системы могут быть использованы для нечеткого
доказательства и широко используются в современных
промышленных технологиях (например, контроле качества
продукции).
• Логики автоматического доказательства (интуитивная логика и
др.)
• Другие логики: модальная логика, конструктивистская логика,
логика описаний, ситуационная логика, событийная логика, и
др.
Новизна подхода
Пролог представляет собой программную
реализацию следующих составляющих:
•
•
•
•
понятие унификации
система обработки неудач
стандартизация цели
использование замыканий Хорна
Документ
Категория
Презентации
Просмотров
9
Размер файла
396 Кб
Теги
1/--страниц
Пожаловаться на содержимое документа