- •ВВЕДЕНИЕ
- •1. ОСНОВНЫЕ ПОНЯТИЯ И ОПРЕДЕЛЕНИЯ ТЕОРИИ НЕЧЁТКИХ МНОЖЕСТВ
- •1.1. НЕЧЁТКОЕ МНОЖЕСТВО
- •1.1.1. ОСНОВНЫЕ ОПРЕДЕЛЕНИЯ
- •1.1.2. СРАВНЕНИЕ НЕЧЁТКИХ МНОЖЕСТВ
- •1.1.3. СВОЙСТВА НЕЧЁТКИХ МНОЖЕСТВ
- •1.1.4. ОПЕРАЦИИ НАД НЕЧЁТКИМИ МНОЖЕСТВАМИ
- •1.1.5. АЛЬТЕРНАТИВНОЕ ПРЕДСТАВЛЕНИЕ ОПЕРАЦИЙ НАД НЕЧЁТКИМИ МНОЖЕСТВАМИ
- •1.2. РАССТОЯНИЕ МЕЖДУ НЕЧЁТКИМИ МНОЖЕСТВАМИ
- •1.2.2. ЕВКЛИДОВО РАССТОЯНИЕ
- •1.2.3. РАССТОЯНИЯ МЕЖДУ БЕСКОНЕЧНЫМИ СЧЁТНЫМИ НЕЧЁТКИМИ МНОЖЕСТВАМИ
- •1.2.4. РАССТОЯНИЯ МЕЖДУ БЕСКОНЕЧНЫМИ НЕСЧЁТНЫМИ НЕЧЁТКИМИ МНОЖЕСТВАМИ
- •1.1.6. СВЯЗЬ С ТЕОРИЕЙ ВЕРОЯТНОСТЕЙ
- •1.2.5. ВЫБОР МЕРЫ РАССТОЯНИЯ
- •1.3. ИНДЕКСЫ НЕЧЁТКОСТИ
- •1.3.1. ПОНЯТИЕ ИНДЕКСА НЕЧЁТКОСТИ
- •1.3.2. ОБЫЧНОЕ МНОЖЕСТВО, БЛИЖАЙШЕЕ К НЕЧЁТКОМУ
- •1.3.3. ЛИНЕЙНЫЙ ИНДЕКС НЕЧЁТКОСТИ
- •1.3.4. КВАДРАТИЧНЫЙ ИНДЕКС НЕЧЁТКОСТИ
- •1.3.6. ВЕКТОРНЫЙ ИНДИКАТОР НЕЧЁТКОСТИ
- •1.4. ОЦЕНКА НЕЧЁТКОСТИ ЧЕРЕЗ ЭНТРОПИЮ
- •1.4.1. ПОНЯТИЕ ЭНТРОПИИ
- •1.4.2. ЭНТРОПИЯ ПО НЕЧЁТКОСТИ
- •1.4.3. ОСОБЕННОСТЬ ОЦЕНКИ НЕЧЁТКОСТИ ЧЕРЕЗ ЭНТРОПИЮ
- •1.5. ПРИНЦИП ОБОБЩЕНИЯ
- •1.5.1. КЛАССИЧЕСКОЕ ОПРЕДЕЛЕНИЕ ОТОБРАЖЕНИЯ
- •1.5.2. ОБРАЗ НЕЧЁТКОГО МНОЖЕСТВА
- •2. НЕЧЁТКИЕ ОТНОШЕНИЯ
- •2.1. ОПРЕДЕЛЕНИЕ НЕЧЁТКОГО ОТНОШЕНИЯ
- •2.1.1. ОПРЕДЕЛЕНИЕ НЕЧЁТКОГО БИНАРНОГО ОТНОШЕНИЯ
- •2.1.2. НЕЧЁТКОЕ БИНАРНОЕ ОТНОШЕНИЕ «НАМНОГО БОЛЬШЕ»
- •2.1.3. НЕЧЁТКОЕ БИНАРНОЕ ОТНОШЕНИЕ «ДОСТАТОЧНО БЛИЗКО»
- •2.1.4. ПРЕДСТАВЛЕНИЕ НЕЧЁТКОГО БИНАРНОГО ОТНОШЕНИЯ НЕЧЁТКИМ ГРАФОМ
- •2.1.5. НОСИТЕЛЬ НЕЧЁТКОГО БИНАРНОГО ОТНОШЕНИЯ
- •2.1.6. ВКЛЮЧЕНИЕ НЕЧЁТКОГО БИНАРНОГО ОТНОШЕНИЯ
- •2.2. ОПЕРАЦИИ НАД НЕЧЁТКИМИ ОТНОШЕНИЯМИ
- •2.2.1. ОБЪЕДИНЕНИЕ НЕЧЁТКИХ ОТНОШЕНИЙ
- •2.2.2. ПЕРЕСЕЧЕНИЕ НЕЧЁТКИХ ОТНОШЕНИЙ
- •2.2.3. АЛГЕБРАИЧЕСКОЕ ПРОИЗВЕДЕНИЕ НЕЧЁТКИХ ОТНОШЕНИЙ
- •2.2.4. АЛГЕБРАИЧЕСКАЯ СУММА НЕЧЁТКИХ ОТНОШЕНИЙ
- •2.2.5. ДОПОЛНЕНИЕ НЕЧЁТКОГО ОТНОШЕНИЯ
- •2.2.6. ДИЗЪЮНКТИВНАЯ СУММА НЕЧЁТКИХ ОТНОШЕНИЙ
- •2.2.8. НОРМАЛЬНОЕ И СУБНОРМАЛЬНОЕ ОТНОШЕНИЯ
- •2.2.9. СЕПАРАБЕЛЬНОЕ ОТНОШЕНИЕ
- •2.2.10. КОМПОЗИЦИЯ ОТНОШЕНИЙ
- •2.2.11. ГРАФОВЫЙ ПОДХОД К КОМПОЗИЦИИ ОТНОШЕНИЙ
- •2.2.12. СВОЙСТВА КОМПОЗИЦИИ ОТНОШЕНИЙ
- •2.2.13. (MAX-*)-КОМПОЗИЦИЯ
- •2.2.14. ОБЫЧНОЕ ПОДМНОЖЕСТВО НЕЧЁТКОГО ОТНОШЕНИЯ Α-УРОВНЯ
- •2.2.15. ТЕОРЕМА О ДЕКОМПОЗИЦИИ НЕЧЁТКОГО ОТНОШЕНИЯ
- •2.3. УСЛОВНЫЕ НЕЧЁТКИЕ МНОЖЕСТВА
- •2.4. НЕЧЁТКИЕ МНОЖЕСТВА, ПОСЛЕДОВАТЕЛЬНО ОБУСЛОВЛИВАЮЩИЕ ДРУГ ДРУГА
- •2.5. НЕЧЁТКИЕ БИНАРНЫЕ ОТНОШЕНИЯ ВИДА X R X
- •ЗАКЛЮЧЕНИЕ
- •СПИСОК ЛИТЕРАТУРЫ
Таким образом, оценка нечёткости нечёткого множества A = {(x1; 0,4), (x2; 0,8), (x3; 0), (x4; 1)} через энтропию равна 0,75. В то же время ранее вычисленные линейный и квадратичный индексы нечёткости этого множества равны 0,3 и 0,45 соответственно.
1.4.3. ОСОБЕННОСТЬ ОЦЕНКИ НЕЧЁТКОСТИ ЧЕРЕЗ ЭНТРОПИЮ
Заметим, что данный способ оценки размытости нечётких множеств через энтропию зависит не непосредственно от значений функций принадлежности, а от их относительных значений.
Так, например, нечёткие множества A = {(x1; 0,1), (x2; 0,1), (x3; 0,1), (x4; 0,1)}, B = {(x1; 0,8), (x2; 0,8), (x3; 0,8), (x4; 0,8)}, и обычное множество
C = {(x1; 1), (x2; 1), (x3; 1), (x4; 1)} имеют одну и ту же энтропию, равную 1:
π |
A |
(x ) = π |
A |
(x |
2 |
) = π |
A |
(x ) = π |
A |
(x |
4 |
) = |
|
|
|
0,1 |
|
|
= |
0,1 |
|
= 1 = 0,25; |
|||||||||
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
1 |
|
|
|
3 |
|
|
|
|
0,1 |
+0,1 |
+0,1+0,1 |
|
|
0,4 |
|
4 |
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
π |
B |
(x ) = π |
B |
(x |
2 |
) = π |
B |
(x ) = π |
B |
(x |
4 |
) = |
|
|
|
|
0,8 |
|
|
|
= 0,8 |
= 1 = 0,25; |
|||||||||
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
1 |
|
|
|
3 |
|
|
|
|
0,8 |
+0,8 +0,8 +0,8 |
|
3,2 |
4 |
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
π |
C |
(x ) = π |
C |
(x |
2 |
) = π |
C |
(x ) = π |
C |
(x |
4 |
) = |
|
|
|
1 |
|
= 1 |
= 0,25; |
|
|
||||||||||
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
1 |
|
|
|
|
3 |
|
|
|
|
1 |
+1+1 |
+1 |
4 |
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
H(πA(x1), πA(x2 ), πA(x3), πA(x4 )) = H (πB (x1), πB (x2 ), πB (x3), πB (x4 )) =
=H (πC (x1), πC (x2 ), πC (x3), πC (x4 )) =
=− 12 (0,25log2 0,25 +0,25log2 0,25 +0,25log2 0,25 +0,25log2 0,25) =
=− 12 (0,25 (−2) +0,25 (−2) +0,25 (−2) +0,25 (−2)) =
=− 12 (−0,5 +(−0,5) +(−0,5) +(−0,5)) = − 12 (−2) = 1.
Однако линейные и квадратичные индексы нечёткости этих же множеств A, B и C , например, использующие понятие обычного множества, ближайшего к нечёткому, существенно разнятся (табл. 1.34 – 1.39):
fl (A) = n2 d (A, A) = 24 0,4 = 12 0,4 = 0,2 , fl (B) = n2 d (B, B) = 24 0,8 = 12 0,8 = 0,4,
30
|
fl (C) = 2 d (C,C) = 2 0 = 0 , |
|||||||
|
|
|
n |
|
4 |
|
|
|
fq (A) = |
|
2 |
e (A, A) = |
2 |
0,2 = |
2 |
0,2 = 0,2 , |
|
n |
4 |
|||||||
|
|
|
|
2 |
|
|||
fq (B) = |
|
2 |
e (B, B) = |
2 |
0,4 = |
2 |
0,4 = 0,4 , |
|
n |
4 |
|||||||
|
|
|
|
2 |
|
|||
|
fq |
(C) = |
2 |
e (C,C) = |
2 |
0 = 0 . |
|
|
|
|
|
|
|
|
||||||||||
|
4 |
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Таблица 1.34 |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x X |
|
μA(x) |
|
|
|
|
|
|
|
μA(x) |
|
|
μA(x) −μA(x) |
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x1 |
|
0,1 |
|
|
|
|
|
|
|
|
0 |
|
0,1 |
|
|
|
|
|
|
|||||
x2 |
|
0,1 |
|
|
|
|
|
|
|
|
0 |
|
0,1 |
|
|
|
|
|
|
|||||
x3 |
|
0,1 |
|
|
|
|
|
|
|
|
0 |
|
0,1 |
|
|
|
|
|
|
|||||
x4 |
|
0,1 |
|
|
|
|
|
|
|
|
0 |
|
0,1 |
|
|
|
|
|
|
|||||
4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
d (A, A) = ∑ |
|
|
|
μA(xi ) −μA(xi ) |
|
|
|
|
|
|
|
0,4 |
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
i=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Таблица 1.35 |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
x X |
|
μB (x) |
|
|
|
|
|
|
|
μB (x) |
|
|
μB (x) −μB (x) |
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
x1 |
|
0,8 |
|
|
|
|
|
|
|
|
1 |
|
0,2 |
|
|
|
|
|
|
|||||
x2 |
|
0,8 |
|
|
|
|
|
|
|
|
1 |
|
0,2 |
|
|
|
|
|
|
|||||
x3 |
|
0,8 |
|
|
|
|
|
|
|
|
1 |
|
0,2 |
|
|
|
|
|
|
|||||
x4 |
|
0,8 |
|
|
|
|
|
|
|
|
1 |
|
0,2 |
|
|
|
|
|
|
|||||
4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
d (B, B) = ∑ |
|
|
|
μB (xi ) −μB (xi ) |
|
|
|
|
|
|
|
0,8 |
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
i=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Таблица 1.36 |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
x X |
|
μC (x) |
|
|
|
|
|
|
|
μC (x) |
|
|
μC (x) −μC (x) |
|
|
|||||||||
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
x1 |
|
1 |
|
|
|
|
|
|
|
|
1 |
|
0 |
|
|
|
|
|
|
|||||
x2 |
|
1 |
|
|
|
|
|
|
|
|
1 |
|
0 |
|
|
|
|
|
|
|||||
x3 |
|
1 |
|
|
|
|
|
|
|
|
1 |
|
0 |
|
|
|
|
|
|
|||||
x4 |
|
1 |
|
|
|
|
|
|
|
|
1 |
|
0 |
|
|
|
|
|
|
|||||
4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
d (C,C) = ∑ |
|
μC (xi ) −μC (xi ) |
|
|
|
|
|
0 |
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
i=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
31
|
|
|
|
|
|
Таблица 1.37 |
|
|
|
|
|
|
|
|
|
x X |
|
μA(x) |
|
μA(x) |
(μA(x) −μA(x))2 |
|
|
x1 |
|
0,1 |
|
|
0 |
0,01 |
|
x2 |
|
0,1 |
|
|
0 |
0,01 |
|
x3 |
|
0,1 |
|
|
0 |
0,01 |
|
x4 |
|
0,1 |
|
|
0 |
0,01 |
|
|
|
4 |
|
|
|
|
|
e (A, A) = |
∑ (μA(xi ) −μA(xi ))2 |
|
0,2 |
|
|||
|
|
i=1 |
|
|
|
||
|
|
|
|
|
|
Таблица 1.38 |
|
|
|
|
|
|
|
|
|
x X |
|
μB (x) |
|
μB (x) |
(μB (x) −μB (x))2 |
||
x1 |
|
0,8 |
|
|
1 |
0,04 |
|
x2 |
|
0,8 |
|
|
1 |
0,04 |
|
x3 |
|
0,8 |
|
|
1 |
0,04 |
|
x4 |
|
0,8 |
|
|
1 |
0,04 |
|
|
|
4 |
|
|
|
|
|
e (B, B) = |
∑ (μB (xi ) −μB (xi ))2 |
|
0,4 |
|
|||
|
|
i=1 |
|
|
|
||
|
|
|
|
|
|
Таблица 1.39 |
|
|
|
|
|
|
|
|
|
x X |
|
μC (x) |
|
μC (x) |
(μC (x) −μC (x))2 |
||
x1 |
|
1 |
|
|
1 |
0 |
|
x2 |
|
1 |
|
|
1 |
0 |
|
x3 |
|
1 |
|
|
1 |
0 |
|
|
|
|
|
|
|
|
|
x4 |
|
1 |
|
|
1 |
0 |
|
|
|
|
|
|
|
|
|
|
|
4 |
|
|
|
|
|
e (C,C) = ∑ (μC (xi ) −μC (xi ))2 |
|
0 |
|
||||
|
|
i=1 |
|
|
|
||
Для удобства сравнительного анализа полученных различных оценок не-
чёткости множеств A = {(x1; 0,1), (x2; 0,1), (x3; 0,1), (x4; 0,1)}, B = {(x1; 0,8), (x2; 0,8), (x3; 0,8), (x4; 0,8)} и C = {(x1; 1), (x2; 1), (x3; 1), (x4; 1)} сведём их в табл. 1.40.
Из данной таблицы видно, что использование энтропии является далеко не лучшим способом оценки нечёткости множеств.
32
|
|
|
Таблица 1.40 |
|
Множество |
A |
B |
C |
|
Оценка нечёткости |
||||
|
|
|
||
Линейный индекс нечёткости |
0,2 |
0,4 |
0 |
|
Квадратичный индекс нечёткости |
0,2 |
0,4 |
0 |
|
Оценка нечёткости через энтропию |
1 |
1 |
1 |
|
1.5. ПРИНЦИП ОБОБЩЕНИЯ |
|
|
||
Принцип обобщения является одной из основных идей теории нечётких множеств. Этот принцип носит эвристический характер и используется для расширения области применения нечётких множеств на отображения.
1.5.1. КЛАССИЧЕСКОЕ ОПРЕДЕЛЕНИЕ ОТОБРАЖЕНИЯ
Вспомним классическое определение отображения, которое в теории нечётких множеств называют чётким отображением.
Пусть X и Y являются двумя заданными универсальными множествами. Подмножество F декартова произведения X × Y называется функцией,
если для каждого элемента х X найдётся не более одного элемента у Y вида (х, у) F; при этом, если для каждого элемента х найдётся точно один элемент у вида (х, у) F, то функция называется всюду (полностью) определённой, в противном случае – частично определённой (недоопределённой). Множество X является областью определения функции F, а множество Y – областью значений функции F. Часто вместо записи (х, у) F используют запись у = F (х), и
элемент х называют аргументом или переменной, а у – значением функции F.
Функция y = F (x) называется сюръективной, если для каждого элемента у Y найдётся элемент х X вида (х, у) F.
Полностью определённая функция y = F (x) называется также отображением (из) X в Y, а в случае, если она сюръективна, – отображением (из) X на Y.
Имея дело с отображениями, вместо y = F (x) часто пишут y = xF, а об элементах области значений Y и области определения X функции говорят как об образах и прообразах соответственно. Так, элемент у Y называют образом элемента x при отображении F, а подмножество {x / x X}, для каждого из элементов которого существуют элементы (х, у) F, – прообразом элемента у.
Если X = {x1, x2, x3, x4} и Y = {у1, у2, у3}, то декартово произведение
X × Y = {(x1, у1), (x1, у2), (x1, у3), (x2, у1), (x2, у2), (x2, у3), (x3, у1), (x3, у2), (x3, у3),
33
(x4, у1), (x4, у2), (x4, у3)} и, например, подмножество F1 = {(x1, у1), (x2, у2), (x3, у2), (x4, у2)} этого произведения является отображением (из) X в Y. Образы элемен-
тов x X при отображении F1, и прообразы элементов у Y представлены в табл. 1.41, 1.42 соответственно.
Подмножество F2 = {(x1, у2), (x2, у1), (x3, у2), (x4, у3)} этого же произведе-
ния X × Y = {(x1, у1), (x1, у2), (x1, у3), (x2, у1), (x2, у2), (x2, у3), (x3, у1), (x3, у2), (x3, у3), (x4, у1), (x4, у2), (x4, у3)} является отображением (из) X на Y. Образы элементов
x X при отображении F2, и прообразы элементов у Y представлены аналогичными табл. 1.43, 1.44.
|
Таблица 1.41 |
|
|
|
|
Элемент х |
Образ элемента х |
|
x1 |
у1 |
|
x2 |
у2 |
|
x3 |
у2 |
|
x4 |
у2 |
|
|
Таблица 1.42 |
|
|
|
|
Элемент y |
Прообраз элемента y |
|
у1 |
{x1} |
|
у2 |
{x2, x3, x4} |
|
у3 |
|
|
|
Таблица 1.43 |
|
|
|
|
Элемент х |
Образ элемента х |
|
x1 |
у2 |
|
x2 |
у1 |
|
x3 |
у2 |
|
x4 |
у3 |
|
|
Таблица 1.44 |
|
|
|
|
Элемент y |
Прообраз элемента y |
|
у1 |
{x2} |
|
у2 |
{x1, x3} |
|
у3 |
{x4} |
|
34
