Предметом вивчення навчальної дисципліни є основи (моделі, методи і техніки) логічного програмування і методи його застосування при рішенні завдань штучного інтелекту. Метою викладання навчальної дисципліни «ВВЕДЕННЯ В ЛОГІЧНЕ ПРОГРАМУВАННЯ ТА ШТУЧНИЙ ІНТЕЛЕКТ» є надати уяву про основні моделі подання знань в системах зі штучним інтелектом, системи логічного виводу на знаннях, методи і програмний інструментарій проектування та розробки специфікацій знань і також компонентів систем зі штучним інтелектом.
- Profesor: Єрмолаєв Вадим Анатолійович
- Асистент із правами викладача: Коса Вікторія Вікторівна
Кредити: 3
Семестр: 223