Automatic construction of a fuzzy system with a matrix representation of rules and a correct knowledge base




expert system, fuzzy logic, fuzzy classification, Hoare logic, resolution method


The object of this study is the process of automatic formation of fuzzy production rules on the basis of a training sample for solving the classification problem. The problem of automatically creating and then checking the correctness of a fuzzy inference model for a classification task is solved. The result is an automatically constructed correct database of rules for solving the classification problem. Analysis of the correctness of the knowledge base is carried out using the criteria of completeness, minimality, coherence, and consistency. To prove the completeness of the rule base, Hoare logic and the resolution method are used. The quality of the classification is assessed using such metrics as accuracy, precision, recall, f1-score. The dependence of the classification result on the size of the training sample is considered.

The expert system has the following features: the ability to learn from data; high level of accuracy; the correct knowledge base. The knowledge base is formed using the objects of the training sample on the basis of linguistic variables and term sets. A production model of knowledge representation is applied, combining the Mamdani and Takagi-Sugeno-Kang models. It is assumed that the left parts of the production rules describe combinations of the features of objects, and the right parts correspond to classes. The matrix representation of the antecedents of the rules is used. Consequents are represented as a column vector. For the automatic construction of the matrix of antecedents, it is proposed to use the Cartesian product. The formation of the consequent vector is carried out automatically using domain data and a training procedure.

The resulting expert system can be used to solve the problems of classification, clustering, data mining, and big data analysis

Author Biographies

Danylo Yehoshkin, Oles Honchar Dnipro National University

Postgraduate Student

Department of Computer Technology

Natalia Guk, Oles Honchar Dnipro National University

Doctor of Physical and Mathematical Sciences, Professor, Head of Department

Department of Computer Technology


  1. Zadeh, L. A., Abbasov, A. M., Yager, R. R., Shahbazova, S. N., Reformat, M. Z. (Eds.) (2014). Recent Developments and New Directions in Soft Computing. Studies in Fuzziness and Soft Computing. doi:
  2. Ternovoi, M. Yu., Shtohryna, E. S. (2015). Formalnaia spetsyfykatsyia svoistv baz nechetkykh znanyi Mamdany na osnove metahrafa. Visnyk Kharkivskoho natsionalnoho universytetu imeni V. N. Karazina. Seriya: Matematychne modeliuvannia. Informatsiyni tekhnolohiyi. Avtomatyzovani systemy upravlinnia, 27, 157–171. Available at:
  3. Krivulya, G. F., Shkil', A. S., Kucherenko, D. E. (2013). Analiz korrektnosti produkcionnyh pravil v sistemah nechetkogo logicheskogo vyvoda s ispol'zovaniem kvantovyh modelej. ASU i pribory avtomatiki, 165, 42–53. Available at:
  4. Darwiche, A., Marquis, P. (2002). A Knowledge Compilation Map. Journal of Artificial Intelligence Research, 17, 229–264. doi:
  5. Sugiura, A., Riesenhuber, M., Koseki, Y. (1993). Comprehensibility Improvement of Tabular Knowledge Bases. AAAI-93 Proceedings, 716–721. Available at:
  6. Sugiura, A., Koseki, Y. (1995). Comprehensibility Improvement of Tabular Knowledge Bases. Journal of the Japanese Society for Artificial Intelligence, 10 (4), 628–635. doi:
  7. Kondratenko, Y. P., Kozlov, A. V. (2019). Generation of Rule Bases of Fuzzy Systems Based on Modified Ant Colony Algorithms. Journal of Automation and Information Sciences, 51 (3), 4–25. doi:
  8. Zheldak, T. A., Koriashkina, L. S. (2020). Nechitki mnozhyny v systemakh upravlinnia ta pryiniattia rishen. Dnipro: NTU «DP», 222–227.
  9. Hoare, C. A. R. (1969). An axiomatic basis for computer programming. Communications of the ACM, 12 (10), 576–580. doi:
  10. Gries, D. (1981). The Predicate Transformer wp. The Science of Programming, 108–113. doi:
  11. Dijkstra, E. W. (1975). Guarded commands, nondeterminacy and formal derivation of programs. Communications of the ACM, 18 (8), 453–457. doi:
  12. Simplify. ESC/Java2 Summary. Available at:
  13. Hizha, A. L., Vysokopoyasnyj, I. G. (2017). Avtomaticheskaya proverka semanticheskoy pravil'nosti resheniy zadach po programmirovaniyu. Pytannia prykladnoi matematyky i matematychnoho modeliuvannia, 17, 234–246. Available at:
  14. Gorman, K. B., Williams, T. D., Fraser, W. R. (2014). Ecological Sexual Dimorphism and Environmental Variability within a Community of Antarctic Penguins (Genus Pygoscelis). PLoS ONE, 9 (3), e90081. doi:
Automatic construction of a fuzzy system with a matrix representation of rules and a correct knowledge base




How to Cite

Yehoshkin, D., & Guk, N. (2022). Automatic construction of a fuzzy system with a matrix representation of rules and a correct knowledge base . Eastern-European Journal of Enterprise Technologies, 6(4 (120), 14–22.



Mathematics and Cybernetics - applied aspects