TY - JOUR AU - Сергей Дмитриевич Махортов PY - 2020/09/30 Y2 - 2024/03/28 TI - Уравнения в нечеткой распределенной LP-структуре и возможности их применения в интеллектуальных системах JF - Вестник ВГУ. Серия: Системный анализ и информационные технологии JA - sait VL - 0 IS - 3 SE - Интеллектуальные информационные системы DO - 10.17308/sait.2020.3/3043 UR - https://journals.vsu.ru/sait/article/view/3043 AB - Алгебраическая теория LP-структур предлагает и обосновывает формальную методологию управления знаниями в интеллектуальных системах продукционного типа. Она обеспечивает эффективное решение ряда важных задач, связанных с продукционными системами. К таковым относятся эквивалентные преобразования, верификация, оптимизация баз знаний. Важный раздел теории составляет также метод релевантного обратного логического вывода (LP-вывод), направленный на снижение числа обращений к внешним источникам информации. Теоретической базой метода служит аппарат продукционно-логических уравнений в LP-структурах. Как показывает статистика экспериментов, решая уравнение и обрабатывая множество решений, можно добиться снижения числа внешних запросов в процессе вывода в среднем на 15–20 %. В статье определяется расширенный класс таких уравнений для алгебраической системы (FDLP-структуры), моделирующей распределенные системы знаний продукционного типа с нечеткими правилами. Анонсированы полученные автором результаты о разрешимости уравнений и методе их решения. Нахождение решения уравнения в FDLP-структуре соответствует обратному нечеткому логическому выводу в распределенной интеллектуальной системе. Рассмотренный класс уравнений создает основу для продвижений в области оптимизации нечеткого распределенного логического вывода и верификации соответствующих баз знаний. Предложены варианты стратегий обратного вывода с использованием нескольких параметров релевантности. Еще одно из возможных приложений аппарата продукционно-логических уравнений — верификация баз знаний интеллектуальных систем. В работе сформулированы методика и общий алгоритм применения уравнений для верификации нечетких распределенных баз знаний в плане выявления противоречий и избыточности. Следующими шагами исследований на рассматриваемом направлении являются уточнение и программная реализация применения новых параметров релевантности FDLP-вывода, статистический анализ результатов. ER -