Методологічне забезпечення викладання у ЗВО технологій штучного інтелекту на основі уніфікації знань

Abstract

Метою дослідження є розробка методологічного забезпечення формальної структурно-логічної моделі уніфікації форм подання знань в системах штучного інтелекту. В роботі розглядається використання форм подання професійних знань для автоматизації прийняття управлінських рішень. Задачами дослідження є обґрунтування та розробка моделей уніфікації подання знань в системах підтримки рішень з використанням формально-лінгвістичного підходу. Теоретична розробка і практичне впровадження уніфікованої моделі репрезентації професійних знань у системах підтримки рішень є актуальною науковою проблемою. Об’єктом дослідження є процес моделювання і побудови інтелектуальних систем підтримки рішень на основі використання уніфікованих форм подання знань. Предметом дослідження є формальні моделі уніфікації подання знань в інтелектуальних системах підтримки прийняття рішень. Обґрунтовується необхідність розробки уніфікованих програмних систем, заснованих на знаннях, для автоматизації процесів керування прийняттям рішень. При такому підході кожна використовувана форма представлення знань повинна розглядатися окремим випадком (частковою формою) загальної моделі. Результати дослідження полягають у розробці моделі єдиного системно-діалектичного підходу до інкорпорації подання професійних знань. Запропонована структурно-логічна модель подання професійних знань може використовуватися в якості методологічного забезпечення викладання у ЗВО технологій штучного інтелекту на основі уніфікації знань. Розроблена формальна модель подання знань на рівні графів і рівні формальної мови. Створена формальна модель онтології, що регламентує механізм побудови баз знань декларативного характеру.