Парадигма логического программирования. Язык Пролог - презентация, доклад, проект скачать

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

Парадигма логического программирования. Язык Пролог, слайд №1

Парадигма логического программирования. Язык Пролог, слайд №2

Парадигма логического программирования. Язык Пролог, слайд №3

Парадигма логического программирования. Язык Пролог, слайд №4

Парадигма логического программирования. Язык Пролог, слайд №5

Парадигма логического программирования. Язык Пролог, слайд №6

Парадигма логического программирования. Язык Пролог, слайд №7

Парадигма логического программирования. Язык Пролог, слайд №8

Парадигма логического программирования. Язык Пролог, слайд №9

Парадигма логического программирования. Язык Пролог, слайд №10

Парадигма логического программирования. Язык Пролог, слайд №11

Парадигма логического программирования. Язык Пролог, слайд №12

Парадигма логического программирования. Язык Пролог, слайд №13

Парадигма логического программирования. Язык Пролог, слайд №14

Парадигма логического программирования. Язык Пролог, слайд №15

Парадигма логического программирования. Язык Пролог, слайд №16

Парадигма логического программирования. Язык Пролог, слайд №17

Парадигма логического программирования. Язык Пролог, слайд №18

Парадигма логического программирования. Язык Пролог, слайд №19

Парадигма логического программирования. Язык Пролог, слайд №20

Парадигма логического программирования. Язык Пролог, слайд №21

Парадигма логического программирования. Язык Пролог, слайд №22

Парадигма логического программирования. Язык Пролог, слайд №23

Парадигма логического программирования. Язык Пролог, слайд №24

Парадигма логического программирования. Язык Пролог, слайд №25

Парадигма логического программирования. Язык Пролог, слайд №26

Парадигма логического программирования. Язык Пролог, слайд №27

Парадигма логического программирования. Язык Пролог, слайд №28

Парадигма логического программирования. Язык Пролог, слайд №29

Парадигма логического программирования. Язык Пролог, слайд №30

Парадигма логического программирования. Язык Пролог, слайд №31

Парадигма логического программирования. Язык Пролог, слайд №32

Парадигма логического программирования. Язык Пролог, слайд №33

Парадигма логического программирования. Язык Пролог, слайд №34

Парадигма логического программирования. Язык Пролог, слайд №35

Парадигма логического программирования. Язык Пролог, слайд №36

Парадигма логического программирования. Язык Пролог, слайд №37

Парадигма логического программирования. Язык Пролог, слайд №38

Парадигма логического программирования. Язык Пролог, слайд №39

Парадигма логического программирования. Язык Пролог, слайд №40

Парадигма логического программирования. Язык Пролог, слайд №41

Парадигма логического программирования. Язык Пролог, слайд №42

Парадигма логического программирования. Язык Пролог, слайд №43

Парадигма логического программирования. Язык Пролог, слайд №44

Содержание ▲

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

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

Слайд 1

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

Парадигма логического программирования. Язык Пролог

Слайд 2

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

Язык Пролог 1972, Ален Колмероэ Язык Пролог – в широко распространенная реализация принципов логического представления знаний. Реализует логику предикатов первого порядка. Декларативный язык (отвечает на вопрос «что это?», а не «как это сделать?» как в процедурных языках)

Слайд 3

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

Критика Пролога В Прологе реализуется лишь логическое представление знаний и лишь достоверный вывод, в то время как в большинстве случаев требуется использовать рассуждения в условиях неопределенности. Недостаточное удобство и гибкость, из-за которых создание программных продуктов с использованием этого языка часто оказывается более трудоемким и требующим специфической квалификации разработчиков, чем с использованием языков высокого уровня общего назначения.

Слайд 4

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

Особенности Пролога Для решения ряда задач Пролог оказывается гораздо более эффективным, чем, например, C++ или Java. внутренне присущий Прологу декларативный стиль представления знаний облегчает более легкую поддержку программ в течение их жизненного цикла; В связи с этим Пролог следует рассматривать в качестве специализированного языка программирования, который может использоваться в экспертных системах или для быстрого создания прототипов интеллектуальных систем, и не противопоставлять языкам общего назначения, а использовать как дополнительный инструмент.

