Логическое программирование (Prolog) - презентация, доклад, проект скачать

Нажмите для полного просмотра!

Логическое программирование (Prolog), слайд №1

Логическое программирование (Prolog), слайд №2

Логическое программирование (Prolog), слайд №3

Логическое программирование (Prolog), слайд №4

Логическое программирование (Prolog), слайд №5

Логическое программирование (Prolog), слайд №6

Логическое программирование (Prolog), слайд №7

Логическое программирование (Prolog), слайд №8

Логическое программирование (Prolog), слайд №9

Логическое программирование (Prolog), слайд №10

Логическое программирование (Prolog), слайд №11

Логическое программирование (Prolog), слайд №12

Логическое программирование (Prolog), слайд №13

Логическое программирование (Prolog), слайд №14

Логическое программирование (Prolog), слайд №15

Логическое программирование (Prolog), слайд №16

Логическое программирование (Prolog), слайд №17

Логическое программирование (Prolog), слайд №18

Логическое программирование (Prolog), слайд №19

Логическое программирование (Prolog), слайд №20

Логическое программирование (Prolog), слайд №21

Логическое программирование (Prolog), слайд №22

Логическое программирование (Prolog), слайд №23

Логическое программирование (Prolog), слайд №24

Содержание ▲

Вы можете ознакомиться и скачать презентацию на тему Логическое программирование (Prolog). Доклад-сообщение содержит 24 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации

Слайд 1

Описание слайда:

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

Слайд 2

Описание слайда:

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

Слайд 3

Описание слайда:

Любая СП Prolog, поддерживающая «классический» Эдинбургский синтаксис: Любая СП Prolog, поддерживающая «классический» Эдинбургский синтаксис: GNU Prolog ( Система на базе .NET P# Prolog.NET ( Strawberry Prolog (

Слайд 4

Описание слайда:

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

Слайд 5

Описание слайда:

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

Слайд 6

Описание слайда:

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

Слайд 7

Описание слайда:

Слайд 8

Описание слайда:

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

Слайд 9

Описание слайда:

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

Слайд 10

Описание слайда:

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).

Слайд 11

Описание слайда:

Слайд 12

Описание слайда:

Слайд 13

Описание слайда:

Слайд 14

Описание слайда:

Слайд 15

Описание слайда:

Слайд 16

Описание слайда:

Слайд 17

Описание слайда:

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

Слайд 18

Описание слайда:

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

Слайд 19

Описание слайда:

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

Слайд 20

Описание слайда:

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