- •ВВЕДЕНИЕ
- •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
- •ЗАКЛЮЧЕНИЕ
- •СПИСОК ЛИТЕРАТУРЫ
+∞ |
+∞ |
e(A, B) = ∫(μA(x) −μB (x))2 dx , e(A, B) = |
∫(μA(x) −μB (x))2 dx . (1.33) |
a |
−∞ |
При задании несчётных нечётких множеств с неограниченными носителями относительные оценки δ(A, B) и ε(A, B) в качестве меры расстояния между нечёткими множествами не используются. Однако, если это необходимо, то относительную меру расстояния можно ввести, используя другое определение или другое понятие сходимости.
1.2.5. ВЫБОР МЕРЫ РАССТОЯНИЯ
Выбор того или иного расстояния – абсолютного или относительного, Хемминга или евклидова зависит от природы рассматриваемой проблемы. Каждое из этих расстояний обладает определенными преимуществами и недостатками, которые становятся очевидными при практическом решении той или иной технической задачи. В зависимости от специфики рассматриваемой проблемы для нечётких множеств можно ввести и другие понятия меры расстояния.
1.3. ИНДЕКСЫ НЕЧЁТКОСТИ
Если функция принадлежности μA(x) нечёткого множества A принимает значения из множества принадлежностей [0, 1], то можно считать, что объект x обладает некоторым свойством R, порождающим нечёткое множество A лишь
вчастной мере. Внутренняя неопределённость или двусмысленность объекта x
вотношении свойства R проявляется в том, что он, хотя и в разной степени, принадлежит сразу двум противоположным классам: классу A объектов, обла-
дающих свойством R, и классу A объектов, не обладающих свойством R. Заметим, что эта двусмысленность максимальна, когда степени принадлежности объекта x обоим классам равны, т.е. μA(x) = μA (x) = 0,5, и минимальна, когда
объект x принадлежит только одному классу, т.е. либо μA(x) = 1 и μA (x) = 0,
либо μA(x) = 0 и μA (x) = 1.
1.3.1. ПОНЯТИЕ ИНДЕКСА НЕЧЁТКОСТИ
Введём характеристику двусмысленности объекта x в отношении свойст-
ва R и назовём её индексом нечёткости (показателем размытости) нечёткого множества A. В общем случае показатель размытости нечёткого множества A можно определить в виде функционала f (A), удовлетворяющего следующим условиям:
20
1)f (A) = 0 тогда и только тогда, когда A – обычное чёткое множество,
т.е. μA(x) {0,1};
2)f (A) максимально тогда и только тогда, когда μA(x) = 0,5 для всех
xX ;
3)f (A) ≤ f (B), если нечёткое множество A является заострением нечёткого множества B, т.е. выполняется
μAμAμA
(x) ≤μB (x), |
если μB (x) < 0,5; |
(x) ≥μB (x), |
если μB (x) > 0,5; |
(x) =μB (x), |
если μB (x) = 0,5. |
4)f (A) = f ( A ) – симметричность по отношению к 0,5;
5)f (A B) + f (A ∩ B) = f (A) + f (B).
Заметим, что приведённая система аксиом при введении конкретных индексов нечёткости нередко используется частично, т.е., например, ограничиваются свойствами 1 – 3, либо некоторые свойства усиливаются или ослабляются в зависимости от решаемой задачи.
1.3.2. ОБЫЧНОЕ МНОЖЕСТВО, БЛИЖАЙШЕЕ К НЕЧЁТКОМУ
Обычное чёткое множество A называется ближайшим к нечёткому множеству A, если его характеристическая функция μA(x) определяется следующим образом:
0, |
если |
μA (x) < 0,5; |
|
|
если |
μA(x) > 0,5; |
(1.34) |
μA (x) = 1, |
|||
|
|
если μA (x) = 0,5. |
|
0 или1, |
|
||
Для определённости будем считать, что μA(x) = 0, если μA(x) = 0,5.
Например, ближайшим к нечёткому множеству A = {(x1; 0,5), (x2; 0,8), (x3; 0), (x4; 1)} является обычное чёткое множество A = {(x1; 0), (x2; 1), (x3; 0),
(x4; 1)} = {x2, x4}.
Обычное чёткое множество, ближайшее к пересечению нечётких множеств A и B, равно пересечению обычных множеств A и B , ближайших к этим
множествам A и B: |
|
A ∩ B = A ∩ B . |
(1.35) |
Так, с одной стороны, обычным чётким множеством, ближайшим к пере-
сечению нечётких множеств A = {(x1; 0,7), (x2; 0,3), (x3; 0,5), (x4; 0,8)} и B = {(x1; 0,6), (x2; 0,9), (x3; 0), (x4; 1)}, является множество A ∩ B = {(x1; 1), (x2; 0), (x3; 0), (x4; 1)} = {x1, x4} (табл. 1.27).
21
|
|
|
|
Таблица 1.27 |
|
|
|
|
|
x X |
μA(x) |
μB (x) |
μA∩B (x) = min(μA(x), μB (x)) |
μA∩B (x) |
x1 |
0,7 |
0,6 |
0,6 |
1 |
x2 |
0,3 |
0,9 |
0,3 |
0 |
x3 |
0,5 |
0 |
0 |
0 |
x4 |
0,8 |
1 |
0,8 |
1 |
С другой стороны, пересечением множеств, ближайших к нечётким мно-
жествам A = {(x1; 0,7), (x2; 0,3), (x3; 0,5), (x4; 0,8)} и B = {(x1; 0,6), (x2; 0,9), (x3; 0), (x4; 1)}, является множество A ∩ B = {(x1; 1), (x2; 0), (x3; 0), (x4; 1)} = {x1, x4} (табл. 1.28).
|
|
|
|
|
Таблица 1.28 |
|
|
|
|
|
|
x X |
μA(x) |
μB (x) |
μA(x) |
μB (x) |
μA∩B (x) = min(μA(x), μB (x)) |
x1 |
0,7 |
0,6 |
1 |
1 |
1 |
x2 |
0,3 |
0,9 |
0 |
1 |
0 |
x3 |
0,5 |
0 |
0 |
0 |
0 |
x4 |
0,8 |
1 |
1 |
1 |
1 |
Используя понятие обычного множества, ближайшего к нечёткому, введём следующие показатели размытости нечёткого множества A.
1.3.3. ЛИНЕЙНЫЙ ИНДЕКС НЕЧЁТКОСТИ |
|
Линейный индекс нечёткости нечёткого множества A: |
|
fl (A) = 2 d (A, A) , |
(1.36) |
n |
|
где d (A, A) – расстояние Хемминга (линейное расстояние) между нечётким
множеством A и ближайшим к нему чётким множеством A; |
2 |
– множитель, |
||
|
|
|
n |
|
обеспечивающий выполнение условия 0 ≤ fl (A) ≤1. |
|
|
||
Например, линейный индекс |
|
нечёткости нечёткого |
множества |
|
A = {(x1; 0,4), (x2; 0,8), (x3; 0), (x4; 1)} равен 0,3 (см. табл. 1.29): |
|
|
||
fl (A) = 2 d (A, A) = |
2 |
0,6 = 1 0,6 = 0,3 . |
|
|
n |
4 |
2 |
|
|
22
|
|
|
|
|
|
|
|
|
Таблица 1.29 |
||
|
|
|
|
|
|
|
|
|
|
|
|
x X |
|
μA(x) |
|
μA(x) |
|
|
μA(x) −μA(x) |
|
|
||
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
x1 |
|
0,4 |
|
0 |
|
0,4 |
|
|
|||
x2 |
|
0,8 |
|
1 |
|
0,2 |
|
|
|||
x3 |
|
0 |
|
0 |
|
0 |
|
|
|||
x4 |
|
1 |
|
1 |
|
0 |
|
|
|||
|
4 |
|
|
|
|
|
|
|
|
|
|
|
d (A, A) = ∑ |
|
μA(xi ) −μA(xi ) |
|
|
0,6 |
|
|
|||
|
|
|
|
|
|
||||||
|
|
i=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1.3.4. КВАДРАТИЧНЫЙ ИНДЕКС НЕЧЁТКОСТИ
Квадратичный индекс нечёткости нечёткого множества A:
|
|
|
|
fq (A) = |
2 |
|
e (A, A) , |
|
(1.37) |
||||
|
|
n |
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||
где e(A, A) |
– евклидово (квадратичное) расстояние между нечётким множест- |
||||||||||||
вом A и ближайшим к нему чётким множеством A; |
2 |
– множитель, обеспе- |
|||||||||||
n |
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||
чивающий выполнение условия 0 ≤ fq (A) ≤1. |
|
|
|
||||||||||
Например, квадратичный индекс |
нечёткости |
нечёткого множества |
|||||||||||
A = {(x1; 0,4), (x2; 0,8), (x3; 0), (x4; 1)} равен 0,45 (табл. 1.30): |
|||||||||||||
|
fq (A) = |
2 |
e (A, A) = |
|
2 |
|
0,45 = 2 0,45 = 0,45. |
||||||
|
|
|
4 |
||||||||||
|
|
|
n |
|
2 |
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
Таблица 1.30 |
|
|
|
|
|
|
|
|
|
|
|
|
|||
x X |
|
|
μA(x) |
|
|
|
μA(x) |
|
|
(μA(x) −μA(x))2 |
|||
|
|
|
|
|
|
|
|
|
|
|
|||
x1 |
|
0,4 |
|
|
|
|
0 |
|
|
0,16 |
|||
x2 |
|
0,8 |
|
|
|
|
1 |
|
|
0,04 |
|||
x3 |
|
0 |
|
|
|
|
0 |
|
|
0 |
|||
x4 |
|
1 |
|
|
|
|
1 |
|
|
0 |
|||
|
|
|
|
|
|
|
|
|
|
|
|
||
|
4 |
|
|
|
|
|
|
|
|
|
|||
|
e(A, A) = ∑ (μA(xi ) −μA(xi ))2 |
|
|
0,45 |
|||||||||
|
|
i=1 |
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
23
1.3.5. ЛИНЕЙНЫЙ И КВАДРАТИЧНЫЙ ИНДЕКСЫ НЕЧЁТКОСТИ, ИСПОЛЬЗУЮЩИЕ ОПЕРАЦИЮ ДОПОЛНЕНИЯ
НЕЧЁТКОГО МНОЖЕСТВА
Линейный и квадратичный показатели размытости нечёткого множества можно ввести и другим способом, например, используя не понятие обычного множества, ближайшего к нечёткому, а операцию дополнения нечёткого множества.
Линейный индекс нечёткости нечёткого множества A:
|
|
|
|
|
|
|
|
2 |
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
fl (A) = |
∑min (μA(xi ),μ |
|
(xi )) . |
|
|
(1.38) |
|||||||||||||||
|
|
|
|
A |
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
n i=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Например, |
|
линейный |
индекс |
нечёткости |
нечёткого |
множества |
|||||||||||||||||||
A = {(x1; 0,4), (x2; 0,8), (x3; 0), (x4; 1)} равен 0,3 (табл. 1.31): |
|
|
|
||||||||||||||||||||||
n |
|
|
|
|
|
|
|
|
|
|
|
|
4 |
|
|
|
|
|
|
|
|
|
|
|
|
fl (A) = 2 ∑min (μA(xi ),μ |
|
|
(xi )) = 2 |
∑min (μA(xi ),μ |
|
(xi )) = 1 0,6 = 0,3. |
|||||||||||||||||||
A |
A |
||||||||||||||||||||||||
n i=1 |
|
|
|
|
|
|
|
|
|
|
4 i=1 |
|
2 |
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Таблица 1.31 |
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
x X |
|
|
|
μA(x) |
|
|
|
|
|
μ |
|
(x) |
|
|
min (μA(x),μ |
|
(x)) |
||||||||
|
|
|
|
|
|
|
|
A |
|
A |
|||||||||||||||
x1 |
|
|
|
0,4 |
|
|
|
|
|
|
|
0,6 |
|
|
|
|
|
0,4 |
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
x2 |
|
|
|
0,8 |
|
|
|
|
|
|
|
0,2 |
|
|
|
|
|
0,2 |
|
|
|||||
x3 |
|
|
|
0 |
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
0 |
|
|
|||
x4 |
|
|
|
1 |
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
0 |
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∑min (μA(xi ),μ |
|
(xi )) |
|
|
|
0,6 |
|
|
||||||||||||||||
|
A |
|
|
|
|
|
|||||||||||||||||||
|
i=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
Квадратичный индекс нечёткости нечёткого множества A: |
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
2 |
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
fq (A) = |
|
|
∑min (μ2A(xi ),μ2A(xi )) . |
(1.39) |
|||||||||||||||||
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
n |
|
|
i=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Например, |
квадратичный |
|
индекс нечёткости |
нечёткого |
множества |
||||||||||||||||||||
A = {(x1; 0,4), (x2; 0,8), (x3; 0), (x4; 1)} равен 0,45 (табл. 1.32): |
|
|
|
||||||||||||||||||||||
|
2 |
|
|
4 |
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
2 0,45 = 0,45. |
||||||
fq (A) = |
|
|
∑min (μ2A(xi ),μ2A |
(xi )) = |
0,45 = |
||||||||||||||||||||
n |
|
||||||||||||||||||||||||
|
i=1 |
|
|
|
|
|
4 |
|
|
|
|
2 |
|
|
|
||||||||||
24