Слайд 5

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

Синтаксис Преимущественно состоит из списка логических утверждений, которые можно разделить на факты и общие правила. Эти утверждения составляются из имен предикатов, переменных и их значений, которые представляют собой символьную строку, начинающуюся с буквы, а также совокупности логических операций. В конце каждого утверждения ставится точка ".".

Слайд 6

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

Синтаксис Переменные обязательно начинаются с прописной буквы, поэтому все значения должны начинаться со строчной буквы. Кванторы существования и всеобщности в Прологе опускаются: хотя они фактически используются, в явном виде в утверждениях (общих правилах, в которых фигурируют переменные) они не используются. Для предикатов, переменных и их значений отсутствуют объявления, как это имеет место в обычных языках.

Слайд 7

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

Логические операции в Прологе

Слайд 8

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

Пример утверждений Список фактов, не содержащих переменных: man(serg). man(alex). father(serg, alex). mother(kat, serg). Эти факты говорят, что предикаты "man", "father", "mother" истинны при указанных значениях аргументов. Предположение о замкнутости базы знаний (все предикаты будут ложны для всех значений переменных, для которых не было указано обратное).

Слайд 9

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

Общие правила Общие правила в Прологе записываются так же, как и факты, но в них присутствуют переменные. При этом подразумевается, что общее правило верно при всех значениях всех входящих в него переменных. p1(X) :– p2(X,Y) означает логическое выражение

Слайд 10

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

Общие правила Поскольку в Прологе подобные выражения используются для получения значения p1(X) при некотором X, то это выражение удобнее заменить выражением p1(X) истинно, если существует хотя бы одно значение Y, при котором p2(X,Y) истинно. Такая форма гораздо удобнее для вывода, поскольку выражение p2(X,Y)=>p1 (X) истинно при любых значениях p1 (X), если при данном Y предикат p2(X,Y) ложен. То есть на основе истинности всего выражения мы не можем установить истинность p1 (X).

Слайд 11

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

Общие правила Если дано правило p1(X,Y) :– p2(X) то оно означает вовсе не выражение а выражение поскольку операция «

Слайд 12

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

Примеры father(X, Y) :– man(X), parent(X, Y). Если некто X является мужчиной и родителем Y, то X – отец Y. parent(X, Y) :– mother(X, Y); father(X, Y). X является родителем Y, если X – отец или мать Y.

Слайд 13

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

Примеры grandfather(X, Y) :– father(X, Z), parent(Z, Y). X является дедушкой Y только тогда, когда X является отцом (некоторого) родителя Y. woman(X) :– mother(X, Y). Если X приходится кому-то матерью, то она является женщиной. brother(X, Y) :– man(X), parent(Z, X), parent(Z, Y). Если у X и Y общий родитель и X – мужчина, то X – брат Y.

Слайд 14

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

Плохой пример mother(X, Y) :– woman(X). Если X является женщиной, то она мать любого Y.

Слайд 15

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

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

Слайд 16

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

Пример программы mother(X, Y) :– woman(X), parent(X, Y). father(X, Y) :– man(X), parent(X, Y). grandfather(X, Y) :– father(X, Z), parent(Z, Y). man(serg). man(alex). woman(kat). parent(serg, victor). parent(kat, victor). parent(victor, alex).

Слайд 17

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

Пример программы Посмотрим на следующие запросы, начинающиеся с приглашения "?–", на которые интерпретатор возвращает некоторый ответ: ?– father(serg, victor). Yes ?– grandfather(serg, alex). Yes ?– mother(kat, alex). No ?– father(victor, alex). No

Слайд 18

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

Выводы Для обработки этих запросов интерпретатору необходимо выполнить логический вывод, а не просто обратиться к базе правил. Видно, как действует предположение о замкнутости базы знаний: поскольку в базе нет фактов об истинности parent(kat, alex) и man(victor), то последние два запроса возвращают "Нет".

