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

Дисертація присвячена питанням розробки алгебро-логічних моделей формалізації семантики речень. Запропоновано математичний опис частин мови у вигляді формул алгебри кінцевих предикатів і предикатних операцій. Розроблено алгебро-логічну синтаксичну модель на основі словосполучень. Розроблено модель семантики префіксально-суфіксального словотворення. Розроблена діалогова система аналізу і синтезу речень, яка впроважена в навчальний процес. Розролені алгебро-логічні моделі аналізу покладені в основу підсистеми обробки інформації при морфометричних дослідженнях на основі префіксально-суфіксальної обробки слів та обробки словосполучень з використанням виникаючих відношень і значень, впровадженої у відділі криоцитології та кількісної морфології Інституту проблем кріобіології та кріомедицини НАН України.

• УДК // Обробка слів. Обробка текстів
• УДК // Штучний інтелект