Данное учебное пособие посвящено разработке экспертных систем на языке логического программирования Visual Prolog Для представления знаний о предметной области выбрана продукционная модель. Материал учебного пособия основан на многолетнем опыте чтения курса лекций по таким дисциплинам как «Логическое программирование» и «Системы искусственного интеллекта». Одна из дисциплин - «Системы искусственного интеллекта», является теоретической базой создания экспертных систем, другая - «Логическое программирование», предоставляет программный инструментарий (язык и среду) для практической реализации таких систем. Основная цель пособия – связать эти две дисциплины, поставив перед студентами задачу разработки экспертной системы на современной версии языка Пролог. Для этого в пособии описана технология разработки экспертных систем на языке Visual Prolog с учетом особенностей языка и основных положений теории проектирования продукционных систем. В пособии рассмотрена обобщенная архитектура экспертной системы, модели представления знаний в базе знаний, алгоритмы работы машины вывода, достоинства и недостатки экспертных систем. Особое внимание уделено продукционной модели представления знаний как наиболее понятной как для эксперта, так и для пользователя – непрофессионала в данной предметной области. Рассматривается логическая модель представления знаний, формализмы, лежащие в основе языка Пролог и алгоритмы вывода новых знаний, основанные на принципе резолюции. Читатель может сравнить две модели представления знаний, найти их общие черты и возможность перехода от одной (продукционной) модели к другой (логической). В пособии читатель может познакомиться с базовыми конструкциями языка Пролог: предикатом, фактом, вопросом и правилом и со структурой программы. Приведенные примеры программ учат описывать предметную область на языке Пролог. В главе рассматривается алгоритм работы машины вывода. Много внимания уделяется способам управления выполнением программы, вводится понятие динамической базы данных и рассматриваются встроенные предикаты работы с ней. Основная часть пособия посвящена вопросам практической реализации экспертной системы на языке Visual Prolog В ней приведены с подробными пояснениями фрагменты программ, реализующих экспертную систему. По ходу изложения материала в конце большинства разделов приведены контрольные вопросы и контрольные задания. Поиск ответов на эти вопросы и выполнение заданий поможет студентам усвоить учебный материал. Книга может быть полезной как студентам, изучающим дисциплины, связанные с искусственным интеллектом, так и разработчикам экспертных систем. Данное учебное пособие посвящено разработке экспертных систем на языке логического программирования Visual Prolog Для представления знаний о предметной области выбрана продукционная модель. Материал учебного пособия основан на многолетнем опыте чтения курса лекций по таким дисциплинам как «Логическое программирование» и «Системы искусственного интеллекта». Одна из дисциплин - «Системы искусственного интеллекта», является теоретической базой создания экспертных систем, другая - «Логическое программирование», предоставляет программный инструментарий (язык и среду) для практической реализации таких систем. Основная цель пособия – связать эти две дисциплины, поставив перед студентами задачу разработки экспертной системы на современной версии языка Пролог. Для этого в пособии описана технология разработки экспертных систем на языке Visual Prolog с учетом особенностей языка и основных положений теории проектирования продукционных систем. В пособии рассмотрена обобщенная архитектура экспертной системы, модели представления знаний в базе знаний, алгоритмы работы машины вывода, достоинства и недостатки экспертных систем. Особое внимание уделено продукционной модели представления знаний как наиболее понятной как для эксперта, так и для пользователя – непрофессионала в данной предметной области. Рассматривается логическая модель представления знаний, формализмы, лежащие в основе языка Пролог и алгоритмы вывода новых знаний, основанные на принципе резолюции. Читатель может сравнить две модели представления знаний, найти их общие черты и возможность перехода от одной (продукционной) модели к другой (логической). В пособии читатель может познакомиться с базовыми конструкциями языка Пролог: предикатом, фактом, вопросом и правилом и со структурой программы. Приведенные примеры программ учат описывать предметную область на языке Пролог. В главе рассматривается алгоритм работы машины вывода. Много внимания уделяется способам управления выполнением программы, вводится понятие динамической базы данных и рассматриваются встроенные предикаты работы с ней. Основная часть пособия посвящена вопросам практической реализации экспертной системы на языке Visual Prolog В ней приведены с подробными пояснениями фрагменты программ, реализующих экспертную систему. По ходу изложения материала в конце большинства разделов приведены контрольные вопросы и контрольные задания. Поиск ответов на эти вопросы и выполнение заданий поможет студентам усвоить учебный материал. Книга может быть полезной как студентам, изучающим дисциплины, связанные с искусственным интеллектом, так и разработчикам экспертных систем.