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

Кредити: 3
Семестр: 223