Слайд 19

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

Слайд 20

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

Запросы в виде выражений с переменными ?– mother(kat, X). X = victor Yes ?– grandfather(X, alex). X = serg Yes ?– grandfather(X, Y). X = serg, Y = alex Yes ?– grandfather(X, kat). No ?– man(X). X = serg Yes

Слайд 21

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

Запросы в виде выражений с переменными В подобного рода запросах предполагается квантор существования для входящих в него переменных. Выражение истинно, если найдется хотя бы одно подходящее значение X (как именно обозначать переменные в запросе, не имеет значения). В действительности, при нахождении в базе первого значения, для которого введенное выражение истинно, интерпретатор спрашивает пользователя, продолжать ли поиск. Поиск продолжается при нажатии команды ";" (или) до тех пор, пока не будет дан ответ "Нет" в связи с исчерпанием всех возможностей.

Слайд 22

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

Запросы в виде выражений с переменными Более сложные выражения в запросах также допустимы, например, ?– mother(kat, X), father(Y, X). X = victor, Y = serg Yes Этот запрос позволяет определить, кто является отцом сына kat.

Слайд 23

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

Команды для изменения базы Интерпретатор не только отвечает на запросы, но также позволяет интерактивно изменять базу правил и фактов, для чего могут использоваться команда assert для добавления записи (asserta и assertz позволяют добавлять записи в начало и конец списка соответственно) и команда retract для удаления записи. Существует также набор команд интерпретатора для отладки базы и процесса вывода, например, команды listing, trace и spy.

Слайд 24

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

Арифметические выражения Сложение "+" Вычитание "-" Умножение "*" Деление "/" Остаток от целочисленного деления "mod"

Слайд 25

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

Арифметические выражения Для того чтобы арифметическое выражение вычислялось, необходимо использовать оператор is. Пример: ?– X is 8+3*12. X = 44 Yes То есть интерпретатор производит «поиск» такого значения переменной X, при котором введенное выражение истинно.

Слайд 26

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

Арифметические выражения Арифметические выражения могут использоваться также и для описания связи переменных, входящих в предикаты. Пусть в базе записано следующее правило: f(X, Y, Z) :– Z is X*Y. Тогда возможны следующие запросы: ?– f(3, 2, 6). Yes ?– f(5, 7, Z). Z = 35 Yes

Слайд 27

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

Арифметические выражения Однако запрос вида f(5, Y, 35) является некорректным, поскольку интерпретатор требует, чтобы переменные, входящие в арифметическое выражение после оператора is были определены на момент вычисления. Таким образом, поиск в действительности не осуществляется, а происходит простое вычисление.

Слайд 28

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

Пример вычисления факториала Поместим в базу следующие правила: fr(1,M) :- M is 1. fr(N,M) :- N> 1, N 1 is N-1, fr(N 1, M 1),M is N*M 1. Мы заставляем интерпретатор вычислять значение M на основе такого значение M1, для которого будет истинным предикат fr(N-1, M1).

Слайд 29

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

Пример вычисления факториала Несложно убедиться, что этот предикат позволяет вычислять значение факториала: ?– fr(5, X). X = 120 Yes ?– fr(8, X). X = 40320 Yes ?– fr(3, 8). No

Слайд 30

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

Задание Напишите список правил, позволяющих вычислять числа Фибоначчи.

Слайд 31

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

Числа Фибоначчи (решение) fibonacci(0,M) :- M is 1. fibonacci(1,M) :- M is 1. fibonacci(N,M) :- N > 1, N1 is N-1, fibonacci(N1,M1), N2 is N-2, fibonacci(N2,M2), M is M1 + M2.

Слайд 32

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

Списки Помимо арифметических операций в Прологе также могут использоваться списки – упорядоченные множества элементов, которые являются чрезвычайно важными. Списки в Прологе имеют определенное сходство со списками в Лиспе – другом языке искусственного интеллекта, – основой которого они являются.

Слайд 33

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

