Vechirskaya I. Linear logical transformations and their application in an artificial intellect

The dissertation is devoted to building of formalization methods of the relation with linear logical transformation. First the method of degree finding of linear logical transformation is devoted. It is characterized by direct relation of final vector and length of input vector and also guaranting the accuracy and speed of finding of a solution of predicative equalization's system. It is an implementer of any relation. The method of culculation of linear logical transformations, which allow representation of definitional domain of transformation kern with universum, set and function is improved for extension of tasks class, which solve with logical networks. The method of solution of equation of finite predicate algebra with parametres is got the further development, which allow finding of overview of the solutions of two tasks: the task of identification of any linear logical transformation and the inverse problem of any linear logical trans-formation. The development complex of algebra-logical methods and algorithmic models is applied in the automatized systems for effectiveness increase of logical networks based on parallel actions.