Презентация Логическое программирование и язык Пролог онлайн
На нашем сайте вы можете скачать и просмотреть онлайн доклад-презентацию на тему Логическое программирование и язык Пролог абсолютно бесплатно. Урок-презентация на эту тему содержит всего 43 слайда. Все материалы созданы в программе PowerPoint и имеют формат ppt или же pptx. Материалы и темы для презентаций взяты из открытых источников и загружены их авторами, за качество и достоверность информации в них администрация сайта не отвечает, все права принадлежат их создателям. Если вы нашли то, что искали, отблагодарите авторов - поделитесь ссылкой в социальных сетях, а наш сайт добавьте в закладки.
Оцените презентацию от 1 до 5 баллов!
- Тип файла:ppt / pptx (powerpoint)
- Всего слайдов:43 слайда
- Для класса:1,2,3,4,5,6,7,8,9,10,11
- Размер файла:597.50 kB
- Просмотров:68
- Скачиваний:0
- Автор:неизвестен
Слайды и текст к этой презентации:
№1 слайд
Содержание слайда: Логическое программирование и язык Пролог
№2 слайд
Содержание слайда: План лекции:
Понятие логического программирования.
Типы предложений в Прологе.
Объекты данных – термы.
Встроенные предикаты.
Структура программы Турбо Пролога.
№3 слайд
Содержание слайда: Литература:
Братко, И. Программирование на языке Пролог для искусственного интеллекта [Текст]/ И. Братко. – М.: Мир, 1990. – 560с.
Марселлус, Д. Программирование экспертных систем на Турбо Прологе [Текст]/ Д. Марселлус. – М.: Финансы и статистика, 1994. – 256с.
Прыкина, Е.Н. Основы логического программирования в среде Турбо Пролог [Текст]/ Е.Н. Прыкина. – Кемерово: КемГУКИ, 2006. – 68с.
№4 слайд
Содержание слайда: Краткие исторические сведения
Пролог – ПРОграммирование в терминах ЛОГики.
Разработан в Марселе в 1972 году.
Первая версия языка Турбо Пролог – в 1986 году.
Турбо Пролог 2.0. – в 1988 году.
№5 слайд
Содержание слайда: Особенности Пролога
Декларативный характер написанных на Прологе программ.
Вывод с поиском и возвратом.
Для хранения данных используются списки, а не массивы.
Одним из основных методов программирования является рекурсия.
№6 слайд
Содержание слайда: Программа на Прологе
Модель некоторого фрагмента предметной области, о котором идет речь в решаемой задаче.
Вместо алгоритма решения задачи составляется ее логическая спецификация.
№7 слайд
Содержание слайда: Логическое программирование
Метод программирования, предназначенный для решения задач искусственного интеллекта, в соответствии с которым программа описывает логическую структуру решения задачи, указывая преимущественно, что «нужно сделать», не вдаваясь в детали «как это делается». Практическим воплощением метода является язык Пролог.
№8 слайд
Содержание слайда: Основные области применения языка Пролог:
экспертные системы и оболочки экспертных систем;
создание естественно-языковых интерфейсов для существующих систем;
быстрая разработка прототипов прикладных программ;
символьные вычисления для решения уравнений, дифференцирования и интегрирования;
системы автоматизированного проектирования;
автоматизированное управление производственными процессами;
проектирование динамических реляционных баз данных;
автоматический перевод с одного языка на другой.
№9 слайд
Содержание слайда: С точки зрения логики предикатов элементарные выражения имеют вид:
№10 слайд
Содержание слайда: ПРИМЕР:
№11 слайд
Содержание слайда: Типы предложений в Прологе
№12 слайд
Содержание слайда: Основные понятия Пролога
Процедура - множество предложений, имеющих в заголовке предикат с одним и тем же именем и одинаковым количеством аргументов.
№13 слайд
Содержание слайда: Факты
Факты используются для констатации того, что выполнено некоторое отношение между объектами.
Например,
likes (nick, helen).
№14 слайд
Содержание слайда: Примеры фактов
women (helen).
father (victor, helen).
give (victor, book, helen).
№15 слайд
Содержание слайда: Использование переменных в фактах
likes (nick, apple).
likes (helen, apple).
likes (mary, apple).
…
№16 слайд
Содержание слайда: Вопросы
Система рассматривает вопрос как цель.
? – have (mary, book).
№17 слайд
Содержание слайда: Вопросы
likes (alexander, fish).
likes (alexander, mary).
likes (mary, book).
likes (alexander, book).
№18 слайд
Содержание слайда: Использование переменных в вопросах
likes (alexander, fish).
likes (alexander, mary).
likes (mary, book).
likes (alexander, book).
№19 слайд
Содержание слайда: Конъюнкция
likes (alexander, fish).
likes (alexander, mary).
likes (mary, book).
likes (alexander, book).
№20 слайд
Содержание слайда: Конъюнкция
Процесс нахождения соответствия между целью и фактом или правилом называется унификацией.
№21 слайд
Содержание слайда: Правила
Правила описывают (содержит) утверждения, зависящее от условий.
Правила используются для выражения определений.
Пример:
Х является сестрой Y, если
Х является женщиной и
Х и Y имеют одних и тех же родителей.
№22 слайд
Содержание слайда: Правила
child (X, Y) :–
parent (Y, X).
grandfather (X, Y) :–
parent (X, Z), parent (Z, Y), man (X).
parent (X, Y) :–
mother (X, Y); father (X, Y).
№23 слайд
Содержание слайда: Объекты данных – термы
№24 слайд
Содержание слайда: Константы
Константами являются целые и действительные числа. Диапазон изменения целых чисел
от -32768 до + 32767.
Диапазон изменения действительных чисел
от 1Е-307 до 1Е+308.
Как и в других языках программирования, константы обозначают конкретные элементарные объекты, а все другие типы данных в Прологе составлены из сочетаний констант и переменных.
№25 слайд
Содержание слайда: Переменные
Переменные служат для обозначения объекта, на который нельзя сослаться по имени. Областью действия переменной в Прологе является одно предложение.
Исключением из правила определения области действия является анонимная переменная, которая обозначается символом подчеркивания "_".
№26 слайд
Содержание слайда: Переменные
Переменные, отличные от анонимных, называются именованными, а неконкретизированные (переменные, которым не было присвоено значение) называются свободными.
Переменная, которая получила какое-то значение и оказалась связанной с определенным объектом, называется связанной.
№27 слайд
Содержание слайда: Переменные
Имена переменных должны начинаться с заглавной буквы или символа подчеркивания и содержать только символы букв, цифр и подчеркивания.
Примеры переменных:
X, Переменная, _3, _переменная.
№28 слайд
Содержание слайда: Структуры
Структура считается более сложной единицей. Она состоит из предиката и аргументов. Аргументы разделяются запятыми и заключаются в круглые скобки.
Например, структура
likes(john, bird).
определяет, что Джон любит птиц. Предикатом здесь служит likes, а двумя аргументами – john и bird. Аргументами предиката могут быть константы, переменные и другие структуры.
№29 слайд
Содержание слайда: Встроенные предикаты
Встроенным предикатом называется предикат, определение которого уже имеется в Пролог системе.
Существуют следующие встроенные предикаты:
ввода-вывода;
для управления файлами;
выполнения арифметических операций;
операций сравнения и других полезных операций.
№30 слайд
Содержание слайда: Арифметические операции
№31 слайд
Содержание слайда: Операции отношения
№32 слайд
Содержание слайда: Функции
№33 слайд
Содержание слайда: Встроенные предикаты - Отсечение
Отсечение – обозначается «!».
блокируется возврат к предшествующим ему подцелям в данном утверждении
предотвращается использование всех утверждений, следующих за данным утверждением в данной процедуре и которые могли бы быть использованы для согласования цели, соответствующей данной процедуре.
№34 слайд
Содержание слайда: Процедура отсечения
Пусть в программе задана база данных:
man (ivan).
man (petr).
woman (svetlana).
woman (varvara).
№35 слайд
Содержание слайда: Структура программы Турбо Пролога
Программа на Турбо Прологе состоит из следующих разделов:
CONSTANTS – раздел описания констант;
DOMAINS – раздел описания доменов;
DATABASE – раздел описания предикатов внутренней базы данных;
PREDICATES – раздел описания предикатов;
CLAUSES – раздел описания предложений;
GOAL – раздел описания внутренней цели.
№36 слайд
Содержание слайда: Раздел описания констант
Имя константы может состоять из английских букв, цифр и знака подчеркивания, причем не может начинаться с цифры.
Каждое определение константы должно размещаться в отдельной строке.
CONSTANTS
const1 = значение 1
const2 = значение 2
№37 слайд
Содержание слайда: Раздел описания доменов
Существуют следующие типы доменов:
целые – integer из промежутка (- 32768...32767);
вещественные – real (лежащее между ±1e-307...±1e308);
символьные – char (один символ, заключенный в одиночные апострофы);
строковые – string (последовательность символов, заключенная в двойные кавычки);
символические – symbol (последовательность букв латинского алфавита, цифр и знаков подчеркивания начинающихся со строчной буквы, или последовательность любых символов, заключенная в кавычки);
файловые – file.
№38 слайд
Содержание слайда: Раздел описания доменов
Объявление домена имеет следующий вид:
<имя домена>=<определение домена>
Списковый домен задается следующим образом:
<имя спискового домена>=<имя домена элементов списка>*
Например, список целых чисел описывается так:
list_of_integer=integer*
№39 слайд
Содержание слайда: Раздел описания предикатов внутренней базы данных
описываются те предикаты, которые можно в процессе выполнения программы добавлять во внутреннюю базу данных или удалять оттуда.
DATABASE
pred1(....).
pred2(.....).
№40 слайд
Содержание слайда: Раздел описания предикатов
Описание предиката имеет следующий вид:
<имя предиката> (<имя домена первого
аргумента>,...<имя доме-
на n-го аргумента>).
PREDICATES
mother(string,string).
№41 слайд
Содержание слайда: Раздел описания предложений
CLAUSES
p(....):-p1(...), p2(.....), ... .
p(....):-p1(...), p2(.....), ... .
№42 слайд
Содержание слайда: Раздел описания внутренней цели
GOAL
Если этот раздел отсутствует, то после запуска программы Пролог-система выдает приглашение вводить вопросы в диалоговом режиме (внешняя цель).
№43 слайд
Содержание слайда: Структура программы на языке Пролог
domains
… операторы доменов…
predicates
… операторы предикатов…
clauses
… факты и правила…
goal
… цель…
Скачать все slide презентации Логическое программирование и язык Пролог одним архивом:
