enter_tnm (Нечеткие множества в системах управления), страница 2
Описание файла
Документ из архива "Нечеткие множества в системах управления", который расположен в категории "". Всё это находится в предмете "логика" из 4 семестр, которые можно найти в файловом архиве . Не смотря на прямую связь этого архива с , его также можно найти и в других разделах. Архив можно найти в разделе "рефераты, доклады и презентации", в предмете "логика" в общих файлах.
Онлайн просмотр документа "enter_tnm"
Текст 2 страницы из документа "enter_tnm"
Аналогично можно определить Нечеткое множество "скоростные", "средние", "тихоходные" и т.д.
О методах построения функций принадлежности нечетких множеств
В приведенных выше примерах использованы прямые методы, когда эксперт либо просто задает для каждого xE значение A(x), либо определяет функцию совместимости. Как правило, прямые методы задания функции принадлежности используются для измеримых понятий, таких как скорость, время, расстояние, давление, температура и т.д., или когда выделяются полярные значения.
Во многих задачах при характеристике объекта можно выделить набор признаков и для каждого из них определить полярные значения, соответствующие значениям функции принадлежности, 0 или 1.
Например в задаче распознавания лиц можно выделить следующие шкалы:
|
| 0 | 1 |
x1 | высота лба | низкий | широкий |
x2 | профиль носа | курносый | горбатый |
x3 | длина носа | короткий | длинный |
x4 | разрез глаз | узкие | широкие |
x5 | цвет глаз | светлые | темные |
x6 | форма подбородка | остроконечный | квадратный |
x7 | толщина губ | тонкие | толстые |
x8 | цвет лица | темный | светлый |
x9 | очертание лица | овальное | квадратное |
Для конкретного лица А эксперт, исходя из приведенной шкалы, задает A(x) [0,1], формируя векторную функцию принадлежности { A(x1), A(x2),... A(x9)}.
При прямых методах используются также групповые прямые методы, когда, например, группе экспертов предъявляют конкретное лицо и каждый должен дать один из двух ответов: "этот человек лысый" или "этот человек не лысый", тогда количество утвердительных ответов, деленное на общее число экспертов, дает значение "лысый" (данного лица). (В этом примере можно действовать через функцию совместимости, но тогда придется считать число волосинок на голове у каждого из предъявленных эксперту лиц).
Косвенные методы определения значений функции принадлежности используются в случаях, когда нет элементарных измеримых свойств, через которые определяется интересующее нас нечеткое множество. Как правило, это методы попарных сравнений. Если бы значения функций принадлежности были нам известны, например, A(xi) = wi, i=1,2,...,n, то попарные сравнения можно представить матрицей отношений A = {aij}, где aij=wi/wj (операция деления).
На практике эксперт сам формирует матрицу A, при этом предполагается, что диагональные элементы равны 1, а для элементов симметричных относительно диагонали aij = 1/aij, т.е. если один элемент оценивается в раз сильнее чем другой, то этот последний должен быть в 1/ раз сильнее, чем первый. В общем случае задача сводится к поиску вектора w, удовлетворяющего уравнению вида Аw = maxw, где max - наибольшее собственное значение матрицы A. Поскольку матрица А положительна по построению, решение данной задачи существует и является положительным.
Операции над нечеткими множествами
Включение.
Пусть A и B - нечеткие множества на универсальном множестве E.
Говорят, что A содержится в B, если x E A(x) B(x).
Обозначение: A B.
Иногда используют термин "доминирование", т.е. в случае когда A B, говорят, что B доминирует A.
Равенство.
A и B равны, если xE A(x) = B (x).
Обозначение: A = B.
Дополнение.
Пусть = [0,1], A и B - нечеткие множества, заданные на E. A и B дополняют друг друга, если
xE A(x) = 1 - B(x).
Обозначение: B = или A = .
Очевидно, что = A. (Дополнение определено для M = [0,1], но очевидно, что его можно определить для любого упорядоченного M).
Пересечение.
AB - наибольшее нечеткое подмножество, содержащееся одновременно в A и B.
AB(x) = min( A(x), B(x)).
Объединение.
А В - наименьшее нечеткое подмножество, включающее как А, так и В, с функцией принадлежности:
A B(x) = max(A(x), B(x)).
Разность.
А - B = А с функцией принадлежности:
A-B(x) = A (x) = min( A(x), 1 - B(x)).
Дизъюнктивная сумма.
АB = (А - B)(B - А) = (А ) ( B) с функцией принадлежности:
A-B(x) = max{[min{ A(x), 1 - B(x)}];[min{1 - A(x), B(x)}] }
Примеры.
Пусть:
A = 0,4/ x1 + 0,2/ x2+0/ x3+1/ x4;
B = 0,7/ x1+0,9/ x2+0,1/ x3+1/ x4;
C = 0,1/ x1+1/ x2+0,2/ x3+0,9/ x4.
Здесь:
AB, т.е. A содержится в B или B доминирует A, С несравнимо ни с A, ни с B, т.е. пары {A, С} и {A, С} - пары недоминируемых нечетких множеств.
A B C.
= 0,6/ x1 + 0,8/x2 + 1/x3 + 0/x4;
= 0,3/x1 + 0,1/x2 + 0,9/x3 + 0/x4.
AB = 0,4/x1 + 0,2/x2 + 0/x3 + 1/x4.
АВ = 0,7/x1 + 0,9/x2 + 0,1/x3 + 1/x4.
А - В = А = 0,3/x1 + 0,1/x2 + 0/x3 + 0/x4;
В - А = В = 0,6/x1 + 0,8/x2 + 0,1/x3 + 0/x4.
А В = 0,6/x1 + 0,8/x2 + 0,1/x3 + 0/x4.
Наглядное представление операций над нечеткими множествами
Для нечетких множеств можно строить визуальное представление. Рассмотрим прямоугольную систему координат, на оси ординат которой откладываются значения A(x), на оси абсцисс в произвольном порядке расположены элементы E (мы уже использовали такое представление в примерах нечетких множеств). Если E по своей природе упорядочено, то этот порядок желательно сохранить в расположении элементов на оси абсцисс. Такое представление делает наглядными простые операции над нечеткими множествами.
На верхней части рисунка заштрихованная часть соответствует нечеткому множеству A и, если говорить точно, изображает область значений А и всех нечетких множеств, содержащихся в A. На нижней - даны , A , A .
Свойства операций и .
Пусть А, В, С - нечеткие множества, тогда выполняются следующие свойства:
- коммутативность;
- ассоциативность;
- идемпотентность;
- дистрибутивность;
A = A, где - пустое множество, т.е. (x) = 0 >xE;
A = ;
AE = A, где E - универсальное множество;
AE = E;
- теоремы де Моргана.
В отличие от четких множеств, для нечетких множеств в общем случае:
A ,
A E.
(Что, в частности, проиллюстрировано выше в примере наглядного представления нечетких множеств).
Замечание. Введенные выше операции над нечеткими множествами основаны на использовании операций max и min. В теории нечетких множеств разрабатываются вопросы построения обобщенных, параметризованных операторов пересечения, объединения и дополнения, позволяющих учесть разнообразные смысловые оттенки соответствующих им связок "и", "или", "не".
Один из подходов к операторам пересечения и объединения заключается в их определении в классе треугольных норм и конорм.
Треугольной нормой (t-нормой) называется двуместная действительная функция T:[0,1][0,1][0,1], удовлетворяющая следующим условиям:
T(0,0)=0; T(A, 1) = A; T(1, A) = A - ограниченность;
T(A, B) T(C, D), если AC , BD - монотонность;
T(A , B) = T(B, A) - коммутативность;
T(A, T( B, C))= T( T(A, B), C) - ассоциативность;
Простым случаем треугольных норм являются:
min(A , B)
произведение AB
max(0, A + B -1).
Треугольной конормой (t-конормой) называется двуместная действительная функция :[0,1][0,1] [0,1], со свойствами:
T(1,1) = 1; T(A ,0) = A ; T(0, A) = A - ограниченность;
T(A, B ) T(C, D ), если A C , B D - монотонность;
T(A , B ) = T(B , A ) - коммутативность;
T(A, T(B , C )) = T(T(A , B ), C ) - ассоциативность.
Примеры t-конорм:
max(A, B)
A + B - A B
min(1, A + B).
Алгебраические операции над нечеткими множествами
Алгебраическое произведение A и B обозначается AB и определяется так:
xE AB (x) = A(x)B(x).