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

Разработано программное обеспечение интеллектуальных систем, исследованы лингвистические структуры разной степени сложности. Рассмотрены методы решения логических уравнений с помощью линейных логических операторов и реляционных сетей, а также два метода формульного описания отношений с помощью алгебры предикатов и метод, основанный на замене отношений отображениями. Исследован метод явного формульного выражения однозначных отображений; метод построения графов (деревьев синтаксического подчинения) для предложений естественного языка; метод построения логической ассоциативной структуры реляционной сети, который позволяет повысить быстродействие параллельного ассоциативного поиска решений по минимальному числу таблиц. Полученные методы решения систем логических уравнений применены для построения интеллектуальных систем в ОКБ Харьковского государственного приборостроительного завода им. Т.Г. Шевченко для поддержки конструкторских решений во время создания системы CM РЭМ и в ЧП "Энергия" для создания единой информационной среды управления основным фондами и ресурсами предприятий. Теоретические результаты диссертации были использованы в учебном процессе на кафедре программного обеспечения ЭВМ ХНУРЭ при подготовке курсов лекций "Tеория интеллекта" и "Бионика интеллекта" для специальности "Программная инженерия".

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