Списки Список в Прологе задается перечислением своих элементов через запятую внутри квадратных скобок: [] – пустой список; [serg, kat, victor, alex] – четырехэлементный список; [[serg, kat], [victor, alex]] – список из двух элементов, которые сами по себе являются списками.

Слайд 34

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

Списки Поскольку в Прологе все основано на предикатах, то для объявления некоторого списка нужно ввести соответствующий предикат. Список как элемент базы фактов может выглядеть, например, следующим образом: family([serg, kat, victor, alex]). family([nick, ann, igor]).

Слайд 35

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

Списки: расщепление Основной операцией по работе со списками является их расщепление на голову (первый элемент списка) и хвост (оставшиеся элементы списка). Эта операция осуществляется заданием шаблонов вида [X|Y], где X – голова списка, а Y – его хвост.

Слайд 36

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

Расщепление списков: примеры ?– family([serg|X]). X = [kat, victor, alex] Yes ?– family([nick, ann|X]). X = [igor] Yes ?– family([X, Y|[victor, alex]]). X = serg, Y = kat Yes

Слайд 37

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

Шаблоны списков [X|Y] – список, состоящий не менее чем из одного элемента [X, Y] – список, состоящий ровно из двух элементов [X, Y|Z] – список, состоящий не менее чем из двух элементов [a|X] – список, первым элементом которого является «a». [X|[a]] – список, состоящий из двух элементом, второй элемент – «a».

Слайд 38

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

Шаблоны списков На основе шаблонов можно создавать общие правила для списков. Предикат, проверяющий принадлежность элемента списку: member(X, [X|L]). member(X, [Y|L]) :– member(X, L). Если X – голова списка, имеющего хвост L, то X является членом списка XL; если X является членом хвоста списка L, то он является также и членом полного списка YL, где Y – произвольный хвост.

Слайд 39

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

Списки: примеры запросов Пусть, к примеру, мы делаем запрос: ?– member(serg, [serg, kat, victor, alex]). Тогда интерпретатор, обращаясь к правилу member(X, [X|L]) делает подстановку: X=serg, [X|L]=[serg|kat, victor, alex], подстановка оказывается успешной, и он возвращается истинное значение.

Слайд 40

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

Списки: примеры запросов Сделаем запрос ?– member(serg, [kat, serg, victor, alex]). Интерпретатор не сможет выполнить унификацию для первого правила и обратится ко второму: member(X, [Y|L]) :– member(X, L). Теперь X=serg, Y=kat, L=[serg, victor, alex]. После этого он будет проверять истинность для member(serg, [serg, victor, alex]).

Слайд 41

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

Списки: примеры запросов Мы можем воспользоваться введенными ранее фактами для предиката family и общими правилами для предиката member и организовать такой запрос: ?– member(kat, X), family(X). X=[serg, kat, victor, alex] Yes То есть мы сможем получать список по входящему в него элементу.

Слайд 42

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

Списки: встроенные предикаты length(L, N) является истинным, если N – длина (количество элементов) списка L. Примеры: length(L, X), family(L). L = [serg, kat, victor, alex], X = 4 ; L = [nick, ann, igor], X = 3 Yes ?– length(X, 4), family(X). X = [serg, kat, victor, alex] Yes

Слайд 43

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

Списки: встроенные предикаты member(X, L) в действительности является встроенным предикатом; append(L1, L2, L3) истинен, когда L3 является объединением двух списков L1 и L2; last(X, L) истинен, когда X – последний элемент в списке L; reverse(L1, L2) истинен, когда L2 – это обращенный список L1.

Слайд 44

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

Прочие возможности Пролога Мы рассмотрели лишь самые базовые возможности языка Пролог, которые, в действительности, существенно шире. Например, на основе списков и механизмов вывода в Прологе строятся прочие абстрактные типы данных: стеки, очереди, множества. Помимо различных структур данных Пролог также поддерживает некоторые механизмы управления поиском, которых мы не касались. Современные версии Пролога имеют также обширные библиотеки, например, для выполнения и обработки http-запросов, что существенно расширяет сферу применения данного языка.