Эволюция систем искусственного интеллекта. Понятие интеллектуального агента.

Модели представления знаний. Синтаксис и семантика логики предикатов первого порядка. Достоинства и недостатки логической модели представления знаний.

Правила построения формул в логике предикатов. Примеры.

Логическое следование. Принцип дедукции. Логический вывод. 

Метод резолюций в логике предикатов первого порядка. Примеры.

Продукционные системы. Основные определения. Достоинства и недостатки продукционных систем.

Управление выводом в продукционных системах.

Фреймы, как модель представления знаний. Структура фрейма. Типовые указатели наследования.

Управление выводом во фреймовых системах. «Демоны» и присоединенные процедуры.

Семантические сети. Структура и классификация семантических сетей. Достоинства и недостатки семантических сетей.

Вывод на семантических сетях.

Понятие экспертной системы. Обобщенная архитектура экспертной системы.

Классы задач, в которых используются экспертные системы. Этапы разработки и стадии жизненного цикла экспертных систем.

Программная среда разработки экспертных систем CLIPS: назначение и основные возможности.  Базовые типы данных и представление фактов.

Представление и обработка продукций в CLIPS. Условные элементы типа УЭ-образец.

Представление и обработка продукций в CLIPS. Условные элементы типа УЭ-проверки, УЭ-И, УЭ-ИЛИ, УЭ-НЕ.

Представление и обработка продукций в CLIPS. Условные элементы типа УЭ «существует», УЭ «для всех», логические УЭ.

Базовый цикл работы МЛВ в системе CLIPS.

Логический вывод в системе CLIPS. Стратегии разрешения конфликтов «вглубь», «вширь», «простоты», «сложности».

Логический вывод в системе CLIPS. Стратегии разрешения конфликтов «LEX», «МЕА», случайного выбора.

Поиск в пространстве состояний. Формальная постановка задачи. Обобщенный алгоритм поиска.

Вершины дерева поиска и состояния пространства состояний поиска. Операции над каймой.

Задача планирования. Язык описания состояний и действий. Планирование на основе поиска в пространстве состояний.

Планирование с помощью пропозициональной логики.

Планирование действий в реальном мире.