Проектирование интеллектуальных систем

Магистратура (Системы автоматизированного проектирования)

Преподаватели:

• Лекции: Божко Аркадий Николаевич, д.т.н.
• Лабораторные работы: Божко Аркадий Николаевич, д.т.н.

Описание

Цель изучения дисциплины - знакомство с методами искусственного интеллекта способами формализации инженерных знаний в системах автоматизированного проектирования.

Общий объем дисциплины составляет 4 зачетные единицы (з.е.), 144 академических часа (108 астрономических часов).

План занятий

Модуль 1. Представление задач в пространстве состояний и алгоритмы поиска решений.

• Лекция 1. Введение. Введение в искусственный интеллект. Основные парадигмы ИИ. Примеры представления задач в пространствах состояний (ПС). Классификация пространств. Общая постановка задачи поиска в ПС. Классификация ПС. Классификация методов поиска решений в пространствах состояний.
• Лекция 2. Неинформированные процедуры поиска.
• Лекция 3. Информированные процедуры поиска.
• Лекция 4. Поиск на игровых деревьях.

Модуль 2. Семантические сети и прикладные онтологии. Продукционные системы в задачах искусственного интеллекта. Задача удовлетворения ограничений.

• Лекция 1. Семантические сети.
• Лекция 2. Методы поиска в семантических сетях.
• Лекция 3. Онтологии.
• Лекция 4. Продукционные системы в задачах искусственного интеллекта. Введение.
• Лекция 5. Задача удовлетворения ограничений.
• Лекция 6. Поиск с возвратом в продукционных системах и задачах удовлетворения ограничений.