Логическая модель представления знаний и правила вывода; теоретические основы; пример спецификации и вычисления; продукционная модель представления знаний и правила их обработки; реляционные модели представления знаний и соответствующие способы рассуждений; фреймы, семантические сети; теория и техника приобретения знаний; принципы приобретения знаний. Существующие подходы и техника решения, экспертные системы - инструмент автоматизированных обучающих систем; введение в экспертные системы; роли эксперта, инженера знаний и пользователя; база знаний. Правила; объекты; определение запроса; редактор; процедурный язык; компилятор правил и объектов. Средства работы с файлами; структура главного меню; правила и объекты; антецедент и консеквент правила; первичная цель. Простые объекты; объекты со списком значений; объекты с фреймами; основные атрибуты (слоты) объекта; создание и редактирование процедур; вызов процедур из правил; процедурные фреймы и слоты; операторы процедурного языка; средства управления выполнением приложений; логическое программирование и экспертные системы; языки искусственного интеллекта; применение языка Пролог. Архитектура для автоматического рассуждения, основанного на правилах; механизм вывода на основе модели логического программирования; понятие о нечетких множествах и их связь с теорией построения экспертных систем; реализация экспертных систем в среде Windows.