11.4. Нечеткие правила вывода
Базовое правило вывода типа "если - то" (англ.: if - then rule) называется также нечеткой импликацией, принимающей форму
где А и В — это лингвистические значения, идентифицированные нечетким способом через соответствующие функции принадлежности для переменных х и у. Часть "х это А" называется условием (предпосылкой), а "у это В" - следствием (заключением). Импликацию (11.18) можно записать в сокращенном виде А 
Нечеткое рассуждение - это процедура, которая позволяет определить заключение, вытекающее из множества правил "если — 
Такое множество при 
переменных х, может принять вид
Переменные 
образуют 
-мерный входной вектор х, составляющий аргумент условия, в котором 
и В обозначают величины соответствующего коэффициента принадлежности 
. Необходимо обратить внимание, что здесь присутствуют индивидуальные функции принадлежности для каждой переменной 
и отдельно для у. Случайное значение функции принадлежности 
где х - это вектор 
относящееся к условию импликации (уровень активации правила), должно в последующем интерпретироваться с использованием введенных ранее нечетких операций. Возможна интерпретация в форме логического произведения множеств либо в форме алгебраического произведения:
• интерпретация в форме логического произведения
• интерпретация в форме алгебраического произведения
Приписывание единственного значения функции принадлежности, описывающей многомерное условие, будем называть агрегированием предпосылки. Каждой импликации 
, определенной выражением (11.19), можно приписать также единственное значение функции принадлежности 
Наиболее популярные интерпретации этой функции также имеют форму логического или алгебраического произведения:
• форма логического произведения
• форма алгебраического произведения
Приписывание единственного значения функции принадлежности всей импликации будем называть процедурой агрегирования на уровне импликации.
