4.4. Нечеткие отношения

Пусть Е = Е1?Е2?…?Еn – прямое произведение универсальных множеств и М – некоторое множество принадлежностей (например, М = [0,1]). Нечеткое n-арное отношение определяется как нечеткое подмножество R на E, принимающее свои значения в М. В случае n=2 и М = [0,1], нечетким отношением R между множествами X = Е1 и Y = Е2 будет называться функция R:(X, Y)® [0,1], которая ставит в соответствие каждой паре элементов (х, y)IX?Y величину mR(x, y) I[0,1]. Обозначение: нечеткое отношение на X?Y запишется в виде: xIX, yIY: xRy. В случае, когда X = Y, т.е. X и Y совпадают, нечеткое отношение R: X?X®[0,1] называется нечетким отношением на множестве X.

Примеры:

1) Пусть X = {x1, x2, x3}, Y = {y1, y2, y3, y4}, М = [0,1]. Нечеткое отношение R = XRY может быть задано, к примеру, табл. 4.3.

Таблица 4.3

Задание нечеткого отношения

хi

y1

y2

y3

y4

x1

0

0

0,1

0,3

x2

0

0,8

1,0

0,7

x3

1

0,5

0,6

1,0

2) Пусть X = Y =, т.е. множество всех действительных чисел. Отношение  (x много больше y) можно задать функцией принадлежности:

3) Отношение R, для которого mR(x, y) = , при достаточно больших k можно интерпретировать так: "x и y – близкие друг к другу числа". В случае конечных или счетных универсальных множеств очевидна интерпретация нечеткого отношения в виде нечеткого графа, в котором пара вершин (xi, xj) в случае XRX соединяется ребром с весом mR(xi, xj), в случае XRY пара вершин (xi, yj) соединяется ребром c весом mR(xi, yj).

4) Пусть Х = {x1, x2, x3}, и задано нечеткое отношение R: X´X® [0,1], представленное графом (рис. 4.9).

Рис. 4.9. Граф нечеткого отношения R для примера 4

5) Пусть X = {x1, x2} и Y = {y1, y2, y3}, тогда нечеткий граф (рис. 4.10) задает нечеткое отношение XRY.

Рис. 4.10. Нечеткий граф для примера 5

Замечание. В общем случае нечеткий граф может быть определен на некотором GÌX´Y, где G – множество упорядоченных пар (x, y) (необязательно всех возможных) такое, что GÇ = Æ и GÈ = X´Y.

Будем использовать обозначения  вместо  и  вместо

Пусть R: X´Y®[0,1].