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

На нашем сайте вы можете скачать и просмотреть онлайн доклад-презентацию на тему Логическое программирование (Prolog) абсолютно бесплатно. Урок-презентация на эту тему содержит всего 24 слайда. Все материалы созданы в программе PowerPoint и имеют формат ppt или же pptx. Материалы и темы для презентаций взяты из открытых источников и загружены их авторами, за качество и достоверность информации в них администрация сайта не отвечает, все права принадлежат их создателям. Если вы нашли то, что искали, отблагодарите авторов - поделитесь ссылкой в социальных сетях, а наш сайт добавьте в закладки.

Презентации » Устройства и комплектующие » Логическое программирование (Prolog)

Просмотр ВСЕЙ презентации! ЖМИТЕ

Оцените презентацию от 1 до 5 баллов!

Смотреть онлайн
Скачать

Тип файла:

ppt / pptx (powerpoint)
Всего слайдов:

24 слайда
Для класса:

1,2,3,4,5,6,7,8,9,10,11
Размер файла:

7.60 MB
Просмотров:

66
Скачиваний:

0
Автор:

неизвестен

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

№1 слайд

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

№2 слайд

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

№3 слайд

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

№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). Как понять, что должен изучать программист?

№21 слайд