Формалізація моделей онтологій у навчальних комплексах електроенергетичних спеціальностей

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