Pronuk G. Method of multilayer decomposition of predicates and its application in the systems of artificial intellect

The thesis is devoted to the problem of the development of a method of multilayer decomposition for the formal description and schematic representation of any relations in the systems of an artificial intellect. The correctness of the method of the 1-st kind two-layer decomposition of predicates which essentially simplifies a formal record of predicates is proved and it is the model of the method of generalized comparative identification. The concept of the 2-nd kind two-layer decomposition of predicate which allows to present a predicate through reflections and some elementary predicate is entered. The method of the three-layer decomposition of the predicate, allowing to receive schematic representation of any relations and calculate the result under the scheme by a parallel principle is introduced. The theory of the generalized spaces, due to disclosing of internal structure of the general space and submitted of its some substantial interpretations is improved. The program systems created on the basis of obtained theoretical outcomes, is applicated at the enterprises of Kharkov