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 82
- Downloads 0
Study into conditions for the interaction between different types of transport at intermodal terminals
<p>The study conducted into organization of the interaction among various types of transport at intermodal terminals found that it is necessary to improve the technological process of a terminal to achieve effective func...
Development of portable dc voltage calibrators with additive offsets adjusting
<p>Improvement of portable equipment for controlling the DC voltage measuring channels of cyber-physical systems at the operating sites is proposed. Additive offsets and drifts make a dominant contribution to the error o...
Mathematical model of the reverse water postpurification at mining enterprises when using electromagnetic focusing of contaminants
This study addresses the post-purification of reverse water by the electromagnetic focusing of charged particles in contaminants of polychlorinated biphenyls at mining enterprises. We established functional dependences o...
Purification of wastewater from the ions of copper, zinc, and lead using an electrolysis method
<p class="a">Heavy metals penetrate water reservoirs as a result of natural and anthropogenic processes, thereby accumulating in soil, bottom sediment, sludge, and can further migrate into groundwater and surface water....
Estimation of technological properties of nut meals and their effect on the quality of emulsion for butter biscuits with liquid oils
<p>We have examined the technological properties of cedar nut meal (CNM) and walnut nut meal (WNM). It was established that nut meals are the highly dispersed powders whose degree of dispersion exceeds that of wheat flou...