Prediction of solutions on the basis of the mathematical model of cognitive digital automata

Article type: Research Article

Authors: Kozhevnikov, V.V.^{a; *} | Leontev, M.Yu.^a | Pavlov, S.V.^b | Prikhodko, V.V.^a | Zhukov, A.V.^a | Skrebtsov, V.I.^b | Sobolev, A.A.^a

Affiliations: [a] Technological Research Institute of Ulyanovsk State University, 1/4 Universitetskaya Naberezhnaya, Ulyanovsk 432017, Russia | [b] Sosny Research and Development Company, Dimitrovgrad 433507, Russia

Correspondence: [*] Corresponding author: V.V. Kozhevnikov, Technological Research Institute of Ulyanovsk State University, 1/4 Universitetskaya Naberezhnaya, Ulyanovsk 432017, Russia.

Abstract: An approach to the problem of solution prediction on the basis of the mathematical model of cognitive digital automata (CDA) is proposed. A particular advantage of the proposed mathematical model of CDA is that the training procedure can be performed on a limited (minimal) number of training sets. Prediction or generation of solutions, in its turn, is performed on the basis of the mathematical model of CDA obtained in the process of training. The mathematical model of CDA was tested on an example of modeling an n-bit adder. As a result of training, the mathematical model of CDA was formed, which made it possible to reproduce the entire set of the truth table of the n-bit parallel adder with a specified accuracy.

Keywords: Cognitive digital automata, prediction, Petri nets, state equation, mathematical modeling, synthesis, generation, analysis, logic

DOI: 10.3233/JCM-193716

Journal: Journal of Computational Methods in Sciences and Engineering, vol. 20, no. 1, pp. 291-299, 2020