інтелектуальні системи, интеллектуальные системы ; алгебра скінченних предикатів, алгебра конечных предикатов ; асоціативний пошук, ассоциативный поиск ; лінійне логічне перетворення, линейное логическое преобразование ; лінгвістична алгебра, лингвистическая алгебра ; логічні оператори, логические операторы ; логічні рівняння, логические уравнения ; реляційні мережі, реляционные сети

Основними результатами дисертаційної роботи є: розроблено моделі лінійних логічних операторів першого й другого роду, що описують функціонування реляційних мереж; набула подальшого розвитку лінгвістична алгебра за рахунок розробки моделей базисних елементів і базисних операцій лінгвістичної алгебри та методу побудови формул алгебри булевих функцій, що моделюють речення природної мови; вдосконалено метод побудови предикатної моделі речення природної мови шляхом введення доповнюючих та несуттєвих предметних змінних; обгрунтовано метод побудови логічної асоціативної структури реляційної мережі, що базується на використанні апаратної пам'яті з асоціативним доступом та використанні мінімального числа таблиць і дозволяє спростити доступ до даних та підвищити швидкість пошуку рішень.

• УДК // Загальні питання теорії керуючих систем. Моделі. Побудова моделей. Кодування. Теорія мереж
• УДК // Комп'ютерне програмування