Rules of expert system for safety monitoring: checking on completeness and consistency.

Abstract

This paper researches approaches for building monitoring expert systems. Aim of the research is to reduce the time, the development man-hours and to improve the knowledge base quality of monitoring expert systems based on visualization and rules intelligent processing. Simplifying means not only less time for the rules base development, but also complexity level decrease that results in errors reduction. Model for monitoring rules visualization and structuring based on AND/OR-graph is developed; also methods for rules validation both of inconsistency using SAT problem and completeness using so called "inverse" rules are proposed. The technique for monitoring expert systems development on the basis of the proposed model and methods is created. Rules editor is established based on the proposed technique and is used to develop the knowledge base for monitoring the safe operation with electrical equipment.

Стаття присвячена дослідженню підходів до побудови експертних систем моні- торингу. Метою дослідження є скорочення часу і трудомісткості розробки і поліпшення якості баз знань експертних систем для моніторингу на основі візуалізації й інтелектуальної обробки правил. Розроблено модель візуалізації й стру- ктуризації правил експертних систем для моніторингу на основі І/АБО-графа, метод перевірки правил експертних сис- тем моніторингу на суперечливість з використанням задачі SAT, метод перевірки правил експертних систем на повноту за допомогою «інверсних» правил. На цій основі запропоновано методику розробки експертних систем, що не є універ- сальною, а розрахована на системи моніторингу. Створено редактор правил і використано його при розробці бази знань для моніторингу виконання вимог щодо безпечної експлуатації електроустановок.