Курс 'Методи та системи штучного інтелекту' є обов’язковим компонентом освітньої програми 'Цифрові технології в енергетиці'. Він покликаний забезпечити студентів знаннями та навичками в галузі штучного інтелекту, включаючи логічне програмування, недетерміноване програмування, розробку систем логічного виведення та застосування моделей представлення знань.

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

Для кого цей курс?

• Студенти бакалаврату спеціальності 122 'Комп'ютерні науки';
• Особи, які бажають здобути знання в галузі штучного інтелекту;
• Особи, які планують працювати над проектуванням інтелектуальних програмних систем.

Прериквізити

• Знання дискретної математики, зокрема теорії графів та логіки предикатів;
• Базові знання з програмування;
• Розуміння основ алгоритмів та структур даних.

Що буде вивчено

• Основи штучного інтелекту та логічного програмування;
• Використання мови Prolog для розробки систем логічного виведення;
• Стратегії пошуку та їх реалізація;
• Моделі представлення знань, зокрема семантичні мережі, фрейми та продукційні системи;
• Використання інструментів CLIPS і Prolog для створення експертних систем;
• Розробка і налаштування систем на основі правил;
• Оптимізація процесів логічного виведення та розв’язання конфліктів.