Для автоматизації аналізу станів об'єктів використані правила для представлен-
ня знань, а для їх відображення, інтерактивної обробки та перевірки вдосконалені
моделі правил у вигляді І/АБО-графа й булевих виразів. Розроблено метод перевірки суперечливості посилок правил контролю на основі задачі здійсненості булевих формул (SATisfiability problem), метод перевірки правил контролю на повноту на основі візуалізації поряд з вхідними й «інверсних» правил та автоматизованої генерації доповнених правил, метод перевірки досяжності в І/АБО-графі вершини стану. Запропоновано IT з використанням редактора правил для розробки знання-орієнтованих систем контролю, що дозволило оперативно змінювати правила контролю в середньому протягом декількох годин. Створені діючі прототипи експертних систем (EC) для контролю роботи мережі, а також
для диспетчера, що регулює безпечне виконання робіт з електроустановками, дало можливість підвищити достовірність прийнятих диспетчером рішень на 12%, кількість нещасних випадків за розглянутий проміжок часу знизився на 32%. EC при їх використанні для навчання диспетчерів та системних адміністраторів дозволили зменшити час навчання на 20% при збереженні рівня якості.