Прохоров О. В. Методологічні основи та інформаційна технологія створення розподілених інтелектуальних систем

English version

Дисертація на здобуття ступеня доктора наук

Державний реєстраційний номер

0517U000332

Здобувач

Спеціальність

  • 05.13.06 - Інформаційні технології

05-05-2017

Спеціалізована вчена рада

Д 64.062.01

Національний аерокосмічний університет ім. М.Є. Жуковського "Харківський авіаційний інститут"

Анотація

Об'єкт дослідження - процес створення розподілених інтелектуальних систем; мета дослідження - підвищення ефективності оброблення інформації та прийняття рішень у соціотехнічних системах за умов неповної визначеності й динамічного оточення шляхом розроблення методологічних основ та інформаційної технології створення розподілених інтелектуальних систем; методи дослідження - методи системного аналізу, теорії категорій та штучного інтелекту, імітаційного моделювання та теорії мультиагентних систем, хмарні технології; результати - теоретичне узагальнення та нове вирішення актуальної науково-прикладної проблеми формування методологічних основ створення інформаційних систем, що мають необхідні інтеграційні та інтелектуальні властивості для прийняття ефективних рішень в умовах розподіленості соціотехнічних систем, а також інноваційного оновлення та розвитку інформаційного середовища; новизна - вперше одержано метод синтезу агентів розподіленої інтелектуальної системи, в якому використано композицію онтологічних моделей, що забезпечує автоматизацію процесу створення, адаптивність і швидку модифікацію мультиагентної системи; вперше одержано метод об'єднання онтологічних моделей знань на основі логіко-категорійного підходу, який забезпечує незалежність від вибору конкретної мови опису онтологій і специфіки реалізації; вперше одержано метод логічного висновку в обчисленні предикатів першого порядку, який дає можливість вирішити проблему обчислювальної розв'язності, що виключає необхідність використання дескриптивної логіки для опису онтологій; вперше одержано модель подання онтологічних знань на основі багатозначного числення присутності, в якій враховано невизначеність в онтологіях і роботу з суперечливими знаннями; удосконалено метод автоматизованої побудови онтологій, який основано на виведенні предметних знань з неструктурованої текстової інформації і перетворення в онтологічні конструкції з перевіркою і аналізом протиріч; удосконалено моделі розподіленої взаємодії агентів у мультиагентній системі, які реалізують механізми взаємодії із зовнішніми активними ресурсами Semantic Web з використанням стандартів OWL і SPARQL; удосконалено агентну імітаційну модель для дослідження процесів управління ресурсами в складних динамічних середовищах, в якій використано механізм самоорганізації і колективної адаптації поведінки її елементів, що дозволяє підвищити ефективність децентралізованого планування і управління ресурсами в умовах невизначеності й динамічного оточення; удосконалено моделі управління, за допомогою яких здійснюють динамічне формування коаліцій і груп семантично схожих об'єктів, що забезпечує раціональний розподіл навантаження і управління ресурсами в конфліктних ситуаціях; дістала подальшого розвитку методологія створення розподілених інформаційних систем шляхом розроблення комплексу моделей, методів інтелектуальної інформаційної технології, за допомогою якої формалізується уявлення і оброблення розподілених знань на основі онтологій для прийняття ефективних рішень у гетерогенному інформаційному середовищі, що змінюється; дістали подальшого розвитку методи та інформаційна технологія створення розподілених інтелектуальних систем шляхом удосконалення технології хмарних обчислень, що дозволило побудувати єдине середовище для розроблення і керування інтелектуальними системами через Інтернет; дістала подальшого розвитку теорія категорій шляхом використання в ролі універсального формалізму онтологічного опису, що дає можливість автоматизувати об'єднання онтологій; дістали подальшого розвитку методи штучного інтелекту шляхом використання розробленого методу логічного висновку в численні предикатів першого порядку, що враховує проблему обчислювального розв'язання для онтологій; ступінь упровадження - результати впроваджені в Управлінні з питань комунальної власності виконавчого апарату Харківської обласної ради, у ДП "Науково-дослідний технологічний інститут приладобудування", у ТОВ "УКР-ЕХЗ-КОМПЛЕКТ", у ТОВ "Дослідний центр цивільних проектів", у навчальному процесі Національного аерокосмічного університету ім. М. Є. Жуковського "ХАІ"; галузь використання – розподілені інтелектуальні системи.

Файли

Схожі дисертації