алгебра предикатів, алгебра предикатов ; бінарна декомпозиція, бинарная декомпозиция ; логические сети, логічні мережі, logical nets ; морфологічні моделі, морфологические модели ; реляційні моделі, реляционные модели ; реляційна алгебра, реляционная алгебра ; флексійна обробка, флексийная обработка ; циліндрична алгебра, цилиндрическая алгебра ; штучний інтелект,ШІ, искусственный интеллект, ИИ,artificial intelligence, l`intelligence artificielle

Диссертация посвящена разработке формальных средств построения моделей логических сетей. Эти средства основаны на теоремах из раздела нормализации теории реляционных баз данных и позволяют преобразовывать произвольные уравнения алгебры предикатов в модели логических сетей. Аппаратная реализация логических сетей на программируемых логических интегральных схемах образует новые высокопроизводительные процессоры, обрабатывающие модели естественного языка. В работе изучена связь между реляционной алгеброй и алгеброй предикатов. Разработан метод формального описания операций реляционной алгебры на языке алгебры конечных предикатов. С помощью полученных средств декомпозиции разработан метод бинарной декомпозиции функциональных предикатов, на основе которого построена модель логической сети для флективной обработки глагольных словоформ русского языка. Выполнена оценка размеров полученной модели и представлены результаты аппаратного моделирования логической сети на интегральных схемах программируемой логики.

• УДК // МАТЕМАТИЧНА КІБЕРНЕТИКА