Лекция 10

б) Нечеткий контроллер описывается N правилами.

Если используется набор (множество) из N нечетких правил типа Если-То,

Если ошибка e есть и скорость изменения ошибки ce есть ,

То управление u есть _i , , (2.28a)

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

, (2.29)

где

, (2.29,а)

является нечетким выводом по i-му правилу. Сама операция (2.29) называется агрегированием выводов или аккумуляцией выводов.

В свою очередь значение

, , (2.29,б)

представляет собой степень истинности утверждения «нечеткое множество близко к множеству » или, другими словами, степень выполнения предпосылки i-го правила. Весь алгоритм максиминной инференции графически иллюстрируется для N=2 на рис. 2.7,б.

Рис. 2.7,б

Если e и ce – четкие (количественные переменные) соответственно e’ и ce’, так что имеет место (2.27), то

, ,

так что

, . (2.29,в)

Разбиение пространства входов. Набор правил в форме конъюнкции условий (предпосылок), т. е. в форме , . (2.29,б) или , . (2.29,в), разделяет (разбивает) пространство входов (пространство условий) на решетку из областей (боксов), параллельных осям e и ce . Такое разбиение называется решетчатым разбиением. Каждый бокс является пересечением соответствующих терм.

Рис. 2.7,в

Это показано на рис. 2.7,в в случае трех терм-множеств для каждой из переменных e и ce, имеющих трапециидальные функции принадлежности, причем используются N=9 правил. Кажется, можно ограничиться лишь тремя правилами. Однако тогда только три бокса, расположенные по диагонали, не смогут охватить все пространство входов (плоскость e,ce). Для того, чтобы накрыть все пространство входов, необходимо добавить еще 6 правил, комбинируя между собой все термы переменных e и ce.

На рис. 2.7,в слева функции принадлежностей терм не пересекаются, и каждый бокс соответствует своему правилу, другими словами, своему значению . Светлые участки на боксах определяются значениями =1, а серые – значениями . На рис. 2.7,в справа функции принадлежности терм пересекаются (перекрываются) и здесь серые участки как раз определяются этими пересечениями. Отсюда серые участки принадлежат одновременно двум и более правилам, следовательно, отражают для таких правил значения меньшие единицы.

Если термами множества являются q (обычно q<N, т.е. число термов выхода меньше числа правил) синглтонов с ФП

(2.30)

то нечеткий вывод (заключение) по всему множеству из N правил, иначе ФП множества , определяется выражением

, (2.31)

где величина

(2.32)

определяет возбуждающую силу j-го синглтона. Здесь представляет собой элемент подмножества всех степеней истинности из множества степеней истинности правил, которые соответствуют j-му синглтону (терму выхода со значением ). Дело в том, что при q < N несколько правил содержат в части То один и тот же синглтон.