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

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

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