Академический Документы
Профессиональный Документы
Культура Документы
Издательство ВСГТУ
Улан-Удэ 2004
УДК 519.5 510.22
ББК 22.12
Ха199
Рецензенты:
Д.Ш. Ширапов, д.ф-м.н., профессор, заведующий кафедрой «Электронно-
вычислительные системы» ВСГТУ
Б.М. Степанов, к.т.н., доцент, заведующий кафедрой «Информационные технологии)
БГУ
2
Оглавление
Введение .............................................................................................................................................4
1. Нечеткие множества ......................................................................................................................6
1.1. Основные характеристики нечетких множеств ...................................................................6
1.2. Методы построения функции принадлежности.................................................................10
1.3. Операции над нечеткими множествами .............................................................................13
1.3.1. Логические операции над нечеткими множествами ..................................................13
1.3.2. Алгебраические операции над нечеткими множествами...........................................17
Контрольные вопросы .................................................................................................................21
Упражнения ..................................................................................................................................22
2. Нечеткие отношения и операции над ними...............................................................................24
2.1. Нечеткие отношения.............................................................................................................25
2.2. Операции над нечеткими отношениями.............................................................................28
2.3. Свойства нечетких отношений ............................................................................................33
2.4. Транзитивное замыкание нечеткого бинарного отношения.............................................37
2.5. Специальные типы нечетких отношений ...........................................................................39
2.5.1. Нечеткие отношения предпорядка ...............................................................................39
2.5.2. Нечеткие отношения порядка .......................................................................................40
2.5.3. Отношение подобия.......................................................................................................41
2.5.4. Отношения различия. ....................................................................................................43
2.5.5. Отношения сходства и несходства...............................................................................44
Контрольные вопросы .................................................................................................................46
Упражнения ..................................................................................................................................47
3. Нечеткая и лингвистическая переменные .................................................................................50
3.1. Понятие нечеткой и лингвистической переменных ..........................................................50
3.1.1. Характеристики простых отношений между нечеткими переменными ..................52
3.2. Нечеткие числа......................................................................................................................54
3.2.1. Операции над нечеткими числами ...............................................................................54
3.2.2. Сравнение нечетких чисел ............................................................................................56
3.3. Лингвистические неопределенности...................................................................................59
3.3.1. Вычисление значений лингвистических переменных................................................61
Контрольные вопросы .................................................................................................................64
Упражнения ..................................................................................................................................65
Заключение .......................................................................................................................................66
Список рекомендуемой литературы ..............................................................................................67
3
Введение
4
алгоритмах управления. Нечеткие методы помогают управлять домной и
прокатным станом, автомобилем и поездом, распознавать речь и изображения,
проектировать роботов, обладающих осязанием и зрением. Нечеткая логика, на
которой основано нечеткое управление, ближе по духу к человеческому
мышлению и естественным языкам, чем традиционные логические системы.
Нечеткая логика, в основном, обеспечивает эффективные средства отображения
неопределенностей и неточностей реального мира. Наличие математических
средств отражения нечеткости исходной информации позволяет построить
модель, адекватную реальности.
Учебное пособие состоит из двух частей и содержит теоретические
основы нечеткой логики. Первая часть пособия посвящена математической
теории нечетких множеств и состоит из трех разделов.
В первом разделе рассмотрены основные определения и понятия теории
нечетких множеств: характеристики нечетких множеств, методы построения
функций принадлежности элемента нечеткому множеству, операции над
нечеткими множествами, свойства операций.
Второй раздел содержит основные определения и понятия нечетких
отношений и операций над ними, свойств нечетких отношений. Рассмотрены
специальные типы бинарных нечетких отношений: нечеткое отношение
предпорядка, нечеткое отношение порядка, нечеткое отношение подобия,
нечеткое отношение сходства, нечеткое отношение различия.
В третьем разделе вводятся понятия нечеткой и лингвистической
переменных, в качестве значений которых выступают нечеткие множества, а
также рассматриваются понятия нечетких чисел и лингвистических
неопределенностей.
Каждый раздел сопровождается контрольными вопросами и
упражнениями для самостоятельного выполнения.
5
1. Нечеткие множества
6
Опр. 1.4. Высотой h(A) нечеткого множества А называется величина
h( A) = sup µ A (u ) (1.4)
u∈U
7
3. Пусть U = [0, 100] и переменная u, принимающая значения из этого
интервала, интерпретируется как «Возраст». Тогда нечеткое множество
«Молодой», можно определить функцией принадлежности вида
1, при 1 ≤ u ≤ 25
µ Молодой (u ) = 1 (1.6)
1 + ((u − 25) / 5)2 , при 25 < u ≤ 100
8
1,2
Феррари
1 Мерседес
0,8
0,6
Ж игули
0,4
0,2 Запорожец
0
Стоимость
Рис.1.2. Пример задания нечеткого множества
Пример
Если универсальное множество U = {a, b, c, d}, определенные на нем
нечеткие подмножества А и В равны соответственно A = (0.5/a, 0.8/b, 0.3/d),
B = (0.7/a, 1/b, 0.3/c, 1/d), то A ⊂ B.
Опр.1.7. Множеством α-уровня нечеткого множества А является
обычное множество Аα всех таких элементов универсального множества U,
степень принадлежности которых нечеткому множеству А больше или равна α:
Аα = {u | ∀ u ∈ U , µА(u) ≥ α}. (1.8)
9
Множество α-уровня называют иногда сечением α нечеткого множества
А. Причем, если µА(u) ≥ α, то говорят о сильном сечении, если µА(u) > α, то о
слабом сечении.
Нечеткое множество А можно разложить по его множествам уровня
следующим образом:
A = ∑ αAα
α (1.9)
где αАα - произведение числа α на множество Аα . Знак Σ - знак
объединения множеств Аα по α.
Пример
Если нечеткое множество А = {0.3/a, 0.4/d, 0.7/c, 0.8/f, 0.6/b}, то
множеством α-уровня при α=0.7 будет множество А0.7 = {c, f}. Множество А,
разложенное по его множествам α-уровня, имеет вид:
А = 0.3 {a, d, c, f , b} ∪ 0.4{d, c, f, b} ∪ 0.6{c, f, b} ∪ 0.7{c, f} ∪ 0.8{f}
11
3. В методе парных соотношений пусть имеется n экспертов и
необходимо найти степени принадлежности k точек. Каждый i-ый эксперт
должен определить парные соотношения (по своему усмотрению) типа:
1, µ l > µ j
mlj =
0, µ l ≤ µ j
l , j = 1, k ; (1.11)
Экспертная оценка для i-го эксперта находится по формуле (1.12):
k
∑mj =1
lj
α il = k k
∑ ∑m lj
l =1 j =1
(1.12)
Окончательно, функция принадлежности для l-го параметра имеет вид
(1.13).
1 n
µl = ∑ α il , l = 1, k
n i =1
(1.13)
1 1
По аналогии α 12 = , α 13 = .
3 3
12
Заметим, что в числителе стоит сумма единиц в строке l, а в знаменателе
– сумма всех единиц матрицы парных соотношений.
0 1 2
Оценки 2-го эксперта равны соответственно: α 21 = = 0,α 22 = ,α 23 = .
3 3 3
13
Опр.1.11. Пересечением нечетких множеств А и В в U называют
наибольшее нечеткое подмножество А Ι В, содержащееся одновременно в А и
В, с функцией принадлежности вида:
µ A∩ B (u ) = min ( µ A (u), µ B (u)), u ∈ U (1.14)
Пересечение соответствует союзу И. Таким образом, если X и Y –
символы нечетких множеств, то
def
XИY = X Ι Y (1.14а)
µ A (u ) − µ B (u ), µ A (u ) ≥ µ B (u )
µ A− B (u ) =
0, µ A (u ) < µ B (u ) (1.16)
или А − В = А ∩ B с функцией принадлежности
µ A− B (u ) = µ A∩ B (u ) = min(µ A (u ), 1 − µ A (u ))
(1.17)
Опр.1.14. Дизъюнктивная сумма А ⊕ В определяется выражением вида
А ⊕ В = (A Ι B ) Υ ( A Ι В) с функцией принадлежности вида:
µ A⊕ B (u ) = max[min (µ A (u ), 1 − µ B (u ) ), min(1 − µ A (u ), µ D (u ))] (1.18)
15
Свойства операций Ι и Υ.
Пусть А, В, С – нечеткие множества, являющиеся подмножествами
универсального множества U, такого что ∀ u ∈ U, µU (u ) = 1 .
Тогда справедливыми являются следующие свойства:
Коммутативность:
А Ι В=В Ι А (1.19)
А ΥВ=В Υ А (1.19а)
Ассоциативность:
(А Ι В) Ι С = А Ι (В Ι С) (1.20)
(А Υ В) Υ С = А Υ (В Υ С) (1.20а)
Идемпотентность:
А Ι А=А (1.21)
А Υ А=А (1.21а)
Дистрибутивность:
А Ι (В Υ С) =(А Ι В) Υ (А Ι С) (1.22)
А Υ (В Ι С) =(А Υ В) Ι (В Υ С) (1.23)
А Ι Ø=Ø (1.24)
А Ι U=A (1.25)
А ΥU = U (1.26)
А Υ Ø = A, где Ø – пустое множество, т.е. µØ(u)=0 ∀u ∈ U (1.27)
Инволюция:
A =А (1.28)
Теоремы де Моргана
AΙ B = A Υ B (1.29)
AΥ B = A Ι B (1.29а)
В отличие от четких множеств, для нечетких множеств в общем случае:
А Ι A ≠Ø (1.30)
А Υ A ≠U (1.31)
16
Введенные выше операции над нечеткими множествами основаны на
использовании операций max min, поэтому доказательство свойств достаточно
просто. Докажем, например, свойство ассоциативности (1.20а) и первую
теорему де Моргана (1.29).
Доказательство (1.20а):
max (max (µA(u), µB(u)), (µC(u)) = max (µA(u), max (µB(u), µC(u)).
Выбор max из 3-х: max ((max (µA(u), µB(u)), µC(u)) = max (µA(u), (max
(µB(u), µC(u))) = max (µA(u), µB(u), µC(u)).
Доказательство (1.29):
1 – min (µA(u), µB(u)) = max (1 - µA(u)), (1 - µB(u)) = 1 – min (µA(u), µB(u)).
17
A ⋅B = A +B (1.38)
A + B = A ⋅B (1.38а)
Не выполняются свойства:
Идемпотентность:
А⋅А = А (1.39)
А+А = А (1.39а)
Дистрибутивность:
А⋅ (В +С) =(А⋅В) +(А⋅С) (1.40)
А+(В ⋅С) =(А+В) ⋅ (В+С) (1.40а)
А⋅ A = Ø (1.41)
А+ A ≠ U (1.42)
При совместном использовании операций { Υ , Ι , ⋅, +} выполняются
свойства (1.43):
А⋅ (В Υ С) = (А⋅В) Υ (А⋅С) (1.43)
А⋅ (В Ι С) = (А⋅В) Ι (А⋅С) (1.43а)
А+(В Υ С) = (А+В) Υ (В+С) (1.43б)
А+(В Ι С) = (А+В) Ι (В+С) (1.43в)
На основе операции алгебраического произведения определяется
операция возведения в степень α нечеткого множества А, где α -
положительное число.
Опр.1.17. Степенью нечеткого множества A называется нечеткое
множество Aα с функцией принадлежности.
µ Αα (u ) = µ αA (u ) , u∈U, α>0. (1.44)
19
Опр.1.21. Оператор увеличения нечеткости используется для
преобразования четких множеств в нечеткие и для увеличения нечеткости
нечеткого множества. Пусть А – нечеткое множество, U – универсальное
множество и для всех u∈U определены нечеткие множества K(u). Совокупность
всех K(u) называется ядром оператора увеличения нечеткости Ф. Результатом
действия оператора Ф на нечеткое множество А является нечеткое множество
вида
Ф( А, К ) = Υ µ A (u ) K (u ) (1.51)
u∈U
Пример
Пусть U={1, 2, 3, 4}; A = 0.8/1 + 0.6/2 + 0/3 + 0/4;
K(1) = 1/1 + 0.4/2; K(2) = 1/2 + 0.4/1 + 0.4/3; K(3) = 1/3 + 0.5/4; K(4) = 1/4.
Тогда Ф(А,К) = µА(1) К(1) ∪ µА(2) К(2) ∪ µА(3) К(3) ∪ µА(4) К(4) = 0.8
(1/1 + 0.4/2) ∪ 0.6 (1/2 + 0.4/1 + 0.4/3) = 0.8/1 + 0.6/2 + 0.24/3
20
Контрольные вопросы
1. Дайте определение нечеткого множества.
2. Какое множество называется субнормальным? Как субнормальное
множество можно привести к нормальному виду?
3. Приведите определение высоты, носителя и точек перехода нечеткого
множества.
4. Какие методы построения функции принадлежности Вы знаете?
5. Опишите физический смысл функции принадлежности.
6. Определите логические операции над нечеткими множествами.
7. Перечислите свойства логических операций. В чем заключается
отличие свойств логических операций над нечеткими множествами и
логических операций над обычными множествами?
8. Определите алгебраические операции над нечеткими множествами.
9. Перечислите свойства алгебраических операций.
10. Дайте определение оператора увеличения нечеткости нечеткого
множества.
21
Упражнения
1. Дано нечеткое множество A = (0.4/яблоко; 0.3/груша; 0.7/слива;
0.2/ранет; 0.5/вишня; 0.8/черешня; 1/манго).
Определите:
− носитель нечеткого множества A;
− высоту нечеткого множества A;
− точки перехода A;
− α-уровневое подмножество А0,3;
− разложение нечеткого множества A.
2. На универсальном множестве U = {a, b, c, d, e, f, g} даны нечеткие
множества
A = (0.3/a; 0.4/b; 0.55/c; 0.7/d; 0.9/e; 1/f; 0.5/g)
В = (0.3/a; 0.4/b; 0.3/c; 0/d; 0,9/e; 0.8/f; 0.5/g)
С= (1/a; 0.5/b; 0.5/c; 0.2/d; 0/e; 0.2/f; 0.9/g) .
Определите:
1) A ∩ B, B ∪ C, (A ∩ B) ∪ C, B ∪ С , A − B ∩ C , A - B, B ⊕ C
2) C × B, A × C × B, (А⋅В) ⋅С, (А+В) ⋅ С, DIL B, INT B, CON C,
2) Пусть K(a) = 1/a + 0.4/b; K(b) = 1/b + 0.4/c + 0.4/d; K(c) = 1/c + 0.5/e;
K(d) = 1/d, K(e) = 1/e + 0.4/d; K(f) = 1/a + 0.4/c + 0.4/f; K(g) =1/d + 0.4/e
+ 0.4/g. Вычислите Ф(А,К).
3. Докажите все свойства логических операций над нечеткими
множествами.
4. Упростите выражение (A ∩ ((B ∩ C ) ∪ (A ∩ C ))) ∪ C .
5. Пусть универсальное множество U представляет собой множество
дисциплин, преподаваемых на специальности 220400 «Программное
обеспечение вычислительной техники и автоматизированных систем».
Переменная u, принимающая значения на этом множестве, интерпретируется
как дисциплина.
22
U = {программирование, дискретная математика, история,
операционные системы, базы данных}
Определить значения функции принадлежности нечеткого множества А,
обозначающего понятие « пригодится в работе»:
1) методом парных соотношений,
2) частотным методом.
23
2. Нечеткие отношения и операции над ними
2) в графовой
24
Опр. Если между x и y существует отношение R, то обратным к нему
называется такое отношение R-1, что xR-1y существует тогда и только тогда,
когда yRx. Если при этом A = aij , A −1 = aij - матрицы этих отношений, то
25
µR
U 1 × U 2 → [0,1] . Причем µR(x,y) принимается как субъективная мера выполнения
отношения xRy.
Или другой способ записи:
R= U µ R ( x, y ) /( x, y ) (2.1)
( x , y )∈U1 *U 2
Примеры.
1. Пусть заданы:
а) четкое отношение R1 (≥, x ≥ y), где x ∈ [0,1];
б) нечеткое отношение R2 (>>, x >> y)
Если rij = α, то это означает, что степень выполнения отношения xiRxj равна α.
2. Пусть X = Y = (-∞; ∞). Отношение x>>y можно задать функцией
принадлежности
0, , если x ≤ y
µR = 1
, если y < x
1 + (1 /( x − y ) 2 )
3. Пусть U1={x1, x2, x3}, U 2 ={y1, y2, y3, y4}, M=[0,1]. Нечеткое отношение
R может быть задано, к примеру, в виде таблицы:
R y1 y2 y3 y4
x1 0 0 0.1 0.3
x2 0 0.8 1 0.7
x3 1 0.5 0.6 1
2
4. Нечеткое отношение R , для которого µ R ( x, y ) = e − k ( x − y ) , при достаточно
больших k можно интерпретировать так: «x и y близкие друг к другу числа»
Опр.2.2. Носителем нечеткого отношения R на множестве U называется
подмножество декартова произведения U1×U2, определяемое так:
supp R = {( x, y ) : µ R ( x, y ) > 0, x ∈ U 1 , y ∈ U 2 } (2.3)
Примеры
1. Пусть нечеткое отношение R задано в виде:
27
R y1 y2 y3 y4
x1 0.1 0 0.2 0
x2 0.3 0 0 0.9
x2 0.4 0.7 1 1
e − ( y − x ) , y − x ≤ 0,46
2
µ R ( x, y ) =
0, y − x > 0,46
Тогда имеем
S ( R) = {( x, y ) | 0 ≤ y − x ≤ 0,46}
~
Примеры
1. Ниже в виде таблиц определены отношения R1 и R2 ,а также
объединение и пересечение этих отношений.
R1 y1 y2 y3 y4 R2 y1 y2 y3 y4
x1 0.3 0.4 0.2 0 x1 0.3 0 0.7 0
x2 0.8 1 0 0.2 x2 0.1 0.8 1 1
x3 0.5 0 0.4 0 x3 0.6 0.9 0.3 0.2
28
R1 ∪R2 y1 y2 y3 y4 R1 ∩R2 y1 y2 y3 y4
x1 0.3 0.2 1 0 x1 0.3 0 0.7 0
x2 0.8 1 1 1 x2 0.1 0.8 0 0.2
x3 0.6 0.9 0.4 0.2 x3 0.5 0 0.3 0
δ= y-x δ= y-x α
δ= y-x
Рис. 2.2а Рис. 2.2б Рис. 2.2.в
0, | y − x |< 0
µ R3 ( x, y ) = µ R1 ( x, y ), 0 ≤| y − x |≤ α
~
~
µ R~2 ( x, y ) α ≤| y − x |
29
Опр.2.4. Нечеткое отношение B включает в себя (или содержит)
нечеткое отношение A (A ⊂ B), если для них выполняется соотношение
µ A ( x, y ) ≤ µ B ( x, y ), ∀x, y ∈ X (2.6)
Примеры
1. Легко проверить, что R1 содержит R2.
R1 y1 y2 y3 y4 R2 y1 y2 y3 y4
x1 0.3 0.4 0.2 0 x1 0.4 0.4 0.2 0.1
x2 0.5 0 1 0.9 x2 0.5 0 1 1
x3 0.4 0 0.1 0.8 x3 0.5 0.1 0.2 0.9
1 − e ,y−x≥0
1
~
1 − e ,y−x≥0
2
~
содержит R1 .
Опр.2.5. Если R - нечеткое отношение с функцией принадлежности
µ R ( x, y ) , то отношение R , характеризующееся функцией принадлежности
равенством .
30
Опр.2.7. Обычное отношение, ближайшее к нечеткому. Пусть R –
нечеткое отношение с функцией принадлежности µ R ( x, y ) . Обычное отношение,
ближайшее к нечеткому, обозначается R и определяется выражением
0, если µ R ( x, y ) < 0.5
µ R ( x, y ) = 1, если µ R ( x, y ) > 0.5
0 или 1, если µ ( x, y ) = 0.5
R
Примеры
1. Для отношения, приведенного ниже, обычное подмножество α-уровня
G0,8 = {(x1, y2 ),(x1, y3 ),(x2 , y2 ),(x2 , y4 ),(x3 , y1 )}
R1 y1 y2 y3 y4
x1 0.3 0.8 - 0
x2 0.5 1 0.3 0.9
x3 1 0.2 0.6 0.7
31
Опр.2.9. Первая проекция нечеткого отношения R определяется
функцией принадлежности µ R(1) ( x) = max µ R ( x, y ) . Аналогично вторая проекция -
y
µ R( 2 ) ( y ) = max µ R ( x, y ) .
x
Пример
Вычислим первую, вторую и глобальную проекции отношения R,
заданного матрицей.
R y1 y2 y3 y4 1-я
x1 0.1 0.2 1 0.3 1
x2 0.6 0.8 0 0.1 0.8
x3 0 1 0.3 0.6 1
x4 0.8 0.1 1 0 1
x5 0.9 0.7 0 0.5 0.9
x6 0.9 0 0.3 0.7 0.9
32
µ AοB ( x, z ) = min max{µ A ( x, y ), µ B ( y, z )} (2.8)
y∈U
Пример
Пусть заданы два нечетких отношения A и B на U, состоящем из двух
элементов U={u1, u2}, где матрицы нечетких отношений таковы:
0.2 0.6 0.5 0.7
µ A ( x, y ) = , µ B ( y, z ) =
0.5 0.8 0.3 1
б) минимаксная R22 = A ο B
0.5 0.7
µ A⋅B ( x, z ) =
0.5 0.7
в) максимультиплекативная R32 = A * B
0.18 0.6
µ A⋅B ( x, z ) =
0.25 0.8
33
2. Пусть отношение R задано на множестве U = {A,B,C,D} матрицей. По
виду матрицы понятно, что отношение R рефлексивно – на главной диагонали
стоят 1.
R A B C D
A 1 0 0.2 0.3
B 0 1 0.1 1
C 0.2 0.7 1 0.4
D 0 1 0.4 1
Примеры
1. Пусть отношение R задано на множестве U = {A,B,C,D,E}. Матрица
симметричного отношения симметрична.
R A B C D E
A 0 0.1 0 0.1 0.9
34
Опр.2.19. Пусть x, y, z ∈ U, нечеткое отношение R транзитивно, если
∀ ( x, y ), ( y, z ), ( x, z ) ∈ U × U : µ R ( x, z ) ≥ max[min(µ R ( x, y ), µ R ( y, z ))] (2.10)
y
35
2. Следующие нечеткие отношения транзитивны: «Y много больше X»,
«А чище, чем В».
Отношения «X - дальний родственник Y», «X похож на Y» нетранзитивны.
Здесь все зависит от характера функции принадлежности, оценивающей
сходство. Так, например, может случиться так, что «X похож на Y» и «Y похож
на Z», но X не обязательно похож на Z.
3. Рассмотрим отношение хRу, где х, у ∈ N, задаваемое функцией
принадлежности
2
µ R ( x, y ) = e − k ( x − y )
при значениях k > 1 и достаточно больших для того, чтобы эта функция
принадлежности выражала отношение «x и у очень близки друг к другу».
Покажем, что данное нечеткое отношение нетранзитивно.
Если сравнить матрицу данного отношения с матрицей, в которой
приведены результаты вычисления правой части условия транзитивности
(2.10), то можно убедиться, что условие транзитивности выполняется не для
всех пар.
R 0 1 2 3 4 5 6 7 Λ
~
0 1 e − k e − 4k e −9k e −16k e −25k e −36k e −49k Λ
1 e −k 1 e −k e − 4k e −9k e −16k e −25k e −36k Λ
2 e − 4k e − k 1 e −k e −k 4 e −9k e −16k e −25k Λ
−9k − 4k
3 e e e −k 1 e −k e −4k e −9k e −16k Λ
4 e −16k e −9k e −4k e −k 1 e −k e −4k e −9k Λ
5 e −25k e −16k e −9k e − 4k e −k 1 e − k e − 4k Λ
6 e −36k e −25k e −16k e −9k e −4k e −k 1 e −k Λ
7 e −49k e −36k e −25k e −16k e −9k e − 4k e −k 1 Λ
Μ Μ Μ Μ Μ Μ Μ Μ Μ Ο
36
Rο R 0 1 2 3 4 5 6 7 Λ
~ ~
−k −k −4k − 4k −9k −9 k −16 k
0 1 e e e e e e e Λ
−k −k −k − 4k −4k −9 k −9k
1 e 1 e e e e e e Λ
−k −k −k −k −4k − 4k −9k
2 e e 1 e e e e e Λ
−4k −k −k −k −k − 4k − 4k
3 e e e 1 e e e e Λ
−4k − 4k −k −k −k −k − 4k
4 e e e e 1 e e e Λ
−9k − 4k − 4k −k −k −k −k
5 e e e e e 1 e e Λ
−9k −9k − 4k −4k −k −k −k
6 e e e e e e 1 e Λ
−16 k −9k −9k −4k − 4k −k −k
7 e e e e e e e 1 Λ
Μ Μ Μ Μ Μ Μ Μ Μ Μ Ο
R 0 1 2 3 4 5 6 7 Λ R οR 0 1 2 3 4 5 6 7 Λ
~ ~
0 1 1 1 1 1 1 1 1 Λ 0 1 1 1 1 1 1 1 1 Λ
−1 −1
1 0 e e e −1 e −1 e −1 e −1 e −1 Λ 1 0 e−1 e−1 e−1 e−1 e−1 e−1 e−1 Λ
2 0 0 e −2 e −2 e −2 e −2 e −2 e −2 Λ 2 0 0 e−2 e−2 e−2 e−2 e−2 e−2 Λ
3 0 0 0 e −3 e −3 e −3 e −3 e −3 Λ 3 0 0 0 e−3 e−3 e−3 e−3 e−3 Λ
4 0 0 0 0 e −4 e −4 e −4 e −4 Λ 4 0 0 0 0 e−4 e−4 e−4 e−4 Λ
5 0 0 0 0 0 e −5 e −5 e −5 Λ 5 0 0 0 0 0 e−5 e−5 e−5 Λ
6 0 0 0 0 0 0 e −6 e −6 Λ 6 0 0 0 0 0 0 e−6 e−6 Λ
7 0 0 0 0 0 0 0 e −7 Λ 7 0 0 0 0 0 0 0 e−7 Λ
Μ Μ Μ Μ Μ Μ Μ Μ Μ Ο Μ Μ Μ Μ Μ Μ Μ Μ Μ Ο
37
R 2 = Rο R (2.11)
~ ~
с функцией принадлежности
где x, y, z ∈ U .
Свойство (2.10), определяющее транзитивность, можно также
представить следующим образом:
R οR ⊂ R (2.13)
Из этого видно, что свойство транзитивности нечеткого отношения
зависит от способа определения композиции нечетких отношений.
Предположим, что
R2 ⊂ R , (2.14)
и R k +1 ⊂ R k , k=1,2,3,… (2.15)
Тогда очевидно, что
R k ⊂ R , k = 1,2,3,… (2.16)
Опр.2.20. Транзитивным замыканием нечеткого бинарного отношения
будем называть отношение
R€ = R ∪ R 2 ∪ R 3 ∪ ... (2.17)
Теорема 1. Транзитивное замыкание любого бинарного отношения есть
транзитивное бинарное отношение.
Доказательство. Согласно (2.17) можно записать
R€2 = R€ ο R€ = R 2 ∪ R 3 ∪ R 4 ∪ ... (2.18)
тогда сравнивая (2.17) и (2.18.9), можно записать
R€2 ⊂ R€ (2.19)
что и доказывает транзитивность R.
Подводя итоги, получаем следующие свойства:
(R ⊃ R ) ⇔ (R = R€) ⇔ R транзитивно
2
(2.20)
(R = R ) ⇒ (R = R€) ⇔ R транзитивно
2
(2.21)
Замечание. Теорема 1 позволяет строить транзитивное отношение для
любого отношения.
38
Теорема 2. Пусть R - некоторое нечеткое бинарное отношение.
Если для некоторых k имеем
R k +1 = R k (2.22)
то
R€ = R ∪ R 2 ∪ ... ∪ R k (2.23)
Заметим, что обратное утверждение неверно.
Доказательство почти тривиально.
то
R2 = R
поскольку
R2 = R οR
то согласно (2.7) имеем
µ R ( x, z ) = max min{µ A ( x, y ), µ B ( y, z )}
2 (2.24)
y∈U
39
R - транзитивное отношение, т.е.
µ R ( x, z ) ≥ max[min{µ R ( x, y ), µ R ( y, z )}]
y
40
1. Ниже представлены нечеткие отношения порядка R1 и R2. Можно
проверить, что они действительно рефлексивны, транзитивны и
антисимметричны.
R1 A B C D R2 A B C D
A 1 0.8 0 0 A 1 0.8 0.8 0.8
B 0.2 1 0 0 B 0.5 1 0.6 1
C 0.3 0.4 1 0.1 C 0.5 1 1 1
D 0 0 0 1 D 0.5 0.6 0.6 1
41
R A B C D E
A 1 0.8 0.7 1 0.9
B 0.8 1 0.3 0.8 0.8
C 0.7 0.7 1 0.7 0.7
D 1 0.8 0.7 1 0.9
E 0.9 0.8 0.7 0.9 1
42
c = µ R ( x, z ) = µ R ( z , x )
a = µ R ( x, y ) = µ R ( y , x ) (2.27)
b = µ R ( y, z ) = µ R ( z , y )
Тогда
c ≥ a= b, или a ≥ b= c или b ≥ c = a.
Другими словами, из этих трех величин a, b, c по крайней мере две
величины равны друг другу, а третья больше всех остальных.
2) ∀( x, x) ∈ U × U : µ R ( x, x) = 1 - рефлексивность,
3) ∀( x, y ) ∈ U × U : µ R ( x, y ) = µ R ( y, x) - симметрия.
Теперь с R свяжем отношение R , такое, что
∀( x, y ) ∈ U × U : µ R ( x, y ) = 1 − µ R ( x, y ) (2.28)
или
µ R ( x, z ) ≤ min[max{µ R ( x, y ), µ R ( y, z )]
y
43
µ R ( x, z ) ≤ min[max{µ R ( x, y ), µ R ( y, z )] - (min - max)-котранзитивность, (2.31)
y
µ R ( x, x ) = 1 − µ R ( x, x ) = 1 − 1 = 0 - антирефлексивность, (2.32)
∀( x, y ) ∈ U × U : µ R ( x, y ) = µ R ( y, x) - симметрия. (2.33)
Пример
1. На рисунке представлено отношение различия (кроме того, отношение
R совпадает с отношением подобия R примера 1 из 2.5.3.).
R A B C D E
A 0 0.2 0.3 0 0.1
B 0.2 0 0.3 0.2 0.2
C 0.3 0.3 0 0.3 0.3
D 0 0.2 0.3 0 0.1
E 0.1 0.2 0.3 0.1 0
45
Контрольные вопросы
1. Дайте определение нечеткого отношения.
2. Определите свойства нечетких отношений.
3. Дайте понятие транзитивного замыкания нечеткого отношения.
4. Дайте определение обычного отношения, ближайшего к нечеткому?
5. Дайте определения композиции отношения.
6. Какое нечеткое отношение называется обратным?
7. Что такое первая, вторая и глобальная проекции нечеткого
отношения?
8. Какие специальные типы нечетких отношений Вы знаете?
9. Приведите пример отношения подобия.
10. Выведите свойства для отношения различия.
11. Какими свойствами обладает отношение «A красивее, чем B»?
46
Упражнения
1. Пусть даны нечеткие отношения.
R y1 y2 y3 y4 R a b c d
x1 0 0.5 0 0.5 a 0.3 1 0.2 0.1
x2 1 0 0.5 0.5 b 0.9 0.2 0 0.5
x3 1 0 0 1 c 0.8 0.1 0.8 0.9
x4 0 0 0 0 d 0.9 0.5 1 0.9
e 0.5 0 0.7 0.7
Для каждого из данных отношений найдите:
1) носитель нечеткого отношения;
2) обычное отношение, ближайшее к нечеткому;
3) обратное отношение;
4) обычное подмножество α-уровня нечеткого отношения при α=0.5;
5) первую, вторую и глобальную проекции нечеткого отношения.
1
б) хRу, где х, у ∈ R, и µ R ( x, y ) = ,k >1
1+ k x − y
47
3. Пусть даны следующие нечеткие отношения
R1 y1 y2 y3 y4 R2 y1 y2 y3 y4 R3 y1 y2 y3 y4
x1 0 0.1 0 0.4 x1 0.1 0 0.2 0.5 x1 0.5 0 0.2 0
x2 0.5 1 0 0.7 x2 0 1 0.1 1 x2 0 1 0.1 0.2
x3 0.8 0.9 0.9 1 x3 0.9 0.4 0.7 0 x3 0.9 0.4 0 1
Подсчитайте
1) R1 ∩ R2 2) R1 ∪ R3 3) R1 ∩ R2 ∩ R3 4) R1 ∩ ( R2 ∩ R3 )
R1 y1 y2 y3 y4 y5 R2 z1 z2 z3 z4
x1 0 0.2 0 0.2 1 y1 0.5 0.8 0 0.7
x2 1 0.5 0.4 1 0.4 y2 0.7 0 0.5 0.8
x3 0.7 0 0.5 0 0.9 y3 1 1 1 0
y4 0.5 0.2 0 0.4
y5 0.9 0.7 0.8 0.7
R3 t1 t2 t3 t4 t5
z1 0.8 0 0.2 0.8 1
z2 0.9 0.2 0 0.1 0
z3 1 0.5 0.7 0 0.4
z4 0.4 1 0 0.4 0.9
1) R1 ο R2 2) R2 ο R1 3) R3 ο R2 ο R1
48
6. Убедитесь, что отношение, приведенное в примере 4 п. 2.5.3 является
отношением подобия.
7. Является ли отношение, заданное матрицей R, отношением сходства?
Ответ обоснуйте.
R1 y1 y2 y3 y4 y5
x1 1 0.1 0.5 0.7 1
x2 0.1 1 0 1 0.1
x3 0.5 0 1 0.3 0.5
49
3. Нечеткая и лингвистическая переменные
50
Примеры лингвистических переменных
1. Пусть эксперт определяет толщину выпускаемого изделия с помощью
понятий «Малая толщина», «Средняя толщина» и «Большая толщина», при
этом минимальная толщина равна 10 мм, а максимальная – 80 мм.
Формализация такого описания может быть проведена с помощью
следующей ЛП <β, T, U, G, M>, где
β – толщина изделия;
Т – {«Малая толщина», «Средняя толщина», «Большая толщина»};
U = [10,80];
G – синтаксическая процедура образования новых термов с помощью
связок «и», «или», и модификаторов (лингвистических неопределенностей) типа
«очень», «не», «слегка» и т.п. Например, «Малая или средняя толщина», «Очень
малая толщина», «Не очень большая толщина» и т.д.
М – семантическая процедура задания на U = [10,80] нечетких множеств
А1=«Малая толщина», А2=«Средняя толщина», А3=«Большая толщина», а
также нечетких множеств для термов из G(T) в соответствии с правилами
трансляции нечетких связок, лингвистических неопределенностей и других
операций над нечеткими множествами.
2. Пусть β – посадочная скорость самолета (скорость). Тогда
Скорость := (скорость, <малая, небольшая, средняя, высокая>, [0..300],
G, M), где
G – процедура перебора элементов базового терм-множества.
M – процедура экспертного опроса.
3. Рассмотрим еще один пример лингвистической переменной.
β – дисциплина;
Т – {«Сложная дисциплина», «Интересная дисциплина», «Пригодится в
будущей работе»};
U = [«Программирование», «Базы данных», «Нечеткая логика», «САОД»]
– множество дисциплин, изучаемых студентами специальности 220400;
G – процедура перебора элементов базового терм-множества;
51
M – процедура экспертного опроса.
4. Для лингвистической переменной <β, T, U, G, M> представленной на
рис. 3.1:
T = {T1,T2,T3}
u0 < u1 < u2 < u3 < u4 < u5;
U = [u0, u5], пару (u0, u5) будем называть граничной парой.
З а м е ч а н и е . В дальнейшем без особой необходимости, не будем
различать переменную и ее наименование.
β
T1 T2 T3
u0 u1 u u2 u3 u u4 u5 u
52
Применим такой же способ описания и для нечетких переменных. В
частности, если Х и Y - лингвистические переменные, то высказывания,
описывающие зависимость Y от Х, могли бы выглядеть так: «если Х мало, то Y
велико»; «если Х не очень мало, то Y очень велико»; «если Х не мало и не
велико, то Y не очень велико» и т.п.
Нечеткие высказывания типа «из А следует В», где А и В имеют
неопределенное значение, например: «Если Александр любезен с тобой, то ты
должен быть добр к нему», обычны в повседневной речи. В дальнейшем будет
показано, что высказывание “из А следует В” математически определяется, если
А и В заданы как некоторые нечеткие переменные.
Приведенные отношения между нечеткими переменными Х и Y являются
простыми в том смысле, что их можно записать как множество высказываний
вида “из А следует В”. Для описания более сложной зависимости Y от Х могут
потребоваться нечеткие алгоритмы.
Если обратить внимание на структуру лингвистической переменной, то
можно отметить, что в общем случае значение лингвистической переменной
есть составной термин, представляющий сочетание некоторых элементарных
терминов. Эти элементарные термины можно разбить на четыре основные
категории:
− первичные термины, которые являются символами специальных
нечетких подмножеств, например, молодой, старый и т.д.
− отрицание НЕ и союзы И, ИЛИ.
− неопределенности типа: очень, слабо, более или менее и т.д.
− маркеры, чаще всего это вводные слова.
Отрицание НЕ, союзы И, ИЛИ, неопределенности типа очень, весьма,
больше, меньше и другие термины, которые входят в определение значений
лингвистической переменной, могут рассматриваться как символы различных
операций, определенных на нечетких подмножествах U.
53
3.2. Нечеткие числа
Опр.3.4. Нечеткие числа – нечеткие переменные, определенные на
числовой оси, т.е. нечеткое число определяется как нечеткое множество А на
множестве R c функцией принадлежности µА(u) ∈ [0, 1], u ∈ R.
Нечеткие числа соответствуют значениям числовой лингвистической
переменной.
Нечеткое число А нормально, если max µ A (u ) = 1 . (3.1)
u
54
sup min ( µ A (u), µ B (u))
где Θ[ µ A (u), µ B (u)] = d(a,b)=u
a∈S ,b∈S
A B
. (3.7)
55
Пример
Пусть А и В – нечеткие числа.
≈2: А={0.5/1.8, 1/2, 0.5/2.2}
≈3: B={0.6/2.8, 1/3, 0.4/3.3}
D = A + B = sup {0.5/4.7, 05/4.8, 0.4/5.1, 0.6/4.9, 1/5, 0.4/5.3, 0.5/5.1, 0.5/5.2,
0.4/5.5}= {0.5/4.7, 05/4.8, 0.6/4.9, 1/5, 0.4/5.3, 0.5/5.1, 0.5/5.2, 0.4/5.5}
µ(u)
b2 a2 a1 b1 u
56
Существуют процедуры по вычислению некоторой четкой функции H(A,
B) от нечетких аргументов, которые называются индексом ранжирования.
Значение индекса для конкретной пары чисел дает основание решить вопрос о
том, какое из двух нечетких чисел больше (или с какой степенью больше).
Приведем пример индекса ранжирования:
1
H(A,B) = H+(A) – H+(B), H+(A) = ∫ M ( A0 )dA , (3.11)
0
Пример.
Два истребителя противоборствующих воздушных армий
руководствуются стратегиями:
А: Если снарядов мало, то вероятность поражения противника малая,
иначе не малая.
В: Если снарядов не мало, то вероятность поражения противника
большая, иначе не большая. Известно, что
мало снарядов = A=(0.8/3, 0.4/15, 0.3/30),
малая вероятность = B=(0.1/0.9, 0.5/0.5, 0.8/0.1),
большая вероятность = C = (0.8/0.9, 0.5/0.5, 0.3/0.2).
Количество снарядов не очень мало. Кто победит?
Определим все необходимые для решения задачи нечеткие множества:
не мало снарядов = A = (0.2/3, 0.6/15, 0.3/30).
не малая вероятность = B = (0.9/0.9, 0.5/0.5, 0.2/0.1).
не большая вероятность = C = (0.2/0.9, 0.5/0.5, 0.7/0.2).
x = не очень мало = (мало) 2
(мало)2 = (0.64/3, 0.16/15, 0.09/30)
57
(мало) 2 = (0.36/3, 0.84/15, 0.91/30).
0 .2 0 .5 0 .8
R1 = А × В Υ A × B = 0.6 0.5 0.4
0.3 0.3 0.3
0 .2 0 .5 0 .8
y1 = x○R1 = 0.36 0.84 0.91 ○ 0.6 0.5 0.4 = (0.6/0.9, 0.5/0.5, 0.4/0.1).
0.3 0.3 0.3
0.16 0 .4 0.56
R2 = A × C Υ A × C = 0.48 0 .3 0.28
0.24 0.15 0.21
0.16 0 .4 0.56
y2 = x○R2 = 0.36 0.84 0.91 ○ 0.48 0.3 0.28 = (0.48/0.9, 0.36/0.5, 0.36/0.2).
0.24 0.15 0.21
58
3.3. Лингвистические неопределенности
Как уже отмечалось, значения лингвистической переменной являются
символами нечетких подмножеств, которые представляют собой фразы или
предложения формального или естественного языка.
Например, если U есть набор целых чисел U = (0, 1, 2, . . . , 100) и возраст
есть лингвистическая переменная, тогда значения лингвистической переменной
могут определяться словосочетаниями: молодой, не молодой, очень молодой, не
очень молодой, старый и т.д.
Основная проблема, которая возникает при использовании
лингвистической переменной, заключается в следующем: пусть дано значение
любого элементарного термина xi, i = 1..n, в составном термине u = x1…xn,
который представляет собой значение лингвистической переменной. Требуется
вычислить значение u в смысле нечеткого множества.
Рассмотрим более простую задачу – вычисление значения составного
термина вида u = hx, где h – неопределенность, а x – термин с фиксированным
значением. Например, u = очень высокий человек, где h = очень, а х = высокий
человек.
Будем рассматривать h как оператор, который переводит нечеткое
множество M(x), представляющее значение x, в нечеткое М(hx). Теперь
неопределенность выполняет функцию генерации большого множества
значений для лингвистической переменной из небольшого набора первичных
элементов. Например, используя неопределенность очень в сочетании с
отрицанием НЕ и первичным термином высокий, мы можем генерировать
нечеткие множества очень высокий, не очень высокий и т.п.
Для неопределенности h удобно использовать некоторые основные
операции, определенные ранее, особенно операции степень, CON, DIL, INT.
Покажем, как это можно сделать для естественной неопределенности очень и
искусственных неопределенностей плюс и минус. Аналогичным образом можно
определить неопределенности больше, меньше, много, слабо, вроде, вполне и
другие.
59
В обычном использовании неопределенность очень не имеет четко
определенного значения. Она действует как усилитель, генерируя
подмножества того множества, к которому она применяется. Аналогичным
образом действует операция концентрирования. Поэтому очень u, где u –
некоторый термин, может быть определенно как квадрат u, т.е.
очень u = u 2 = Υ µ u2 (u ) / u . (3.12)
u
1.25 Υ µU1.25 (u )
плюс u = u = U /u, (3.13)
0.75 Υ µU0.75 (u )
минус u = u = U /u. (3.14)
Вследствие (3.13) и (3.14) мы имеем приближенные тождества, которыми
часто пользуются на практике
60
плюс u ≅ минус очень u (3.15)
минус очень очень u = плюс плюс очень u (3.16)
Проиллюстрируем это на примере.
Пример
Если неопределенность в высшей степени определена как минус очень
очень, тогда можно записать:
в высшей степени u = плюс плюс очень u.
Пример 1
Пусть u = маленький возраст = (1/1, 0.8/2, 0.6/3, 0.4/4, 0.2/5)
Лингвистические переменные очень маленький возраст и очень очень
маленький возраст определены выше. Определим лингвистическую
переменную не очень очень маленький возраст. Обозначим ее и тогда:
u = (очень маленький ) 2 = (0/1, 0.36/2, 0.64/3, 0.84/4, 0.96/5) ≈ (0.4/2, 0.6/3,
0.8/4, 1/5).
очень маленький = (1/1, 0.64/2, 0.36/3, 0.16/4, 0.04/5).
(очень маленький)2 = (1/1, 0.41/2, 0.13/3, 0,03/4, 0.001/5).
(очень маленький ) 2 = (0/1, 0.59/2, 0.87/3, 0.97/4, 0.999/5), здесь инверсия = (1
- µ(x)/x).
Пример 2
Пусть
u1 = маленький возраст = (1/1, 0.8/2, 0.6/3, 0.4/4, 0.2/5).
u2 = большой возраст = (0.2/1, 0.4/2, 0.6/3, 0.8/4, 1/5).
Определим лингвистическую переменную.
u = не очень маленький и не очень очень большой возраст.
61
u = (u1 )2 Ι (u 2 )4 ≈ (0.4/2, 0.6/3, 0.8/4, 1/5) Ι (1/1, 1/2, 0.9/3, 0.6/4, 0.5/5) =
(0.4/2, 0.6/3, 0.6/4).
Рассмотрим вычисления:
очень маленький = (1/1, 0.64/2, 0.36/3, 0.16/4, 0.04/5),
не очень маленький = (0.36/2, 0.64/3, 0.84/4, 0.96/5),
очень большой возраст = (0.04/1, 0.16/2, 0.36/3, 0.64/4, 1/5),
очень очень большой возраст = (0.001/1, 0.03/2, 0.13/3, 0.41/4, 1/5),
не очень очень большой возраст = (0.998/1, 0.97/2, 0.87/3, 0.59/4).
Таким образом,
u = (u1 )2 Ι (u 2 )4 = (0.36/2, 0.64/3, 0.84/4, 0.96/5) ∩ (0.998/1, 0.97/2, 0.87/3,
0.59/4) = (0.36/2, 0.64/3, 0.59/4)
В примере 2 при определении операции Ι был использован
минимаксный подход.
Пример 3
Пусть первичный термин сходство задан в виде:
Сходство x = (1/1, 0.9/1, 0.8/1, 0.7/0.8, 0.6/0.6, 0.5/0.5, 0.4/0.3, 0.3/0.2).
Здесь элементы исходного множества представляют вероятности
X = (1, 1, 1, 0.8, 0.6, 0.5, 0.3, 0.2).
Как уже отмечалось, в высшей степени = минус очень очень, а непохоже
определим, как не похоже. Тогда
очень очень непохоже = (не похоже)4 = (0.02/0.6, 0.06/0.5, 0.13/0.3,
0.24/0.2).
Окончательно имеем:
u = минус очень очень не похоже = (0.02/0.6, 0.0121/0.5, 0.13/0.3,
0.24/0.2)0.75 = (0.053/0.6, 0.0121/0.5, 0.21/0.3, 0.34/0.2).
Следует заметить, что при вычислении значения составного термина
используются обычные правила предшествования. С добавлением
неопределенностей эти правила предшествования можно выразить следующим
образом:
62
Предшествование Операция
первое h, не
второе и
третье или
Как обычно, для изменения порядка предшествования можно
использовать скобки и разрешать неопределенности путем объединения членов
справа.
Так, плюс очень минус очень высокий следует интерпретировать как плюс
(очень (минус (очень (высокий))))
63
Контрольные вопросы
1. Дайте определение нечеткой переменной.
2. Определите лингвистическую переменную.
3. В чем заключается отличие числовой лингвистической переменной
от нечисловой?
4. Определите нечеткие числа и операции над ними.
5. В чем заключается Принцип обобщения Заде?
6. Дайте понятие лингвистической неопределенности.
7. Как сравнить два нечетких числа?
64
Упражнения
1. Приведите пример нечеткой переменной.
2. Приведите пример числовой лингвистической переменной. Подробно
изложите суть синтаксической и семантической процедур.
3. Приведите пример нечисловой лингвистической переменной.
Подробно изложите суть синтаксической и семантической процедур.
4. Введите правила определения понятий «чрезмерно», «достаточно»
5. Дано нечеткое множество небольшой = {1/1, 2/1, 3/0.8, 4/0.5, 5/0.1}.
Найдите нечеткие множества очень небольшой, не очень большой,
достаточно небольшой.
6. Определите значение лингвистической переменной
u = не очень сладкий и достаточно кислый
если известно, что
сладкий = (яблоко/0.8, ананас/0.6, лимон/0.1, манго/0.4)
кислый = (яблоко/0.2, ананас/0.5, лимон/0.9, манго/0.4).
7. Используя принцип обобщения Заде для нечетких множеств
A = (0.2/3, 0.8/4, 0.4/5, 0.2/6)
В = (0.1/3, 0.95/4, 0.3/5)
вычислите значение:
а) D = А*3 + А/3
б) C = B/(A+B)*A-B
8. Сравните два нечетких числа:
А = (0.3/2, 0.6/5, 0.4/8) и В = (0.1/2, 0.7/5, 0.5/8).
65
Заключение
66
Список рекомендуемой литературы
67
Учебное издание
68