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

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

• УДК // Маніпулювання даними
• УДК // Математична логіка
• УДК // Теорія інформації: математичні аспекти