Нечеткий вывод Заде

[MigAndAl]

Доброго времени суток.

Прошу помочь разобраться. Разбираюсь с композиционным правилом нечеткого вывода Заде.
Вопрос в следующем:

Пусть дано нечеткое правило If x is A then y is B.
Если сначала найти по известым A и B отношение нечеткой импликации (возьмем, для примера, Мамдани), а затем по известной посылке (А) и найденой импликации (R) через свертку (максимин) вычислить B', то B не будет равно B'.

Приведу пример: Импликация Мамдани (минимум), свертка максимин.

Пусть $A = \left( \begin{array}{ccc} 0.5/1 & 0.6/2 & 0.7/3 \end{array} \right)$
Пусть $B = \left( \begin{array}{ccc} 0.2/10 & 0.5/20 & 0.9/30 \end{array} \right)$

Найдем отношение импликации:
$R = A^T B = \left( \begin{array}{ccc} 0.2 & 0.5 & 0.5 \\ 0.2 & 0.5 & 0.6 \\ 0.2 & 0.5 & 0.7 \end{array} \right)$
Теперь посчитаем B:
$A R = \left( \begin{array}{ccc} 0.2/10 & 0.5/20 & 0.5/30 \end{array} \right)$

Попробовал несколько различных отношений импликации. Попробовал другие свертки - результат такой же.

Прошу помочь разобраться, где я не прав или же, помочь понять смысл происходящего.

С уважением, Андрей