Алгебраические методы предоставляют эффективные средства формального построения и исследования моделей в различных областях информатики, включая интеллектуальные системы. Это положение в полной мере относится к логическим системам продукционного типа, которые образуют теоретическую основу важного направления в дисциплине искусственного интеллекта. В докладе исследуется алгебраическая структура, моделирующая распределенную интеллектуальную систему продукционного типа с нечеткими правилами (FDLP-структура). Вводится класс уравнений, служащий теоретической основой нового метода обратного логического вывода. Метод направлен на минимизацию числа обращений к внешним источникам информации (FDLP-вывод). Обсуждаются стратегии обратного вывода, использующие несколько параметров релевантности. Рассматриваются вопросы компьютерной реализации FDLP-структур.