Protsay N. Models and methods of analysis and synthesis of logic networks based on algebra of predicates and predicate operations

Object of research: processes of treatment of information in the natural-linguistic systems and processes of functioning of the informative systems. The purpose of research: development of mathematical models and methods of analysis and synthesis of logical networks on the basis of algebra of predicates and predicate operations for enhancement and increase of efficiency of treatment of information in the natural-linguistic systems. Research receptions and equipments: theory of artificial intelligence, algebra of eventual predicates and predicate operations, methods of composition and decouplig of models. Theoretical and practical results: a task which consists of development of mathematical models and methods of design and research of logical networks on the basis of algebra of predicates and predicate operations is decided. Novelty: quantifier algebra of predicate operations, methods of composition and decouplig on the set of variable predicate models, synthesis of mathematical predicate model of declension of nominal combinations of words of Russian of type concordance and to the proper computer logical network, method of construction of mathematical model of IA of the system for the analysis of functional stability. A degree of introduction: State scientific and technical center of nuclear and radiation safety (Kharkov). Sphere of use: informative systems, intelligence systems.