Development of knowledgebased control systems with builtin functions of rules verification and correction
DOI:
https://doi.org/10.15587/1729-4061.2018.127956Keywords:
methods for control rules verification, AND/OR graph, Boolean expressions, knowledge-based systems, learning managementAbstract
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:
‒ the method for verifying the control rules premises for inconsistency based on the SAT problem for Boolean formulas;
‒ 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;
‒ the method for verifying reachability of the object state vertices from the control rules.
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.
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 %.
References
- Van Harmelen, F., Lifschitz, V., Porter, B. (2008). Handbook of Knowledge Representation. Elsevier, 1035.
- Ruvinskaya, V., Troynina, A. (2017). Development of information technology for the generation and maintenance of knowledge–oriented control systems. Eastern-European Journal of Enterprise Technologies, 2 (2 (86)), 41–49. doi: 10.15587/1729-4061.2017.98727
- Ruvinska, V. M., Troynina, A. S. (2017). Improved control rules model in the form of AND/OR graph for knowledge-oriented systems. 2017 12th International Scientific and Technical Conference on Computer Sciences and Information Technologies (CSIT). doi: 10.1109/stc-csit.2017.8098741
- Pospelova, L. Ya., Chukanova, O. V. (2009). Poisk protivorechiy v produkcionnyh bazah znaniy. Informacionno-telekommunikacionnye sistemy, 5, 23–27.
- Dolinina, O. N., Kuz'min, A. K. (2008). Primenenie metodov tekhnicheskoy diagnostiki dlya otladki baz znaniy ekspertnyh system. Vestnik SGTU, 2, 266–272.
- Pospelov, I. G., Pospelova, L. Ya. (1987). Dinamicheskoe opisanie sistem produkciy i proverka neprotivorechivosti produkcionnyh ekspertnyh system. Izv. AN SSSR. Tekhnicheskaya kibernetika, 1, 184–192.
- Lengyel, L. (2015). Validating Rule-based Algorithms. Acta Polytechnica Hungarica, 12 (4), 59–75.
- De Kleer, J. (1986). An assumption-based TMS. Artificial Intelligence, 28 (2), 127–162. doi: 10.1016/0004-3702(86)90080-9
- Solihin, W., Eastman, C. (2016). A knowledge representation approach in BIM rule requirement analysis using the conceptual graph. Journal of Information Technology in Construction, 21, 370–402.
- Rybina, G. V., Smirnov, V. V. (2005). Metody i algoritmy verifikacii baz znaniy v integrirovannyh ekspertnyh sistemah. Novosti iskusstvennogo intellekta, 3, 7–19.
- Ivanov, A. S. (2007). Model' predstavleniya produkcionnyh baz znaniy. Komp'yuternye nauki i informacionnye tekhnologii, 50–51.
- Yalovets, A. L. (2005). Vyznachennia zahalnykh vlastyvostei SLM-tekhnolohiyi. Modeliuvannia ta informatsiyni tekhnolohiyi, 29, 60–69.
- Troynina, A. S., Ruvinskaya, V. M. (2012). Metodika postroeniya ekspertnyh sistem dlya monitoring. Radioelektronni i kompiuterni systemy, 6, 276–280.
- Troynina, A. S., Ruvinskaya, V. M., Berkovich, E. L., Chernenko, A. Yu. (2014). Avtomatizaciya proverki pravil ES dlya monitoringa raboty komp'yuternoy seti. Elektrotekhnicheskie i komp'yuternye sistemy, 14, 94–104.
- NetXMS. Open source network monitoring system. Available at: https://www.netxms.org/
- Zaitseva, L., Bule, J., Makarov, S. (2013). Component-based approach in learning management system development. Proceedings of the IADIS International Conference e-Learning 2013. Prague.
Downloads
Published
How to Cite
Issue
Section
License
Copyright (c) 2018 Victoria Ruvinskaya, Anastasiya Troynina
This work is licensed under a Creative Commons Attribution 4.0 International License.
The consolidation and conditions for the transfer of copyright (identification of authorship) is carried out in the License Agreement. In particular, the authors reserve the right to the authorship of their manuscript and transfer the first publication of this work to the journal under the terms of the Creative Commons CC BY license. At the same time, they have the right to conclude on their own additional agreements concerning the non-exclusive distribution of the work in the form in which it was published by this journal, but provided that the link to the first publication of the article in this journal is preserved.
A license agreement is a document in which the author warrants that he/she owns all copyright for the work (manuscript, article, etc.).
The authors, signing the License Agreement with TECHNOLOGY CENTER PC, have all rights to the further use of their work, provided that they link to our edition in which the work was published.
According to the terms of the License Agreement, the Publisher TECHNOLOGY CENTER PC does not take away your copyrights and receives permission from the authors to use and dissemination of the publication through the world's scientific resources (own electronic resources, scientometric databases, repositories, libraries, etc.).
In the absence of a signed License Agreement or in the absence of this agreement of identifiers allowing to identify the identity of the author, the editors have no right to work with the manuscript.
It is important to remember that there is another type of agreement between authors and publishers – when copyright is transferred from the authors to the publisher. In this case, the authors lose ownership of their work and may not use it in any way.
