алгебра скінченних предикатів, алгебра конечных предикатов ; бізнес-процеси, бизнес-процессы ; бази знань, (БЗ), базы знаний, (БЗ), knowledge bases ; логічні рівняння, логические уравнения ; реляційні мережі, реляционные сети ; системи штучного інтелекту, СШІ, системы искусственного интеллекта, СИИ

Разработан набор логических сетей обнаружения неявных зависимостей при процессном представлении знаний. Модели представления конструкций неявного выбора и неявных связей позволили построить реляционные сети поиска неявных связей. Также разработана структура двухуровневой процессной базы знаний. Полученный программный модуль нахождения скрытых связей был использован для выявления скрытых зависимостей в процессах тестирования программного обеспечения. Результаты диссертационного исследования нашли свое практическое применение в ПАО "Харьковский машиностроительный завод "Свет шахтера" для улучшения качества обработки информации в задачах моделирования бизнес-процессов; сокращения объема ручной работы и времени формирования пакетов учебных материалов для компьютеризированных обучающих систем и переподготовки кадров организации. Теоретические результаты диссертации были использованы в учебном процессе на кафедрах программной инженерии и прикладной математики ХНУРЭ.

• Праці співробітників ХНУРЕ // Голян Наталія Вікторівна, Голян Наталия Викторовна
• УДК // Класична логіка предикатів першого порядку
• УДК // Реляційна модель