- •ВВЕДЕНИЕ
- •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(x), |
если μB (x) = 0; |
|
если μA(x) = 0; |
4) μA B (x) = μB (x), |
|
|
μA(x) > 0, μB (x) > 0. |
1, если |
Если p = 2, то объединением нечётких множеств A = {(x1; 0,9), (x2; 1), (x3; 0,5), (x4; 0)} и B = {(x1; 0,4), (x2; 0,6), (x3; 1), (x4; 0,3)} является нечёткое множество A B = {(x1; 1), (x2; 1), (x3; 1), (x4; 0,3)} (табл. 1.23).
|
|
|
|
|
|
Таблица 1.23 |
|
|
|
|
|
|
|
|
|
|
|
|
μA(x), |
если μB (x) = 0; |
x X |
μA(x) |
μB (x) |
|
|
|
если μA(x) = 0; |
μA B (x) = μB (x), |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
1, если μA(x) > 0, μB (x) > 0 |
|
x1 |
0,9 |
0,4 |
|
|
|
1 |
x2 |
1 |
0,6 |
|
|
|
1 |
x3 |
0,5 |
1 |
|
|
|
1 |
x4 |
0 |
0,3 |
|
|
|
0,3 |
|
|
|
1 |
|
|
|
5) μA B (x) = min (1, [μAp (x) + μBp (x)] |
p |
) для p ≥1. |
|
|||
В данном случае объединением нечётких множеств A = {(x1; 0,9), (x2; 1), (x3; 0,5), (x4; 0)} и B = {(x1; 0,4), (x2; 0,6), (x3; 1), (x4; 0,3)} является нечёткое множество A B = {(x1; 0,98), (x2; 1), (x3; 1), (x4; 0,3)} (табл. 1.24).
Таблица 1.24
x X |
μ |
A |
(x) |
μ |
B |
(x) |
μ2 (x) |
μ2 (x) |
2 |
2 |
1 |
μ |
A |
|
B |
(x) |
|
|
|
|
|
A |
B |
[μA(x) +μB (x)]2 |
|
|
|
||||||
x1 |
|
0,9 |
|
0,4 |
0,81 |
0,16 |
|
0,98 |
|
|
0,98 |
|||||
x2 |
|
1 |
|
0,6 |
1 |
0,36 |
|
1,17 |
|
|
|
1 |
|
|||
x3 |
|
0,5 |
|
1 |
0,25 |
1 |
|
1,12 |
|
|
|
1 |
|
|||
x4 |
|
0 |
|
0,3 |
0 |
0,09 |
|
0,3 |
|
|
|
0,3 |
||||
1.1.6. СВЯЗЬ С ТЕОРИЕЙ ВЕРОЯТНОСТЕЙ
Теория нечётких множеств в определённом смысле сводится к теории случайных множеств и тем самым, к теории вероятностей. Основная идея здесь состоит в том, что значение функции принадлежности μA(x) можно рассматривать как вероятность накрытия элемента x некоторым случайным множеством A.
16
Однако при практическом применении аппарат теории нечётких множеств обычно используется самостоятельно, выступая конкурентом аппарату теории вероятностей и прикладной статистики.
1.2. РАССТОЯНИЕ МЕЖДУ НЕЧЁТКИМИ МНОЖЕСТВАМИ
Пусть A и B – нечёткие множества, составленные из элементов x универсального множества X и соответствующих степеней принадлежности μA(x)
и μB (x) . Введём понятие расстояния между нечёткими множествами A и B,
которое обозначим через d (A, B) . Числовая функция d (A, B) , которую также называют метрикой, обладает следующей совокупностью свойств:
1)d (A, B) = 0 A = B – тождество;
2)A, B d (A, B) = d (B, A) – симметричность;
3)A, B,C d (A, B) ≤ d (A,C) + d (C, B) – неравенство треугольника.
Заметим, что из этих свойств следует свойство неотрицательности функции расстояния:
0 = d (A, A) ≤ d (A, B) + d (B, A) = 2d (A, B) , |
(1.19) |
||||||||
|
|
2d (A, B) ≥ 0 d (A, B) ≥ 0. |
(1.20) |
||||||
1.2.1. РАССТОЯНИЕ ХЕММИНГА |
|
||||||||
Расстояние Хемминга (линейное расстояние) определяется как |
|
||||||||
|
|
n |
|
||||||
d (A, B) = ∑ |
|
μA(xi ) −μB (xi ) |
|
, 0 ≤ d (A, B) ≤ n . |
(1.21) |
||||
|
|
||||||||
|
|
i=1 |
|
|
|
|
|
|
|
Относительное расстояние Хемминга определяется как |
|
||||||||
n |
|
|
|
|
|
|
|
|
|
δ(A, B) = 1 ∑ |
|
μA(xi ) −μB (xi ) |
|
= 1 d (A, B) , 0 ≤ δ(A, B) ≤1. |
(1.22) |
||||
|
|
||||||||
n i=1 |
|
|
|
|
|
n |
|
||
Например, расстояние Хемминга между нечёткими множествами |
|||||||||
A = {(x1; 0,3), (x2; 0), (x3; 0,5), (x4; 0,2)} и B = {(x1; 0,4), (x2; 0,6), (x3; 0), (x4; 1)} равно 2 ( 0 ≤ 2 ≤ 4 ) (табл. 1.25).
Относительное расстояние Хемминга между такими же нечёткими множествами A и B равно 0,5 ( 0 ≤ 0,5 ≤1):
δ(A, B) = 1 |
n |
|
= 1 |
4 |
|
|
|
= 1 d (A, B) = 1 |
|
|||
∑ |
|
μA(xi ) −μB (xi ) |
|
∑ |
|
μA(xi ) −μB (xi ) |
|
2 = 0,5. |
||||
|
|
|
|
|||||||||
n i=1 |
|
|
|
4 i=1 |
|
|
|
4 |
4 |
|
||
17
|
|
|
|
|
|
|
|
|
Таблица 1.25 |
||
|
|
|
|
|
|
|
|
|
|
|
|
x X |
μA(x) |
μB (x) |
|
|
μA(x) −μB (x) |
|
|
||||
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
x1 |
0,3 |
0,4 |
|
0,1 |
|
|
|||||
x2 |
0 |
0,6 |
|
0,6 |
|
|
|||||
x3 |
0,5 |
0 |
|
0,5 |
|
|
|||||
x4 |
0,2 |
1 |
|
0,8 |
|
|
|||||
|
4 |
|
|
|
|
|
|
|
|
|
|
d (A, B) = ∑ |
|
μA(xi ) −μB (xi ) |
|
|
|
2 |
|
|
|||
|
|
|
|
|
|||||||
|
i=1 |
|
|
|
|
|
|
|
|
|
|
1.2.2. ЕВКЛИДОВО РАССТОЯНИЕ
Евклидово (квадратичное) расстояние определяется как
n
e(A, B) = ∑ (μA(xi ) −μB (xi ))2 , 0 ≤ e(A, B) ≤
n . (1.23)
i=1
Относительное евклидово расстояние определяется как
|
1 |
n |
|
1 |
|
|
ε(A, B) = |
∑ (μA(xi ) −μB (xi ))2 = |
e (A, B) , 0 ≤ ε(A, B) ≤1. (1.24) |
||||
n |
n |
|||||
|
i=1 |
|
|
|||
Например, |
евклидово |
расстояние между нечёткими множествами |
||||
A = {(x1; 0,3), (x2; 0), (x3; 0,5), (x4; 0,2)} и B = {(x1; 0,4), (x2; 0,6), (x3; 0), (x4; 1)} равно 1,122 (0 ≤1,122 ≤ 4) (табл. 1.26).
|
|
|
|
Таблица 1.26 |
|
|
|
|
|
x X |
|
μA(x) |
μB (x) |
(μA(x) −μB (x))2 |
x1 |
|
0,3 |
0,4 |
0,01 |
x2 |
|
0 |
0,6 |
0,36 |
x3 |
|
0,5 |
0 |
0,25 |
x4 |
|
0,2 |
1 |
0,64 |
|
|
4 |
|
|
e(A, B) = |
∑ (μA(xi ) −μB (xi ))2 |
1,122 |
||
|
|
i=1 |
|
|
Относительное евклидово расстояние между такими же нечёткими множествами A и B равно 0,561 (0 ≤ 0,561 ≤1):
|
1 |
n |
1 |
4 |
|
ε(A, B) = |
∑ (μA(xi ) −μB (xi ))2 = |
∑ (μA(xi ) −μB (xi ))2 = |
|||
n |
4 |
||||
|
i=1 |
i=1 |
= 12 e (A, B) = 12 1,122 = 0,561.
18
1.2.3. РАССТОЯНИЯ МЕЖДУ БЕСКОНЕЧНЫМИ СЧЁТНЫМИ НЕЧЁТКИМИ МНОЖЕСТВАМИ
В случае бесконечных счётных нечётких множеств A Хемминга и евклидово расстояние определяются как пределы мости соответствующих сумм):
n |
|
|
|
|
1 |
n |
||
d (A, B) = lim ∑ |
|
μA(xi ) −μB (xi ) |
|
, δ(A, B) = lim |
∑ |
|
μA(xi ) |
|
|
|
|
||||||
n→∞i=1 |
|
|
|
n→∞ n i=1 |
|
|
||
и B расстояние (с учётом сходи-
−μB (xi ) , (1.25)
ε(A, B) = lim
n→∞
|
|
n |
|
|
|
|
|
e(A, B) = lim |
∑ (μA(xi ) −μB (xi ))2 , |
(1.26) |
|||
|
n→∞ |
i=1 |
|
|
|
|
1 |
n |
|
1 |
n |
|
|
∑ (μA(xi ) −μB (xi ))2 = lim |
∑(μA(xi ) −μB (xi ))2 . |
(1.27) |
||||
n |
||||||
n i=1 |
n→∞ |
i=1 |
|
|||
1.2.4. РАССТОЯНИЯ МЕЖДУ БЕСКОНЕЧНЫМИ НЕСЧЁТНЫМИ НЕЧЁТКИМИ МНОЖЕСТВАМИ
В случае бесконечных несчётных нечётких множеств A и B с ограниченным носителем [a, b] расстояние Хемминга и евклидово расстояние определяются следующим образом:
d (A, B) = b |
|
|
μA (x) −μB (x) |
|
|
dx , δ(A, B) = |
|
1 |
b |
|
μA (x) −μB (x) |
|
dx , |
(1.28) |
||||
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|||||||||||||
|
∫ |
|
|
|
|
|
|
|
|
b |
−a ∫ |
|
|
|
|
|
||
|
a |
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
e(A, B) = |
∫(μA(x) −μB (x))2 dx , |
(1.29) |
|||||||||||
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
ε(A, B) = |
1 |
|
|
b |
(μA (x) −μB (x))2 dx = |
1 |
|
|
b (μA(x) −μB (x))2 dx . |
(1.30) |
||||||||
b −a ∫ |
b −a |
|
||||||||||||||||
|
|
|
|
|
|
∫ |
|
|
|
|
|
|||||||
|
|
|
|
a |
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
В случае бесконечных несчётных нечётких множеств A и B, носители которых неограничены (для вариантов (– ∞; a], [a; + ∞), (– ∞; + ∞)), расстояние Хемминга и евклидово расстояние определяются аналогично с условием сходимости соответствующих несобственных интегралов:
a |
|
|
|
|
+∞ |
|
||||||||
d (A, B) = ∫ |
|
μA (x) −μB (x) |
|
dx , d (A, B) = ∫ |
|
|
μA (x) −μB (x) |
|
dx , |
(1.31) |
||||
|
|
|
|
|||||||||||
|
|
|
|
|||||||||||
−∞ |
|
|
|
|
a |
|
|
|
|
|
|
|||
+∞ |
|
|
|
|
|
a |
|
|||||||
d (A, B) = ∫ |
|
|
μA (x) −μB (x) |
|
|
|
dx , e(A, B) = |
∫(μA(x) −μB (x))2 dx , |
(1.32) |
|||||
|
|
|
||||||||||||
−∞ |
|
|
|
|
−∞ |
|
||||||||
19
