Дисципліна: Штучний інтелект

Кількість годин (кредитів ЄКТС): 150 (5)

Мета навчальної дисципліни: підготовка майбутніх фахівців з питань проектування та створення комп’ютерних інтелектуальних систем.

Результати навчання за навчальною дисципліною:

знати:

проблематику та основні напрямки розвитку комп’ютерних систем штучного інтелекту;
основи проектування та функціонування комп’ютерних систем штучного інтелекту;
основні методи інженерії знань;
створення інтелектуальних (експертних)систем.

Зміст дисципліни (тематика):

Розділ 1. Основи проектування комп’ютерних систем штучного інтелекту (КСШІ).

Тема 1.1. Класифікація та характеристики КСШІ. Класифікація комп’ютерних систем штучного інтелекту. Загальні характеристики КСШІ. Порівняльні характеристики інтелектуальних і традиційних систем. Ознаки інтелектуальності КСШІ. Комп’ютерні моделі людського мислення. Ранні КСШІ. Основні характеристики. Сучасні КСШІ. Основні характеристики.

Тема 1.2. Експертні системи. Основні характеристики. Класифікація експертних систем. Складові частини експертної системи. Функціональна структура експертної системи. Особливості створення експертної системи. Колектив розробників експертної системи.

Тема 1.3. Основні етапи створення експертної системи. Режими функціонування експертної системи. Типи задач, що вирішуються в експертній системі.

Тема 1.4. Проблемні області використання експертних систем. Області застосування експертних систем.

Розділ 2. Математичне та програмне забезпечення КСШІ.

Тема 2.1. Бази знань. Основні властивості знань у КСШІ. Склад та структура бази знань у КСШІ. Склад та структура логічної бази знань.

Тема 2.2. Моделі подання знань у КСШІ. Основні характеристики. Логічна модель подання знань. Алгоритми вирішення логічних задач. Метод резолюцій вирішення логічних задач. Семантична модель (мережа) подання знань. Фреймова модель подання знань. Слоти фреймових моделей. Основні характеристики. Функціональні властивості фреймових моделей. Продукційна модель подання знань. Продукційне виведення на знаннях. Машина (інтерпретатор) виводу.

Тема 2.3. Програмне забезпечення КСШІ. Мова логічного програмування „Prolog”. Структура „Prolog”-програми. Програмні засоби логічного виводу на знаннях. „Prolog”-машина. Система програмування „Turbo-Prolog”. Основні характеристики. Мова програмування "Concurrent Prolog". Основні характеристики.

Види робіт: лекційні заняття, лабораторні заняття, модульні контрольні роботи, самостійна робота студентів.