The approach to organising inference on ontologies in multiagent systems

Abstract

It’s provided to use multiagent system’s technologies and ontologies for solving problems, directly relating to analyses, diagnostic, evaluation and identification of situations, forecasting of outcomes, information fusion, coordination of unmanned aerial vehicle’s group operation. An approach is suggested, which allows analysing the correctness of ontology and its completeness, searching for disturbances in semantic links, agreement of representations about the subject area and the semantics of objects described in terms of different ontologies during their merging. Issues of mapping the elements of the OWL and SWRL-languages to a knowledge base of a decision support system based on the first-order predicate logic are discussed. The key principles of implementing an effective inference algorithm on ontologies for different strategies of search reduction are described.

Для вирішення завдань, безпосередньо пов’язаних з аналізом, діагностикою, оцінюванням та розпізнаванням ситуацій, прогнозуванням розвитку подій, узагальненням інформації, координацією та узгодженням сумісних дій групи безпілотних літальних апаратів (БПЛА) запропоновано використовувати технології мультиагентних систем та онтології. Запропоновано підхід, що дозволяє проводити аналіз коректності онтології та її повноти, пошук порушень у семантичних зв’язках, узгодження уявлень про предметну область і семантику об’єктів, що описані у термінах різних онтологій при їх об’єднанні. Розглянуто питання відображення елементів мов OWL та SWRL у базі знань системи підтримки прийняття рішень, що базується на логіці предикатів першого порядку. Описано основні принципи реалізації ефективного алгоритму логічного виведення на онтологіях при різних стратегіях скорочення перебору.

Для решения задач, непосредственно связанных с анализом, диагностикой, оцениванием и распознаванием ситуаций, прогнозированием развития событий, обобщением информации, координацией и согласованием совместных действий группы беспилотных летательных аппаратов (БПЛА) предлагается использовать технологии мультиагентных систем и онтологии. Предложен подход, позволяющий проводить анализ корректности онтологии и ее полноты, поиск нарушений в семантических связях, согласование представлений о предметной области и семантику объектов, описанных в терминах разных онтологий при их объединении. Рассмотрены вопросы отображения элементов языков OWL и SWRL в базе знаний системы поддержки принятия решений, основанной на логике предикатов первого порядка. Описаны основные принципы реализации эффективного алгоритма логического вывода на онтологиях при различных стратегиях сокращения перебора.