Registration Number
0517U000332, Doctoral dissertation
Status
д.т.н.
Date
05-05-2017
popup.evolution
.
Title
Methodological basis and information technology of distributed intelligent systems creating
Author
Prokhorov Oleksandr Valeriiovych,
popup.head Fedorovich Oleg Evgenovych
popup.opponent Годлевський Михайло Дмитрович
popup.opponent Пасічник Володимир Володимирович
popup.opponent Томашевський Валентин Миколайович
popup.rada
National Aerospace University named by N.E.Zhukovsky "Kharkov aviation institute"
Description
Об'єкт дослідження - процес створення розподілених інтелектуальних систем; мета дослідження - підвищення ефективності оброблення інформації та прийняття рішень у соціотехнічних системах за умов неповної визначеності й динамічного оточення шляхом розроблення методологічних основ та інформаційної технології створення розподілених інтелектуальних систем; методи дослідження - методи системного аналізу, теорії категорій та штучного інтелекту, імітаційного моделювання та теорії мультиагентних систем, хмарні технології; результати - теоретичне узагальнення та нове вирішення актуальної науково-прикладної проблеми формування методологічних основ створення інформаційних систем, що мають необхідні інтеграційні та інтелектуальні властивості для прийняття ефективних рішень в умовах розподіленості соціотехнічних систем, а також інноваційного оновлення та розвитку інформаційного середовища; новизна - вперше одержано метод синтезу агентів розподіленої інтелектуальної системи, в якому використано композицію онтологічних моделей, що забезпечує автоматизацію процесу створення, адаптивність і швидку модифікацію мультиагентної системи; вперше одержано метод об'єднання онтологічних моделей знань на основі логіко-категорійного підходу, який забезпечує незалежність від вибору конкретної мови опису онтологій і специфіки реалізації; вперше одержано метод логічного висновку в обчисленні предикатів першого порядку, який дає можливість вирішити проблему обчислювальної розв'язності, що виключає необхідність використання дескриптивної логіки для опису онтологій; вперше одержано модель подання онтологічних знань на основі багатозначного числення присутності, в якій враховано невизначеність в онтологіях і роботу з суперечливими знаннями; удосконалено метод автоматизованої побудови онтологій, який основано на виведенні предметних знань з неструктурованої текстової інформації і перетворення в онтологічні конструкції з перевіркою і аналізом протиріч; удосконалено моделі розподіленої взаємодії агентів у мультиагентній системі, які реалізують механізми взаємодії із зовнішніми активними ресурсами Semantic Web з використанням стандартів OWL і SPARQL; удосконалено агентну імітаційну модель для дослідження процесів управління ресурсами в складних динамічних середовищах, в якій використано механізм самоорганізації і колективної адаптації поведінки її елементів, що дозволяє підвищити ефективність децентралізованого планування і управління ресурсами в умовах невизначеності й динамічного оточення; удосконалено моделі управління, за допомогою яких здійснюють динамічне формування коаліцій і груп семантично схожих об'єктів, що забезпечує раціональний розподіл навантаження і управління ресурсами в конфліктних ситуаціях; дістала подальшого розвитку методологія створення розподілених інформаційних систем шляхом розроблення комплексу моделей, методів інтелектуальної інформаційної технології, за допомогою якої формалізується уявлення і оброблення розподілених знань на основі онтологій для прийняття ефективних рішень у гетерогенному інформаційному середовищі, що змінюється; дістали подальшого розвитку методи та інформаційна технологія створення розподілених інтелектуальних систем шляхом удосконалення технології хмарних обчислень, що дозволило побудувати єдине середовище для розроблення і керування інтелектуальними системами через Інтернет; дістала подальшого розвитку теорія категорій шляхом використання в ролі універсального формалізму онтологічного опису, що дає можливість автоматизувати об'єднання онтологій; дістали подальшого розвитку методи штучного інтелекту шляхом використання розробленого методу логічного висновку в численні предикатів першого порядку, що враховує проблему обчислювального розв'язання для онтологій; ступінь упровадження - результати впроваджені в Управлінні з питань комунальної власності виконавчого апарату Харківської обласної ради, у ДП "Науково-дослідний технологічний інститут приладобудування", у ТОВ "УКР-ЕХЗ-КОМПЛЕКТ", у ТОВ "Дослідний центр цивільних проектів", у навчальному процесі Національного аерокосмічного університету ім. М. Є. Жуковського "ХАІ"; галузь використання – розподілені інтелектуальні системи.
Registration Date
2017-08-22
popup.nrat_date
2020-04-03 / 2026-06-29
