Информация о курсе

О курсе

Основной целью курса является ознакомление студентов с одним из направлений искусственного интеллекта, связанным с логическим программированием. Курс предназначен для студентов-бакалавров всех форм обучения. В курсе рассматриваются вопросы, связанные с развитием искусственного интеллекта "в сторону" логического программирования, экспертных систем, а также систем поддержки принятия решений.  Особое внимание уделяется изучению языка Prolog (Пролог).

РО1: Знает основные положения искусственного интеллекта, понимает концепции и роль моделей знаний. Умеет строить и анализировать модели знаний различных типов. Понимает концепции построения и работы экспертных систем.

РО2: Знает основные принципы логики предикатов 1-го порядка. Понимает основы логического программирования и умеет работать с базами знаний на языке Prolog.

РО3: Умеет разрабатывать логические модели для описания и анализа предметной области, используя язык Prolog. 

РО4: Понимает принципы поиска решений в задачах с использованием логического программирования. Умеет решать задачи принятия решений и головоломки на языке Prolog. Умеет строить экспертные системы невысокой сложности.

РО5: Умеет применять логические подходы и рекурсивные конструкции Prolog для решения задач повышенной сложности, включая задачи на обработку данных и поиск оптимальных решений.

09.03.04 Программная инженерия

1. Основные положения искусственного интеллекта. Модели знаний – 18 часов.
2. Логика предикатов 1-го порядка. Логическое программирование. Работа с базами знаний – 18 часов.
3. Построение логических моделей в SWI-Prolog  – 36 часов.
4. Решение задач поиска и принятия решений с использованием SWI-Prolog – 36 часов.

Продолжительность курса – 11 недель
Трудоемкость освоения курса – 108 часов.
Трудоемкость курса – 3 зачётные единицы.
Форма контроля – экзамен.