Полнота и непротиворечивость правил управления

Наиболее часто требование полноты для системы "если А_i, то В_i", i=1,2,..,n, сводится к

X = Supp A_i,

где Supp A_i - носитель нечеткого множества A_i. Содержательно это означает, что для каждого текущего состояния х процесса существует хотя бы одно управляющее правило, посылка которого имеет ненулевую степень принадлежности для х.
Непротиворечивость системы управляющих правил чаще всего трактуется как отсутствие правил, имеющих сходные посылки и различные или взаимоисключающие следствия.
Степень непротиворечивости i-го и k-го правил можно задавать величиной

C_ik = | (m_Ai(x)L m_Ak(x)) - (m_Bi(y)L m_Bk (y))|.

Суммируя по k, получаем оценку непротиворечивости i-го правила в системе:

C_i = C_ik, 1<i<N