Development of knowledgebased control systems with builtin functions of rules verification and correction
Journal Title: Восточно-Европейский журнал передовых технологий - Year 2018, Vol 2, Issue 3
Abstract
<p>Two improved models of control rules were proposed. A model in a form of AND/OR graph; in contrast to the known graphical model of general rules, is based on dividing the rules into groups based on the controlled object state. The graph contains special markup that allows to convert the graph paths corresponding to the rules into Boolean expressions including formulas for both direct and "inverse" rule sets. The basic formulas of the rules model in a form of Boolean expressions cannot be constructed for general rules and based on these formulas the three methods for verification of the rules were developed:</p><p>‒ the method for verifying the control rules premises for inconsistency based on the SAT problem for Boolean formulas;</p><p>‒ the method for verifying the control rules for completeness based on visualization of both "direct" and "inverse" rules with conclusions in “inverse” rules opposite to the conclusions of the original rules;</p><p>‒ the method for verifying reachability of the object state vertices from the control rules.</p><p>The main advantage of these methods is that they allow to find errors in the rules at early stages when specialists in the field for which the knowledge-based system is used (experts and decision makers work with them). The specificity of the control tasks makes it possible to do this effectively from the point of view of analysis and verification of the rule quality. The developed procedure of the control rules verification and correction assists in to bringing together and placing in a correct order various types of verification and correct errors in an automated mode.</p><p>Main components were proposed for knowledge-based control systems: the rule editor for knowledge engineers and experts and the control system itself which includes extraction of the controlled object parameters essential for analysis as well as analysis of these parameters and their transfer to a DM for making a decision. A rule editor has been developed and control systems for two domains: safe operation with electric installations and control of computer networks. The presented experimental results on the management of the training process using the developed systems have shown that the number of errors in the created rules was reduced. When verifying for reachability of the object states, errors in an average of 5.4 % control rules were found and removed. When verifying for inconsistency of the rule premises, errors were found and corrected on average in 11.5 % of rules. When verifying for completeness, the rules base was expanded by on average of 12.3 %. In addition, due to consulting, verification and correction of the rules, the time spent by trainees on execution of their work was reduced by an average of 8 %.</p>
Authors and Affiliations
Victoria Ruvinskaya, Anastasiya Troynina
Keywords
Related Articles
- EP ID EP527865
- DOI 10.15587/1729-4061.2018.127956
- Views 66
- Downloads 0
Forming the structure of whipped desserts when introducing the food additive "Magnetofood" to their formulation
<p>The food additive "Magnetofood", in the form of a nanopowder with particles the size of (70‒80) nm, has been designed and proposed as an improver for the structure of whipped desserts. "Magnetofood" can both independe...
Modeling the elastic impact of a body with a special point at its surface
We have considered the elastic straight impact along a flat border of the stationary half-space of the body bounded in a zone of contact interaction by the surface of rotation, whose order is smaller than two. The featur...
Effect of technological camber in the facets of a cellular filler on its physical and mechanical characteristics
<p>Among a variety of technological defects of a cellular filler affecting its physical and mechanical characteristics, one of the most essential is believed to be the initial technological camber of facets in its cell....
Design of working bodies for tillage tools using the methods of bionics
<p>This paper reports a procedure for borrowing the principles of body structure of sea creatures to design tillage tools. Work of tillage tools under conditions of low soil consolidation necessitates improving the strea...
Construction of an integrated criterion for estimating the consequences of emergencies involving dangerous goods
<p>The paper reports a method for estimating the consequences of emergencies involving dangerous cargoes when they are transported by railroad transport. The method is based on constructing an integrated criterion, which...