Structural-logical model of facts as a means of representation characteristics of electric power systems components

Abstract

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

Критерії Оперативного Моніторингу Бази Професійних Концептів Комплексу Автоматизації Керування Енергосистеми

“…Однією з головних задач при побудові та впровадженні СППР є розробка адаптивної моделі подання професійної лексики [13,14]. Як уніфікована модель подання професійних знань може служити апарат онтологій [15].…”