Fedorova T. Algebra - logical model and the method for constructing chains of lexical units in artificial intelligence systems

The object of study - processing of information treatment in natural languages systems, including the procedure of the formal description of natural language. Research Methods - an algebra of finite predicates algebra of predicate operations, graph theory, the basic concepts of category theory, mathematical tools of algebra and logic Boolean algebra an algebra of finite predicates, algebra of predicate operations and the theory of models, set theory, linguistic and morphological analyzes, computer modeling of linguistic processes. The equipment - personal computer. Theoretical and practical studies - actual scientific solution to the problem of increasing the efficiency of information processing in natural language systems on account of using of model of inflection classification of speech parts Italian language and of mathematical models of inflection Ukrainian verbs and Italian nouns in the form of logical networks and construction a chains of lexical items of the Ukrainian language; the practical value of the work is to develop software and hardware and software infrastructure , an experimental study that confirms the effectiveness of the proposed approach. The scientific novelty - the first time the mathematical model of inflection classification of speech parts Italian language is constructed. It is characterized by the system of criterions (grammatical categories) that determine the inflection of these words classes and their meanings. The model allows obviating ambiguity in the results of the morphological analysis in construction of automated electronic translation dictionaries through the insertion of additional words classes; The first time the model of inflectional processing Ukrainian verbs in the form of logic networks is proposed. It is characterized by the system of binary relations and formulas of corresponding predicates. This allowed to realizing them on the program - algorithmic level and using to automatically solve the problems of analysis, synthesis and normalization of word forms; The method of n-th linear logical transformation to chains construction in lexicographical system of electronic explanatory dictionaries was further developed. This method is characterized by giving the initial semantic depending on each stage of calculation. This allowed to avoiding of tautology and circular references to correcting dictionaries articles in lexicographical system of explanatory type. The results of the thesis are introduced in the PSC SC "Kyivvodocanal", in Ukrainian Language and Information Fund of National Academy of Sciences of Ukraine and in the learning process of the Kharkov National University of Radio Electronics. The scientific and practical results of the thesis can be used in research organizations and enterprises of Ukraine dealing of development, research, implementation and operation of intelligent systems of processing the grammatical structure of the text, identification and modeling systems of human speech.