Голян Н. В. Предикатні моделі неявних зв'язків при процесному представленні знань

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