Название: Введение в искусственный интеллект и логическое программирование. Программирование в среде Visual Prolog
Автор: Авдеенко Т.В., Целебровская М.Ю.
Издательство: Новосибирск: Новосибирский государственный технический университет
Год: 2020
Формат: pdf
Страниц: 64
Размер: 14 mb
Язык: русский
Настоящее учебное пособие представляет собой вводную часть курса по искусственному интеллекту, основной целью которого является изучение модели представления знаний на основе классических логических исчислений - исчисления высказываний и исчисления предикатов. Пособие затрагивает не только теоретические основы рассматриваемой модели представления знаний, но и ее реализацию на языке логического программирования Пролог. Таким образом, студенты не только овладевают теоретическими основами представления знаний в логической модели, но и получают практические навыки применения знаний при написании и отладке логических программ.
Общие сведения о языке программирования Пролог.
Введение в Пролог.
Унификация.
Рекурсия.
Описание работы Пролога по поиску решения задачи.
Механизм возврата в прологе.
Разработка простейшей базы знаний на языке Пролог.
Синтаксис и семантика (смысл) логической программы.
Анализ предметной области.
Построение генеалогического дерева.
Перевод генеалогического дерева в базу фактов.
Составление правил искомых родственных связей в базе знаний.
Примеры запросов к базе знаний и ее ответов.
Разработка программ в среде VISUAL PROLOG.
Основные начальные сведения о PROLOG и VISUAL PROLOG.
Объявления и определения в VISUAL PROLOG.
Ключевые слова.
Понятие цели в VISUAL PROLOG.
Файловая структура программы, написанной в среде VISUAL PROLOG.
Проблемы доступа к программам большого объема.
Стандартные предикаты ввода-вывода в VISUAL PROLOG.
Пример завершенной программы на VISUAL PROLOG.
Создание консольного проекта в среде VISUAL PROLOG.
Внутренняя база данных VISUAL PROLOG.
Способы создания и обработки внутренней базы данных в VISUAL PROLOG.
Способы организации циклов в VISUAL PROLOG.
Задания на практическую работу.
Библиографический список.