КТіСУ

Дисципліна «Системи штучного інтелекту» відноситься до циклу професійно орієнтованих дисциплін за вибором ВНЗ. Метою викладання дисципліни є вивчення теоретичних основ та набуття практичних навиків проектування та застосування систем штучного інтелекту на базі інструментальних засобів Лісп, Пролог, дати загальне представлення про прикладні системи штучного інтелекту, роль систем штучного інтелекту в розвитку науково-технічного прогресу. Вичення дисципліни базується на таких дисциплінах, як «Вища математика», «Теорія ймовірності та математична статистика», «Спеціальні розділи математики». Дисципліна забезпечує вивчення таких дисциплін, як «Нейромережеві системи управління», «Експертні системи» та дипломне проектування.

Дисципліна складається з двох модулів.

В рамках модуля «Представлення знань в інтелектуальних системах» розглядаються загальні підходи до керування в кібернетичних системах, основи подання та формалізації знань, як основи діяльності будь-якої інтелектуальної системи. Розглядаються, такі моделі формалізації знань, як логічні, семантичні, фреймові та продукційні. Особлива увага звернута на формалізацію нечітких та недостовірних знань, і зокрема, застосування нечіткої логіки в задачах управління, як одного з перспективних напрямків в сучасній теорії управління.

В модулі «Моделі і методи прийняття рішень» розглядаються способи представлення задач (простор станів, простір задач, простір теорем) та пошуку рішень (евристичний пошук, пошук в глибину та ширину). Також розглядаються основні моделі виводу, і зокрема дедуктивний вивід в логіці предикатів (метод резолюцій) та нечіткий логічний висновок на базі алгоритмів Мамадані, Сугено та Цумамото.

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

Практичні заняття направлені на закріплення отриманих теоретичних знань. Розглядаються задачі формалізації знань за допомогою моделей подання знань та методи представлення задач в просторах станів та задач.

Під час курсового проектування необхідно описати в рамках прийнятої термінології задану предметну область та створити на її основі інформаційно- пошукову систему засобами Visual Prolog.