В противном случае имеет место неполная база нечетких правил.

Для любого терма входной переменной имеется хотя бы одно правило, в котором этот терм используется в качестве предпосылки (левая часть правила).

Существует хотя бы одно правило для каждого лингвистического терма выходной переменной.

Нечеткий логический вывод.

Основой для проведения операции нечеткого логического вывода является база правил, содержащая нечеткие высказывания в форме "Если-то" и функции принадлежности для соответствующих лингвистических термов. При этом должны соблюдаться следующие условия:

Пусть в базе правил имеется m правил вида:

R₁: ЕСЛИ x₁ это A₁₁ … И … x_n это A_1n, ТО y это B₁

…

R_i: ЕСЛИ x₁ это A_i1 … И … x_n это A_in, ТО y это B_i

…

Rm: ЕСЛИ x₁ это A_i1 … И … x_n это A_mn, ТО y это B_m,

где x_k , k=1..n – входные переменные; y – выходная переменная; A_ik – заданные нечеткие множества с функциями принадлежности.

Результатом нечеткого вывода является четкое значение переменной y* на основе заданных четких значений x_k , k=1..n.

В общем случае механизм логического вывода включает четыре этапа: введение нечеткости (фазификация), нечеткий вывод, композиция и приведение к четкости, или дефазификация.