🗊Презентация Логическое программирование (Prolog)

Факультет Прикладной математики и физики Факультет Прикладной математики и физики Кафедра Вычислительной математики и программирования Московский авиационный институт (государственный технический университет)

Принципы логического программирования Принципы логического программирования Математическая теория в основе логического программирования – логика предикатов, логический вывод, вывод типов Семантика языков логического программирования, вопросы реализации Языки логического программирования: Prolog Mercury

Любая СП Prolog, поддерживающая «классический» Эдинбургский синтаксис: Любая СП Prolog, поддерживающая «классический» Эдинбургский синтаксис: GNU Prolog (http://www.gprolog.org) Система на базе .NET P# Prolog.NET (http://prolog.hodroj.net) Strawberry Prolog (http://www.dobrev.com)

Лекции Лекции Семинары Лабораторные работы (4 шт.) выполняются самостоятельно Самостоятельная работа Доклады Обсуждения Экзамен

Экзамен (письменный, 5 вопросов) – 80% Экзамен (письменный, 5 вопросов) – 80% Лабораторные работы – 20% Самостоятельная работа (доклады, выступления на семинарах, вопросы, дополнительная работа) – 20%

Научно-исследовательская работа Научно-исследовательская работа Выполнение полу-исследовательского проекта Выступление с докладом (15-20 мин.)

Сошников Д.В., Парадигма логического программирования Сошников Д.В., Парадигма логического программирования Братко И. Программирование на языке Пролог для искусственного интеллекта. пер. с англ. – М.: Мир, 1990. Bratko I. Programming in Prolog for Artificial Intelligence (3rd edition), Addison-Wesley Publishers, 2001. Клоксин У., Меллиш К. Программирование на языке Пролог. – М.: Мир, 1987. Хоггер К. Введение в логическое программирование: Пер. с англ. -М.: Мир, 1988. Набебин А.А. Логика и Пролог в дискретной математике. – М.: Изд-во МЭИ, 1996. Малпас Дж. Реляционный язык Пролог и его применение: Пер. с англ. -М.: Наука, 1990. Стерлинг Х., Шапиро Э. Искусство программирования на языке Пролог: Пер. с англ. - М.: Мир, 1990.

Введение в Пролог и логическое программирование Введение в Пролог и логическое программирование

speciality(X,tech_translator) :- studied_languages(X),studied_technical(X). speciality(X,tech_translator) :- studied_languages(X),studied_technical(X). speciality(X,programmer) :- studied(X,mathematics),studied(X, compscience). speciality(X,lit_translator) :- studied_languages(X),studied(X,literature). studied_technical(X) :- studied(X,mathematics). studied_technical(X) :- studied(X,compscience). studied_languages(X) :- studied(X,english). studied_languages(X) :- studied(X,german). studied(petya,mathematics). studied(vasya,german). studied(petya,compscience). studied(vasya,literature). studied(petya,english).

Запрос (целевое утверждение) сопоставляется (унифицируется) с головами имеющихся в программе правил и фактов. Запрос (целевое утверждение) сопоставляется (унифицируется) с головами имеющихся в программе правил и фактов. Начиная с первого найденного правила, целевое утверждение подменяется правой частью правила (с учетом замены переменных) Если встречается неуспех (правило не находится), то происходит откат (backtracking)

speciality(X,tech_translator) :- studied_languages(X),studied_technical(X). speciality(X,tech_translator) :- studied_languages(X),studied_technical(X).

В приведенном выше примере можно условно выделить базу фактов (кто какой предмет изучал) и базу правил В приведенном выше примере можно условно выделить базу фактов (кто какой предмет изучал) и базу правил Дедуктивные базы данных – это базы данных, снабженные средствами логического программирования для вывода дополнительных фактов Примеры: Mercury, Datalog

Автоматическое построение учебных планов Автоматическое построение учебных планов Опишем зависимости между дисциплинами: depends(lin_alg, math_logic) depends(logic_prog, math_logic). depends(compscience, lin_alg). Опишем требуемые для специальности дисциплины: requires(programmer, compscience). Как понять, что должен изучать программист?

Что видите интересного в этом примере? Что видите интересного в этом примере?