Процай Н. Т. Моделі і методи аналізу та синтезу логічних мереж на основі алгебри предикатів і предикатних операцій.

Об'єкт дослідження: процеси обробки інформації в природньо-мовних системах та процеси функціонування інформаційних систем. Мета дослідження: розробка математичних моделей і методів аналізу та синтезу логічних мереж на основі алгебри предикатів і предикатних операцій для розширення можливостей та підвищення ефективності обробки інформації у природньо-мовних системах. Методи дослідження та апаратура: теорія штучного інтелекту, алгебра скінченних предикатів та предикатних операцій, методи композиції та декомпозиції моделей. Теоретичні та практичні результати: розв'язано науково-практичну задачу, яка полягає в розробці математичних моделей і методів моделювання та дослідження логічних мереж на основі алгебри предикатів і предикатних операцій. Новизна: кванторна алгебра предикатних операцій, методи композиції та декомпозиції за набором змінних предикатних моделей, синтез математичної предикатної моделі відмінювання іменних словосполучень російської мови типу узгодження та відповідної обчислювальної логічної мережі, метод побудови математичної моделі інформаційної архітектури системи для проведення аналізу функціональної стабільності. Ступінь впровадження: Державний науково-технічний центр ядерної та радіаційної безпеки (м. Харків). Сфера використання: інформаційні системи, системи штучного інтелекту.