Содержание
- 2. План лекции: Понятие логического программирования. Типы предложений в Прологе. Объекты данных – термы. Встроенные предикаты. Структура
- 3. Литература: Братко, И. Программирование на языке Пролог для искусственного интеллекта [Текст]/ И. Братко. – М.: Мир,
- 4. Краткие исторические сведения Пролог – ПРОграммирование в терминах ЛОГики. Разработан в Марселе в 1972 году. Первая
- 5. Особенности Пролога Декларативный характер написанных на Прологе программ. Вывод с поиском и возвратом. Для хранения данных
- 6. Программа на Прологе Модель некоторого фрагмента предметной области, о котором идет речь в решаемой задаче. Вместо
- 7. Логическое программирование Метод программирования, предназначенный для решения задач искусственного интеллекта, в соответствии с которым программа описывает
- 8. Основные области применения языка Пролог: экспертные системы и оболочки экспертных систем; создание естественно-языковых интерфейсов для существующих
- 9. С точки зрения логики предикатов элементарные выражения имеют вид: где p – имя предиката; - аргументы.
- 10. ПРИМЕР: где p –предикат, выражающий отношение «являться столицей»; х, y – объекты «Париж, Франция», связанные отношением
- 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). … likes (Х,
- 16. Вопросы Система рассматривает вопрос как цель. ? – have (mary, book). Два факта сопоставимы, если их
- 17. Вопросы likes (alexander, fish). likes (alexander, mary). likes (mary, book). likes (alexander, book). ? – likes
- 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. Правила Правила описывают (содержит) утверждения, зависящее от условий. Правила используются для выражения определений. Пример: Х является
- 22. Правила child (X, Y) :– parent (Y, X). grandfather (X, Y) :– parent (X, Z), parent
- 23. Объекты данных – термы
- 24. Константы Константами являются целые и действительные числа. Диапазон изменения целых чисел от -32768 до + 32767.
- 25. Переменные Переменные служат для обозначения объекта, на который нельзя сослаться по имени. Областью действия переменной в
- 26. Переменные Переменные, отличные от анонимных, называются именованными, а неконкретизированные (переменные, которым не было присвоено значение) называются
- 27. Переменные Имена переменных должны начинаться с заглавной буквы или символа подчеркивания и содержать только символы букв,
- 28. Структуры Структура считается более сложной единицей. Она состоит из предиката и аргументов. Аргументы разделяются запятыми и
- 29. Встроенные предикаты Встроенным предикатом называется предикат, определение которого уже имеется в Пролог системе. Существуют следующие встроенные
- 30. Арифметические операции
- 31. Операции отношения
- 32. Функции
- 33. Встроенные предикаты - Отсечение Отсечение – обозначается «!». блокируется возврат к предшествующим ему подцелям в данном
- 34. Процедура отсечения Пусть в программе задана база данных: man (ivan). man (petr). woman (svetlana). woman (varvara).
- 35. Структура программы Турбо Пролога Программа на Турбо Прологе состоит из следующих разделов: CONSTANTS – раздел описания
- 36. Раздел описания констант Имя константы может состоять из английских букв, цифр и знака подчеркивания, причем не
- 37. Раздел описания доменов Существуют следующие типы доменов: целые – integer из промежутка (- 32768...32767); вещественные –
- 38. Раздел описания доменов Объявление домена имеет следующий вид: = Списковый домен задается следующим образом: = *
- 39. Раздел описания предикатов внутренней базы данных описываются те предикаты, которые можно в процессе выполнения программы добавлять
- 40. Раздел описания предикатов Описание предиката имеет следующий вид: ( аргумента>,... на n-го аргумента>). PREDICATES mother(string,string).
- 41. Раздел описания предложений CLAUSES p(....):-p1(...), p2(.....), ... . p(....):-p1(...), p2(.....), ... .
- 42. Раздел описания внутренней цели GOAL Если этот раздел отсутствует, то после запуска программы Пролог-система выдает приглашение
- 44. Скачать презентацию