После приведения формулы вида ПНФ к виду ССФ вы получаете формулу, в безквантовой матрице которой дизъюнкт содержит оба контранрных атома:. Как тогда проводить его унификацию, если в случае замены x на f(x) весь дизъюнкт обратится в единицу? |
Основы программирования на языке Пролог: Информация
Автор: Павел Шрайнер | Сибирский университет потребительской кооперации
Форма обучения:
дистанционная
Стоимость самостоятельного обучения:
бесплатно
Доступ:
свободный
Документ об окончании:
Вам нравится? Нравится 34 студентам
Уровень:
Для всех
Длительность:
12:28:00
Студентов:
4335
Выпускников:
1299
Качество курса:
4.45 | 4.22
Курс посвящен изучению основ языка логического программирования Пролог. Общие принципы программирования на Прологе изучаются всюду без привязки к конкретной реализации.
Всюду, где возможно, изучаются общие принципы программирования на Прологе, без привязки к конкретной реализации. При выполнении практических заданий, планируется использовать Турбо Пролог или PDC Пролог. На взгляд автора, это наиболее используемые и распространенные версии Пролога у нас в стране. Кроме всего прочего, эти версии не предъявляют практически никаких требований к аппаратной части компьютера.
Темы: Программирование
Специальности: Программист, Архитектор программного обеспечения
ISBN: 978-5-9556-0034-5
Теги: permute, prolog, retractable, алгоритмы, базы данных, БНФ, выходной аргумент, двоичный справочник, интеллект, искусственная жизнь, компиляторы, компоненты, поиск, поиск с возвратом, программирование, символическое имя, сортировка, строгая типизация, телефония, телефоны, унификатор, хорновский дизъюнкт, элементы
План занятий
Занятие
Заголовок <<
Дата изучения
Лекция 1
31 минута
Введение в язык логического программирования Пролог
История возникновения и развития Пролога. Японский проект ЭВМ пятого поколения. Императивные и декларативные языки программирования. Области использования Пролога. Пролог - язык начального обучения программированию. Преимущества и недостатки языка Пролог.
Оглавление
-
Лекция 2
44 минуты
Логические основы Пролога
Хорновские дизъюнкты. Принцип резолюций. Алгоритм унификации.Процедура доказательства теорем методом резолюций для хорновских дизъюнктов. Особенности работы с негативными знаниями в Прологе.
Оглавление
-
Лекция 3
41 минута
Основные понятия Пролога
Предложения: факты и правила. Цели внутренние и внешние. Отношения (предикаты). Переменные свободные и связанные. Анонимная переменная. Отсечение. "Зеленые" и "красные" отсечения. Семантические модели Пролога: декларативная и процедурная.
Оглавление
-
Лекция 5
33 минуты
Основы Турбо Пролога. Структура программы на Турбо Прологе. Директивы компилятора
Структура программы на Турбо-Прологе. Домены: стандартные, списковые, составные. Альтернативные домены. Программы: "Родственники", факториал, возведение в степень, числа Фиббоначи.
Оглавление
-
Лекция 6
34 минуты
Управление выполнением программы на Прологе
Метод поиска в глубину. Откат после неудачи. Отсечение и откат. Метод поиска, определяемый пользователем.
Оглавление
-
Лекция 8
31 минута
Сортировка списков
Рассматривается нахождение суммы элементов списка, среднего и минимального значений; алгоритмы сортировки списков: пузырьковый, выбором, вставкой, слиянием, быстрая сортировка.
Оглавление
-
Лекция 13
37 минут
Внутренние (динамические) базы данных
Работа с внутренними (динамическими) базами данных: добавление фактов в базу, удаление фактов из базы. Проекты "Телефонный справочник", "Словарь".
Оглавление
-
Лекция 14
42 минуты
Пролог и искусственный интеллект
Применение Пролога в области искусственного интеллекта. Тест Тьюринга. Проекты "Электронный психотерапевт", "Самообучающийся определитель животных".
Оглавление
-