27. Упрощение алгоритма нечеткого логического вывода.

П режде чем описывать механизм инференции (нечеткого логического вывода), используемый при проектировании нечетких контроллеров, снова обратимся к ОМП (обобщенному правилу модус поненс), рассмотренному в первой главе. Мы вновь касаемся этого вопроса, потому что алгоритм инференции при проектировании нечетких контроллеров является упрощенным по сравнению с алгоритмом, с которым вы познакомились в упомянутой главе. Правило ОМП записывается как . Лингвистический смысл этого правила заключается в следующем. Пусть высказывания , , , представляют собой четыре лингвистических переменные, каждая из которых может принимать лишь одно значение (один терм), другими словами, каждое из высказываний есть нечеткое множество. Известно из опыта работы или по мнению экспертов, что нечеткое множество влечет за собой нечеткое множество . В результате измерения (наблюдения) установлено, что на самом деле имеет место нечеткое множество в какой-то степени близкое к множеству . Тогда интуитивно на основании правила ОМП мы приходим к выводу, что нечеткое множество влечет за собой нечеткое множество , близкое множеству в такой же степени, в какой множество близко к множеству . Степень выполнения условия (скалярная величина) , другими словами, степень истинности высказывания «множество близко множеству » определяется как максиминная композиция между этими множествами , (2.10) причем . Здесь и соответственно функции принадлежности (ФП) множеств и (см. рисунок ниже). Очевидно, что, если нечеткое множество равно нечеткому множеству , так что = , и функция принадлежности нормализована, то степень истинности =1. Важный момент: в соответствии с ОМП композиция между множествами и должна быть равна , т.е.

(2.11). Отсюда делаем нечеткий логический вывод о том, что нечеткое множество определяется функцией принадлежности . (2.12). Здесь под операцией понимается min.

Легко показать, что композиция , отражающая степень близости множеств и , равна . Действительно, учитывая (2.12) и принимая во внимание, что для множества справедливо соотношение , (2.13) получаем

. (2.14)

Рассмотренный упрощенный метод нечеткого логического вывода разработан Мамдани и носит название максиминной инференции или инференции Мамдани. По сравнению с методом, описанным в разделе 1.4.3 и в соответствии с которым множество определяется согласно (1.19) как композиция множества и отношения метод Мамдани позволяет избежать вычисления отношения для получения окончательного результата, что является его достоинством, т.к. позволяет обойтись без дискретизации отношения и последующего сохранения в памяти его элементов. Дадим более строгое доказательство (2.12). Так как операции по определению внешнего и внутреннего произведений в (1.19) осуществляются в различных универсумах (областях), то можно изменить их (операций) порядок:

где постоянная

определяется выражением (2.10). В силу постоянства ( =const) внешнее произведение эквивалентно операции . Отсюда приходим к полученному интуитивно выражению (2.12) для ФП нечеткого множества . Как видим, метод Мамдани вытекает из метода, основанного на композиции множества и отношения .