Mivar NETs and logical inference with the linear complexity. Олег Варламов

that need to be brought into the base of knowledge and the system of productions after implementing of this production [23, p. 134-135].

      In general form, productions are rather rare. Horoshevsky marks out an intermediate “layer of rules” for which the research of different logic inference on rules systems is made [31, p.82-83].

      Logic processing is understood as some conclusion lying in the base of human reasoning. Each process of drawing a conclusion depends on the examination of options. To increase the efficiency of process of logic inference is a central problem of all systems of the deductive conclusion [23, p. 79].

      D.A. Pospelov has described two methods of logic inference: the method of forward wave and the method of backward wave. In the first method, the wave of the searching paths is propagating from all initial areas to the aim area. In the second, this wave is propagating from the aim area towards initial areas. The difference of two methods comes to different number of steps of the search. The combined method is frequently used when forward and backward waves meet, and the path from initial data towards the aim is being driven [23, p.85]. Picture 1 shows an example the graph of non-oriented “AND-OR” net [23, p. 83].