OPTIMIZATION OF KNOWLEDGE BASES BY BULLETIN DIFFERENTIATION METHODS

The subject of this study is the subject area, which is a precedent relationship between objects and their characteristics used in solving image recognition problems. Intellectual analysis of data is one of the necessary stages in the solution of poorly formalized problems; therefore, in many cases the accuracy of the solution of the task depends on the method of building knowledge bases, analyzing them and minimizing them. The development of common formal methods for revealing logical patterns in any given subject area seems to be a very pressing problem, as it provides the opportunity to form optimal knowledge bases, which greatly simplifies the solution and improves its quality. In this paper, we use the apparatus for differentiating Boolean functions to analyze and minimize knowledge bases, which are the directions of modern discrete mathematics and find their application in problems of dynamic analysis and synthesis of discrete digital structures. The main results of the study are a constructed logical function that analyzes the relationship between objects and characteristics that characterize them, which is an opportunity to reveal all the laws of a given subject area; as well as the method of minimizing knowledge bases obtained on the basis of logical data analysis, revealing a minimal set of decision rules, sufficient for solving the task.

1. Lyutikova L. A., Shmatova E. V. Analiz i sintez algoritmov raspoznavaniya obrazov s ispol'zovaniem peremenno-znachnoy logiki // "Informatsionnye tekhnologii". Vol. 22. No.4. 2016. pp. 292—297.

2. Bokhmann D., Stankovich R.S., Toshich Zh., Shmerko V.P., Yanushkevich S.N. Logicheskoe differentsial'noe ischislenie: dostizheniya, tendentsii i prilozheniya \\ Avtomatika i telemekhanika, 2000, No. 6, pp. 156–170; Autom. Remote Control, 61:6 (2000), pp. 1033–1047.

3. Dyukova E.V., Zhuravlev Yu.I., Prokof'ev P.A. Metody povysheniya effektivnosti logicheskikh korrektorov // Mashinnoe obuchenie i analiz dannykh. 2015. Vol.1. No. 11. pp. 1555-1583.

4. Lyutikova L. A. Issledovanie sistem bulevykh funktsiy logicheskimi integro - differentsial'nymi metodami // Materiali za 6 Mezhdunarodna nauchna praktichna konferentsiya «Naynovite postizheniya na evropeyskoy nauka2011». Sofiya. Vol.37. pp. 31-38.

5. Chernov A. V. Razvitie apparata logicheskogo differentsial'nogo ischisleniya v primenenii k zadacham proektirovaniya i diagnostiki telekommunikatsionnykh sistem // Nauchno-tekhnicheskie vedomosti SpBGPU. 2008. No. 2. pp. 118-126.

6. Spirina M.P. Logicheskoe differentsial'noe i integral'noe ischislenie \\ Informatsionnye sistemy i tekhnologii: upravlenie i bezopasnost'. 2016. No.4. pp. 187-201.