Вестник Кольского научного центра РАН. 2014, №1.

п P(di) н ^Т(Фц) е н н ые -< п ции Л > неп рмененные п д у ци и P*(di) _L _L _L _L Mi mn,-1 mni m1 m2 m3 m4 Рис. Использование подмножеств значений данного при контроле вывода Описанные выше теоретико-множественные индикаторы хода вывода носят эмпирический и эвристический характер, но находятся в рамках распространенных тенденций поиска интегральных оценок успешности процедур вывода по критериям “здравого смысла”, к которым можно отнести, например, коэффициенты уверенности, расчет мер доверия и недоверия к гипотезам с учетом использованных и еще не использованных свидетельств, идеи ДСМ-метода и т.п. Эмпирические подходы неплохо зарекомендовали себя в прикладных системах искусственного интеллекта и заслуживают внимания, по крайней мере, до появления аксиоматической теории систем, основанных на знаниях, к которым можно отнести и ССМ. В последней указанные индикаторы используются в режиме проведения имитации для предупреждения пользователя, который должен принять решение о прекращении или продолжении вывода. В режиме обучения системы данные индикаторы применяются также для оценки эффективности управления логическим выводом. Выводы Представленные в работе правила обработки продукций и эмпирические индикаторы хода логического вывода в гибких дискретных системах позволяют оценить успешность продвижения к цели вывода и принять решение о его прекращении или продолжении. ЛИТЕРАТУРА 1. Закревский АД. Решение больших систем логических уравнений. Минск: ОИПИ НАН Беларуси, 2009. 2. Ganter B, Wille R. Formal Concept Analysis / B. Ganter, R. Wille // Mathematical Foundations. Berlin: Springer, 1999. 3. Кулик Б.А. Алгебраический подход к интеллектуальной обработке данных и знаний / Б.А. Кулик, А.А. Зуенко, А.Я. Фридман. СПб.: Изд-во Политехн. ун-та, 2010. 4. Фридман А.Я. Ситуационное моделирование природно­ технических комплексов / А.Я. Фридман, О.В. Фридман, А.А. Зуенко. СПб.: Изд-во Политехн. ун-та, 2010. 5. Перовская Е.И. Основы гибкой автоматизации. Л.: ЛИАП, 1986. 6. Фридман О.В. Ситуационное моделирование сложных природно-технических объектов с учетом аспектов безопасности / О.В. Фридман, А.Я. Фридман // Вестник КНЦРАН. 2013. Вып. 3. С. 71-79. 7. Цаленко М.Ш. Моделирование семантики в базах данных. М.: Наука, 1989. 8. Вальковский В.А. Семантика манипуляций с базой данных интеллектуальных систем // НТИ. 1984. Сер. 2, №3. С. 14-19. Сведения об авторах: Фридман Александр Яковлевич - д.т.н., профессор, в.н.с. ИИММ КНЦ РАН; e-mail: fridman@iimm. kolasc.net.ru 41