експертні системи, ЕС, экспертные системы, ЭС, expert systems, systemes experts ; знання-орієнтовані інформаційні технології, знание-ориентированные информационные технологии ; контроль, control ; SATisfiability problem, SAT

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

• УДК // Методи вирішення проблем
• УДК // Моделювання з використанням математичних моделей
• УДК // Продукційні системи. Системи, що базуються на правилах