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

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

Логическое программирование и язык Пролог, слайд №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

Содержание ▲

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

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

Слайд 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

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

Раздел описания предикатов Описание предиката имеет следующий вид: (,...). PREDICATES mother(string,string).

Слайд 41

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

Раздел описания предложений CLAUSES p(....):-p1(...), p2(.....), ... . p(....):-p1(...), p2(.....), ... .

Слайд 42

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

Раздел описания внутренней цели GOAL Если этот раздел отсутствует, то после запуска программы Пролог-система выдает приглашение вводить вопросы в диалоговом режиме (внешняя цель).