Об'єкт дослідження - математичний апарат алгебри скінченних предикатів та предикатних операцій. Метою атестаційної роботи є дослідження методів формалізації морфологічних структур природної мови за допомогою предикатної моделі узагальнених логічних просторів та розробка програмної моделі узагальнених логічних просторів. Методи дослідження - методології й технології проектування ПЗ, математичний апарат алгебри скінченних предикатів та предикатних операцій, методи формалізації морфологічних структур природної мови, система візуального програмування MS Visual Studio, С#. Дослідження також базується на ідеях та принципах штучного інтелекту і методах формалізації природної мови. Результати роботи - програмна реалізація реляційних мереж задач обробки інформації на природній мові, логічного розпізнавання та комп'ютерного зору. ПРИРОДНА МОВА, АЛГЕБРА СКІНЧЕННИХ ПРЕДИКАТІВ, ПРЕДИКАТ, СЛОВОФОРМА, ВІДНОШЕННЯ, УЗАГАЛЬНЕНИЙ ЛОГІЧНИЙ ПРОСТІР. A research object is a mathematical vehicle of eventual predicates algebra and predicates operations. The aim of attestation work is research-and-development of methods of formalization of morphological structures of human language by means of predicates model of the generalized logical spaces programmatic model of the generalized logical spaces. Research methods are methodologies and technologies of software planning, mathematical vehicle of algebra of eventual predicates and predicates operations, methods of formalization of morphological structures of human language, system of the visual programming of MS Visual Studio, С#. Research is also based on ideas and principles of artificial intelligence and methods of formalization of human language. Results of work are the morphological analysis logic network program realization. NATURAL LANGUAGE, FINAL PREDICATES ALGEBRA, PREDICATE, WORD FORM, RELATIONS, GENERALIZED LOGICAL SPACE.
