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