Логический вывод на основе нечеткой метаимпликации

О.А. Мелихова

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

При выполнении нечетких выводов используются нечеткие соответствия R, заданные между одной проблемной областью (множество X) и другой областью (множество Y) в виде нечеткого подмножества прямого произведения , определяемого по формуле [7,13]:

,                          (1.1)

где  – область отправления,  – область прибытия,  – функция принадлежности  нечеткому соответствию R, а знак означает совокупность (объединение) множеств.

Если существует правило типа “если A, то B”, использующее нечеткие множества A  и B , то один из способов построения нечеткого соответствия R состоит в следующем:

или

,               (1.2)

где  – функции принадлежности элементов x, y соответственно множествам A и B.

Пример 1. Пусть X и Y- области натуральных чисел от 1 до 4. Определим следующим образом нечеткие множества: A= “маленькие”, B= “большие”.

X=Y={1,2,3,4}, т.е. для примера взят частный случай соответствия- отношение на множестве {1,2,3,4}:

.

Для примера “если x маленькое, то y большое” (или , где знак означает операцию нечеткой метаимпликации) можно построить нечеткое отношение R следующим образом: