Труды КНЦ вып.12 (ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ вып. 5/2021(12))

Труды Кольского научного центра РАН. Информационные технологии. Вып. 12. 2021. Т. 12, № 5. С. 171-176. Transactions of the tola Science Centre. Information technologies. Series 12. 2021. Vol. 12, no. 5. P. 171-176. Тезисы УДК 004.9 DOI: 10.37614/2307-5252.2021.5.12.017 А Н А Л И З П А Р А Д О К С О В В И Н Т Е Л Л Е К Т У А Л Ь Н Ы Х М О Д Е Л Я Х С И С Т Е М Борис Александрович К у л и к 1, А л е к с а н д р Яковлевич Фридман2В 1Институт проблем машиностроения РАН, Санкт-Петербург 2 Институт информатики и математического моделирования ФИЦ КНЦ РАН, Апатиты, Россия 1 ba-kulik@yandex.ru, https://orcid.org/0000-0001-6193-5588 2 fridman@iimm.ruB, https://orcid.org/0000-0003-2408-6892 Аннотация Под парадоксом понимается рассуждение (база знаний), из которого(ой) следует несовместимость свойств некоторых участвующих в нем(ней) объектов. Рассматриваются и иллюстрируются примерами основанные на Е-структурах и алгебре кортежей методы анализа и элиминации парадоксов в интеллектуальных системах. Ключевые слова: Е-структура, алгебра кортежей, элиминация парадокса Финансирование Работа выполнена в рамках выполнения гос. задания по теме НИР № 0226-2019-0036. Работа частично поддержана грантом РФФИ № 19-08-00079-а. Для цитирования: Кулик Б. А., Фридман А. Я. Анализ парадоксов в интеллектуальных моделях систем // Труды Кольского научного центра РАН. Информационные технологии. Вып. 12. 2021. Т. 12, № 5. С. 171-176. http://dx/doi.org/10.37614/2307-5252.2021.5.12.017. Theses ANALYSIS OF PARADOXES IN INTELLIGENT MODELS OF SYSTEMS Boris A. Kulik 1, A lexander Ya. Fridman 2B 1 1nstitute of Problems in Mechanical Engineering RAS, Saint Petersburg 2 Institute for Informatics and Mathematical Modeling Kola Science Centre of the Russian Academy of Sciences, Apatity, Russia 1 ba-kulik@yandex.ru, https://orcid.org/0000-0001-6193-5588 2 fridman@iimm.ruB, https://orcid.org/0000-0003-2408-6892 Abstract A paradox is understood as reasoning (knowledge base), from which follows the incompatibility of properties for some objects participating in it. Some methods to analyze and eliminate such paradoxes in intelligent systems based on E-structures and n-tuple algebra are considered and illustrated by examples. Keywords: E-structure, n-tuple algebra, elimination of paradoxes Funding The article was supported by the federal budget to carry out the state task of the FRC KSC RAS No. 0226-2019-0036. The study was partially supported by RFBR, project number 19-08-00079-а. For citation: Kulik B. A., Fridman A. Ya. Analysis of paradoxes in intelligent models of systems // ^ansactions of the Kola Science Centre. Information technologies. Series 12. 2021. Vol. 12, no. 5. P. 171-176. http://dx/doi.org/10.37614/2307-5252.2021.5.12.017. 171