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 79
- Downloads 0
Determining the influence of the composition of milk from cows of different breeds on quality indicators for the dutch-type cheese
<p>The paper reports a comprehensive study into the impact of feeding rations and breed of cows on the technological properties of milk and quality characteristics of the Dutch type of cheese. Despite the abundance of in...
Comparative investigation of electrochemically synthesized (α+β) layered nickel hydroxide with mixture of α-Ni(OH)2 and β-Ni(OH)2
<p>Nickel hydroxides, owing to their high electrochemical activity are promising materials for chemical power sources (alkaline accumulators, lithium accumulators and hybrid supercapacitors), electrochromic devices, elec...
Development of technical component of the methodology for projectvector management of educational environments
<p class="a">We propose tools for planning and administration of the technological component of the methodology of project-vector management of educational environments that were implemented in the applied information te...
Devising a fuzzy stakeholder model for optimizing the portfolio of projects at a fishing industrial enterprise taking risks into account
<p class="Pa81">The method for portfolio investment, allowing the formation of the optimal portfolio structure considering degrees of satisfaction of requirements of stakeholder groups, risks and uncertainty of external...
Results of experimental studies into the dynamics of mass-exchange processes during synthesis of propane hydrate
<p>Design diagram of experimental setup for studying the mass exchange processes occurring during formation of gas hydrates was presented. A procedure of performing studies and the use of equipment for conducting experim...