Эволюция систем искусственного интеллекта. Понятие интеллектуального агента.
Модели представления знаний. Синтаксис и семантика логики предикатов первого порядка. Достоинства и недостатки логической модели представления знаний.
Правила построения формул в логике предикатов. Примеры.
Логическое следование. Принцип дедукции. Логический вывод.
Метод резолюций в логике предикатов первого порядка. Примеры.
Продукционные системы. Основные определения. Достоинства и недостатки продукционных систем.
Управление выводом в продукционных системах.
Фреймы, как модель представления знаний. Структура фрейма. Типовые указатели наследования.
Управление выводом во фреймовых системах. «Демоны» и присоединенные процедуры.
Семантические сети. Структура и классификация семантических сетей. Достоинства и недостатки семантических сетей.
Вывод на семантических сетях.
Понятие экспертной системы. Обобщенная архитектура экспертной системы.
Классы задач, в которых используются экспертные системы. Этапы разработки и стадии жизненного цикла экспертных систем.
Программная среда разработки экспертных систем CLIPS: назначение и основные возможности. Базовые типы данных и представление фактов.
Представление и обработка продукций в CLIPS. Условные элементы типа УЭ-образец.
Представление и обработка продукций в CLIPS. Условные элементы типа УЭ-проверки, УЭ-И, УЭ-ИЛИ, УЭ-НЕ.
Представление и обработка продукций в CLIPS. Условные элементы типа УЭ «существует», УЭ «для всех», логические УЭ.
Базовый цикл работы МЛВ в системе CLIPS.
Логический вывод в системе CLIPS. Стратегии разрешения конфликтов «вглубь», «вширь», «простоты», «сложности».
Логический вывод в системе CLIPS. Стратегии разрешения конфликтов «LEX», «МЕА», случайного выбора.
Поиск в пространстве состояний. Формальная постановка задачи. Обобщенный алгоритм поиска.
Вершины дерева поиска и состояния пространства состояний поиска. Операции над каймой.
Задача планирования. Язык описания состояний и действий. Планирование на основе поиска в пространстве состояний.
Планирование с помощью пропозициональной логики.
Планирование действий в реальном мире.