Под четким множеством или просто множеством, обычно понимают некоторую совокупность определенных и различимых между собой объектов нашей интуиции и интеллекта мыслимую как единое целое. В данном высказывании отметим следующий момент: множество A есть совокупность определенных объектов. Это означает, что относительно любого х можно однозначно сказать, принадлежит ли он множеству A или нет.

Условие принадлежности элемента х множеству A можно записать, используя понятие функции принадлежности m(х), a именно

Следовательно, множество можно задать в виде совокупности пар: элемента и значения его функции принадлежности

A = {(х|m(х)} (1)

Пример 1. Кафедра предлагает пять элективных курсов x 1 , x 2 , x 3 , x 4 и x 5 . В соответствии с программой необходимо сд три курса. Студент выбрал для изучения курсы x 2 , х 3 и x 5 . Запишем этот факт с помощью функции принадлежности

где первый элемент каждой пары означает название курса, а второй - описывает факт принадлежности его к подмножеству выбранному данным студентом ("да" или "нет").

Примеров четких множеств можно привести бесконечно много: список студентов учебной группы, множество домов на данной улице города, множество молекул в капле воды и т.д.

Между тем, огромный объем человеческих знаний и связей с внешним миром включают такие понятия, которые нельзя назвать множествами в смысле (1). Их следует скорее считать классами с нечеткими границами, когда переход от принадлежности одному классу к принадлежности другому происходит постепенно, не резко. Тем самым предполагается, что логика человеческого рассуждения основывается не на классической двузначной логике, а на логике с нечеткими значениями истинности, - нечеткими связками и нечеткими правилами вывода . Вот несколько тому примеров: объем статьи примерно 12 страниц, большая часть территории, подавляющее превосходство в игре, группа из нескольких человек.

Остановимся на последнем примере. Ясно, что группа людей из 3, 5, или 9 человек принадлежит к понятию: "группа людей, состоящее из нескольких человек". Однако для них будет неодинаковой степень уверенности в принадлежности к этому понятию, которая зависит от различных, в том числе и от субъективных, обстоятельств. Формализовать эти обстоятельства можно, если предположить, что функция принадлежности может принимать любые значения на отрезке . Причем крайние значения предписываются в том случае, если элемент безусловно не принадлежит или однозначно принадлежит данному понятию. В частности, множество людей A из нескольких человек может быть описано выражением вида:

A = {(1½0), 2½0.1), 3½0.4), (4½1), (5½1), (6½1), (7½0.8), (8½0.3), (9½0.1), (a½0)

Приведем определение нечеткого множества, данное основателем теории нечетких множеств Л.А.Заде. Пусть х есть элемент конкретного универсального (так называемого базового) множества E. Тогда нечетким (размытым) множеством A заданным на базовом множестве E называют множество упорядоченных пар

A = {xúm A ((x)}, "x Î E,

где m A (х) - функция принадлежности , отображающая множество E в единичный интервал , т.е. m A (х): E ® .

Очевидно, что если область значений m A (х) ограничить двумя числами 0 и 1, то данное определение будет совпадать с понятием обычного (четкого) множества.

Функция принадлежности нечеткого множества может задаваться не только перечислением всех ее значений для каждого элемента базового множества, но и в виде аналитического выражения. Например, множество вещественных чисел Z очень близких к числу 2, может быть задано так:

Z = {xúm Z (x)}, "x Î R,

где m Z (x) = .

Множество же вещественных чисел Y, достаточно близких к числу 2, есть

Y = {xúm Y (x)}, "x Î R,

M Y Z (x) = .

Графическое изображение этих двух функций принадлежности дано на рис.3.9.

Определение. Нечеткое множество A называется нечетким подмножеством B , если и A и B заданы на одном и том же базовом множестве E и "x Î E: m A (x) £ m B (x), что обозначают как A Ì B .

Условия равенства двух нечетких множеств A и B , заданных на одном и том же базовом множестве E, имеет следующий вид

A = B или "х Î E: m A (x) = m B (x).

Замечание . Между разными по своей сути понятиями "нечеткости" и "вероятности" чувствуется некоторое сходство. Во-первых, эти понятия используются в задачах, где встречается неопределенность либо неточность наших знаний или же принципиальная невозможность точных предсказаний результатов решений. Во-вторых, интервалы изменения и вероятности и функции принадлежности совпадают:

и P Î и m A (x) Î .

Вместе с тем вероятность является характеристикой объективной и выводы, полученные на основе применения теории вероятностей, в принципе могут быть проверены на опыте.

Функция же принадлежности определяется субъективно, хотя обычно она отражает реальные соотношения между рассматриваемыми объектами. Об эффективности применения методов, основанных на теории нечетких множеств, обычно судят после получения конкретных результатов.

Если в теории вероятностей предполагается, что вероятность достоверного события равна единице, т.е.

то соответствующая сумма всех значений функции принадлежности может принимать любые значения от 0 до ¥.

Итак, чтобы задать нечеткое множество A необходимо определить базовое множество элементов E, и сформировать функцию принадлежности m A (х), являющуюся субъективной мерой уверенности, с которой каждый элемент x из E принадлежит данному нечеткому множеству A .

Обобщение понятия принадлежности. В рассмотренных примерах характеристическая функция принимала значения 0 или 1. Предположим, что характеристическая функция принимает любое значение из . Тогда элемент может не принадлежать множеству , принадлежать в какой-либо степени или быть элементом множества .

Нечёткое множество . Нечётким подмножеством (нечётким множеством) множества называется множество упорядоченных пар , где – функция принадлежности элемента множеству , характеризующая степень принадлежности элемента этому множеству, или, другими словами, меру соответствия элемента универсального множества свойствам нечёткого множества . В случае непрерывного множества для задания нечёткого множества используют такое обозначение: .

Множество принадлежностей. Множество значений функции принадлежности называется Множеством принадлежностей . Если , то – обычное множество, т. е. чёткое множество можно рассматривать как предельный случай нечёткого множества. Далее в этом учебном пособии множество принадлежностей .

Мощность нечёткого множества. Пусть на универсальном множестве задано нечёткое множество . Мощность нечёткого множества или его Кардинальное число определяется следующим образом: .

Пример 28. На универсальном множестве определим следующее нечёткое множество:

Определим кардинальное число нечёткого множества :

Принадлежность элемента нечёткому множеству можно обозначать и так: .

Для определения степени принадлежности элемента нечёткому множеству существует специальная терминология. Так, нечёткое множество , заданное в Примере 28, содержит в незначительной степени элемент , не содержит , в небольшой степени содержит , в значительной степени – и , и содержит элемент .

Пример 29. Нечёткое множество небольших натуральных чисел может быть задано, например, так:

Замечание. Значения заданы субъективно.

Носитель нечёткого множества. Носителем (суппортом) нечёткого множества (supp) называется множество элементов , для которых . пустым, если его носитель является пустым множеством.

Ядро нечёткого множества. Ядром Нечёткого множества () называется множество элементов , для которых .

Высота нечёткого множества . Величина ( для дискретных универсальных множеств) называется Высотой нечёткого множества ().

Нормальные и субнормальные нечёткие множества . Нечёткое множество Нормально , если его высота равна 1. Если высота меньше 1, то нечёткое множество называется Субнормальным . Всякое непустое субнормальное нечёткое множество можно преобразовать к нормальному , нормируя его функцию принадлежности:

Унимодальные нечёткие множества. Нечёткое множество называется Унимодальным , если только для одного .

Точки перехода нечётких множеств. Элементы , для которых , называются Точками перехода нечёткого множества .

Выпуклые нечёткие множества . Нечёткое множество называется Выпуклым , если:

Пример 30. Пусть универсальное множество есть множество действительных чисел, т. е. . Определим нечёткое множество как множество чисел, близких к числу (Рис. 4).

Рисунок 4

Функцию принадлежности можно задать следующим образом: , где . Показатель степени выбирается в зависимости от степени близости к . Например, для описания множества чисел, очень близких к , можно взять ; для множества чисел, не очень далеких от , .

Пример 31. На универсальном множестве из Примера 28 Задано нечёткое множество . Для нечёткого множества : 1) определить его мощность; 2) определить носитель, ядро и высоту; 3) выяснить, является ли оно нормальным или субнормальным. Если является субнормальным, преобразовать его к нормальному; 4) проверить, будет ли полученное множество унимодальным; 5) определить точки перехода .

1. По определению, мощность (кардинальное число) нечёткого множества , заданного на конечном универсальном множестве , определяется по формуле: .

2. Воспользуемся определениями носителя, ядра и высоты нечёткого множества. Очевидно, , , .

3. Заданное нечёткое множество является субнормальным. Построим соответствующее ему нечёткое нормальное множество . Для этого вычислим значения функции принадлежностей элементов по формуле:

Имеем: , аналогично: , , , , . Таким образом, нечёткое нормализованное множество .

4. Множество является унимодальным, так как содержит только один элемент , для которого .

5. Множество имеет единственную точку перехода – , так как только .

Умножение нечётких множеств на число. Если – такое положительное число, что , то для нечёткого множества функция принадлежности определяется следующим образом: .

Сравнение нечётких множеств. Рассмотрим два нечётких множества и , заданных на универсальном множестве .

Говорят, что Содержится в , т. е. , если для любого . Графически это означает, что кривая, задающая нечёткое множество располагается выше аналогичной кривой нечёткого множества . Если условие включения выполняется не для всех , то говорят о Степени включения в , которая определяется как , где – множество , на котором выполняется условие включения.

Два нечётких множества и Равны , если они содержатся друг в друге, т. е. , если для любого .

Подмножество -уровня. Подмножеством -уровня нечёткого множества , , называется чёткое подмножество элементов , для которых . Множество называют также -сечением нечёткого множества . При этом, если , то говорят о сильном сечении, а если , то о слабом сечении. Имеет место Важное свойство : если , то .

Для анализа и синтеза нечётких множеств применяют Теорему о декомпозиции: нечёткое множество можно разложить по его множествам -уровня следующим образом: , где – произведение числа на множество .

Пример 32. На универсальном множестве определим нечёткое множество . Найдём все подмножества нечёткого множества :

По теореме о декомпозиции нечётких множеств заданное нечёткое множество представим следующим образом.

При помощи нечетких множеств можно формально определить неточные и многозначные понятия, такие как «высокая температура», «молодой человек», «средний рост» либо «большой город». Перед формулированием определения нечеткого множества необходимо задать так называемую область рассуждений (universe of discourse). В случае неоднозначного понятия «много денег» большой будет признаваться одна сумма, если мы ограничимся диапазоном и совсем другая - в диапазоне . Область рассуждений, называемая в дальнейшем пространством или множеством, будет чаще всего обозначаться символом . Необходимо помнить, что - четкое множество.

Определение 3.1

Нечетким множеством в некотором (непустом) пространстве , что обозначается как , называется множество пар

Функция принадлежности нечеткого множества . Эта функция приписывает каждому элементу степень его принадлежности к нечеткому множеству , при этом можно выделить три случая:

1) означает полную принадлежность элемента к нечеткому множеству , т.е. ;

2) означает отсутствие принадлежности элемента к нечеткому множеству , т.е.;

3) означает частичную принадлежность элемента к нечеткому множеству .

В литературе применяется символьное описание нечетких множеств. Если - это пространство с конечным количеством элементов, т.е. , то нечеткое множество записывается в виде

Приведенная запись имеет символьный характер. Знак «–» не означает деления, а означает приписывание конкретным элементам степеней принадлежности . Другими словами, запись

означает пару

Точно также знак «+» в выражении (3.3) не означает операцию сложения, а интерпретируется как множественное суммирование элементов (3.5). Следует отметить, что подобным образом можно записывать и четкие множества. Например, множество школьных оценок можно символически представить как

что равнозначно записи

Если - это пространство с бесконечным количеством элементов, то нечеткое множество символически записывается в виде

Пример 3.1

Допустим, что - множество натуральных чисел. Определим понятие множества натуральных чисел, «близких числу 7». Это можно сделать определением следующего нечеткого множества :

Пример 3.2

Если , где - множество действительных чисел, то множество действительных чисел, «близких числу 7», можно определить функцией принадлежности вида

Поэтому нечеткое множество действительных чисел, «близких числу 7», описывается выражением

Замечание 3.1

Нечеткие множества натуральных или действительных чисел, «близких числу 7», можно записать различными способами. Например, функцию принадлежности (3.10) можно заменить выражением

На рис. 3.1а и 3.1б представлены две функции принадлежности нечеткого множества действительных чисел, «близких числу 7».

Рис. 3.1. Иллюстрация к примеру 3.2: функции принадлежности нечеткого множества действительных чисел, «близких числу 7».

Пример 3.3

Формализуем неточное определение «подходящая температура для купания в Балтийском море». Зададим область рассуждений в виде множества . Отдыхающий I, лучше всего чувствующий себя при температуре 21°, определил бы для себя нечеткое множество

Отдыхающий II, предпочитающий температуру 20°, предложил бы другое определение этого множества:

С помощью нечетких множеств и мы формализовали неточное определение понятия «подходящая температура для купания в Балтийском море». В некоторых приложениях используются стандартные формы функций принадлежности. Конкретизируем эти функции и рассмотрим их графические интерпретации.

1. Функция принадлежности класса (рис. 3.2) определяется как

где . Функция принадлежности, относящаяся к этому классу, имеет графическое представление (рис. 3.2), напоминающее букву «», причем ее форма зависит от подбора параметров , и . В точке функция принадлежности класса принимает значение, равное 0,5.

2. Функция принадлежности класса (рис. 3.3) определяется через функцию принадлежности класса :

Рис. 3.2. Функция принадлежности класса .

Рис. 3.3. Функция принадлежности класса .

Функция принадлежности класса принимает нулевые значения для и . В точках ее значение равно 0,5.

3. Функция принадлежности класса (рис. 3.4) задается выражением

Читатель с легкостью заметит аналогию между формами функций принадлежности классов и .

4. Функция принадлежности класса (рис. 3.5) определяется в виде

Рис. 3.4. Функция принадлежности класса .

Рис. 3.5. Функция принадлежности класса .

В некоторых приложениях функция принадлежности класса может быть альтернативной по отношению к функции класса .

5. Функция принадлежности класса (рис. 3.6) определяется выражением

Пример 3.4

Рассмотрим три неточных формулировки:

1) «малая скорость автомобиля»;

2) «средняя скорость автомобиля»;

3) «большая скорость автомобиля».

В качестве области рассуждений примем диапазон , где - это максимальная скорость. На рис. 3.7 представлены нечеткие множества , и , соответствующие приведенным формулировкам. Обратим внимание, что функция принадлежности множества имеет тип , множества - тип , а множества - тип . В фиксированной точке км/час функция принадлежности нечеткого множества «малая скорость автомобиля» принимает значение 0,5, т.е. . Такое же значение принимает функция принадлежности нечеткого множества «средняя скорость автомобиля», т.е. , тогда как .

Пример 3.5

На рис. 3.8 показана функция принадлежности нечеткого множества «большие деньги». Это функция класса , причем , , .

Рис. 3.6. Функция принадлежности класса .

Рис. 3.7. Иллюстрация к примеру 3.4: функции принадлежности нечетких множеств «малая» , «средняя» , «большая» скорость автомобиля.

Рис. 3.8. Иллюстрация к примеру 3.5: Функция принадлежности нечеткого множества «большие деньги».

Следовательно, суммы, превышающие 10000 руб, можно совершенно определенно считать «большими», поскольку значения функции принадлежности при этом становятся равными 1. Суммы, меньшие чем 1000 руб, не относятся к «большим», так как соответствующие им значения функции принадлежности равны 0. Конечно, такое определение нечеткого множества «большие деньги» имеет субъективный характер. Читатель может иметь собственное представление о неоднозначном понятии «большие деньги». Это представление будет отражаться иными значениями параметров и функции класса .

Определение 3.2

Множество элементов пространства , для которых , называется носителем нечеткого множества и обозначается (support). Формальная его запись имеет вид

Определение 3.3

Высота нечеткого множества обозначается и определяется как

Пример 3.6

Определение 3.4

Нечеткое множество называется нормальным тогда и только тогда, когда . Если нечеткое множество не является нормальным, то его можно нормализовать при помощи преобразования

где - высота этого множества.

Пример 3.7

Нечеткое множество

после нормализации принимает вид

Определение 3.5

Нечеткое множество называется пустым и обозначается тогда и только тогда, когда для каждого .

Определение 3.6

Нечеткое множество содержится в нечетком множестве , что записывается как , тогда и только тогда, когда

для каждого .

Пример включения (содержания) нечеткого множества в нечетком множестве иллюстрируется на рис. 3.9. В литературе встречается также понятие степени включения нечетких множеств. Степень включения нечеткого множества в нечеткое множество на рис. 3.9 равна 1 (полное включение). Нечеткие множества, представленные на рис. 3.10, не удовлетворяют зависимости (3.27), следовательно, включение в смысле определения (3.6) отсутствует. Однако нечеткое множество содержится в нечетком множестве в степени

Выполняется условие

Рис. 3.12. Нечеткое выпуклое множество.

Рис. 3.13. Нечеткое вогнутое множество.

Рис. 3.13 иллюстрирует нечеткое вогнутое множество. Легко проверить, что нечеткое множество является выпуклым (вогнутым) тогда и только тогда, когда являются выпуклыми (вогнутыми) все его -разрезы.

Нечеткое множество - ключевое понятие нечеткой логики. Пусть Е — универсальное множество, х — элемент Е, a R — некоторое свойство. Обычное (четкое) подмножество А универ-сального множества Е, элементы которого удовлетворяют свойству R, определяется как множество упорядоченных пар

А = { μ A (x ) / x },

где μ А (х) —характеристическая функция, принимающая значе-ние 1, если х удовлетворяет свойству R, и 0 - в противном случае.

Нечеткое подмножество отличается от обычного тем, что для элементов х из Е нет однозначного ответа «да-нет» относительно свойства R. В связи с этим нечеткое подмножество А универсаль-ного множества Е определяется как множество упорядоченных пар

А = { μ A (x ) / x },

где μ А (х) — характеристическая функция принадлежности (или просто функция принадлежности) , принимающая значения в некотором вполне упорядоченном множестве М (например, М = ).

Функция принадлежности указывает степень (или уровень) принадлежности элемента х подмножеству А. Множество М назы-вают множеством принадлежностей. Если М = {0, 1}, то нечеткое подмножество А может рассматриваться как обычное или четкое множество.

Примеры записи нечеткого множества

Пусть Е = {x 1 , x 2 , х з, x 4 , x 5 }, М = ; А — нечеткое множество, для которого μ A (x 1 )= 0,3; μ A (х 2 )= 0; μ A (х 3) = 1; μ A (x 4) = 0,5; μ A (х 5 )= 0,9.

Тогда А можно представить в виде

А = {0,3/x 1 ; 0/х 2 ; 1/х 3 ; 0,5/х 4 ; 0,9/х 5 },

или

А ={0,3/x 1 +0/х 2 +1/х 3 +0,5/х 4 +0,9/х 5 },

или

Замечание . Здесь знак «+» не является обозначением операции сложения, а имеет смысл объединения.

Основные характеристики нечетких множеств

Пусть М = и А — нечеткое множество с элементами из универсаль-ного множества Е и множеством принадлежностей М.

Величина называется высотой нечеткого множества А. Нечеткое множество А нормально, если его высота рав-на 1,т.е. верхняя граница его функции принадлежности равна 1 (= 1). При < 1нечеткое множество называется субнормальным.

Нечеткое множество пусто, если ∀x ϵ E μ A (x ) = 0. Непу-стое субнормальное множество можно нормализовать по формуле

Нечеткое множество унимодально, если μ A (x ) = 1 только на одном х из Е.

. Носителем нечеткого множества А является обычное под-множество со свойством μ A (x )>0, т.е. носитель А = {x /x ϵ E, μ A (x )>0}.

Элементы x ϵ E , для которых μ A (x ) = 0,5 , называются точками перехода множества А.

Примеры нечетких множеств

1. Пусть Е = {0, 1, 2, . . ., 10}, М = . Нечеткое множество «Несколько» можно определить следующим образом:

«Несколько» = 0,5/3 + 0,8/4 + 1/5 + 1/6 + 0,8/7 + 0,5/8; его характеристики: высота = 1, носитель = {3, 4, 5, 6, 7, 8}, точки перехода — {3, 8}.

2. Пусть Е = {0, 1, 2, 3,…, n ,… }. Нечеткое множество «Малый» можно определить:

3. Пусть Е = {1, 2, 3, . . ., 100} и соответствует понятию «Возраст», тогда нечеткое множество «Молодой» может быть определено с помощью

Нечеткое множество «Молодой» на универсальном множестве Е" = {ИВАНОВ, ПЕТРОВ, СИДОРОВ,...} задается с помощью функции при-надлежности μ Молодой (x ) на Е = {1, 2, 3, . . ., 100} (возраст), называемой по отношению к Е" функцией совместимости, при этом:

где х — возраст СИДОРОВА.

4. Пусть Е = {ЗАПОРОЖЕЦ, ЖИГУЛИ, МЕРСЕДЕС,… } - множе-ство марок автомобилей, а Е" = — универсальное множество «Сто-имость», тогда на Е" мы можем определить нечеткие множества типа:

Рис. 1.1. Примеры функций принадлежности

«Для бедных», «Для среднего класса», «Престижные», с функциями при-надлежности вида рис. 1.1.

Имея эти функции и зная стоимости автомобилей из Е в данный момент времени, мы тем самым определим на Е" нечеткие множества с этими же названиями.

Так, например, нечеткое множество «Для бедных», заданное на уни-версальном множестве Е = { ЗАПОРОЖЕЦ, ЖИГУЛИ, МЕРСЕДЕС,...}, выглядит так, как показано на рис. 1.2.

Рис. 1.2. Пример задания нечеткого множества

Аналогично можно определить нечеткое множество «Скоростные», «Средние», «Тихоходные» и т. д.

5. Пусть Е — множество целых чисел:

Е = {-8, -5, -3, 0, 1, 2, 4, 6, 9}.

Тогда нечеткое подмножество чисел, по абсолютной величине близких к нулю, можно определить, например, так:

А = {0/-8 + 0,5/-5 + 0,6/-3 +1/0 + 0,9/1 + 0,8/2 + 0,6/4 + 0,3/6 + 0/9}.

О методах построения функций принадлежности нечет-ких множеств

В приведенных выше примерах использованы пря-мые методы, когда эксперт либо просто задает для каждого х ϵ Е значение μ А (х), либо определяет функцию совместимости. Как правило, прямые методы задания функции принадлежности ис-пользуются для измеримых понятий, таких как скорость, время, расстояние, давление, температура и т.д., или когда выделяются полярные значения.

Во многих задачах при характеристике объекта можно выде-лить набор признаков и для каждого из них определить полярные значения, соответствующие значениям функции принадлежности, 0 или 1.

Например, в задаче распознавания лиц можно выделить шкалы, приведенные в табл. 1.1.

Таблица 1.1. Шкалы в задаче распознавания лиц

x 1	высота лба
x 2	профиль носа	курносый	горбатый
	длина носа	короткий
x 4	разрез глаз
	цвет глаз
	форма подбородка	остроконечный	квадратный
x 7	толщина губ
	цвет лица
	очертание лица	овальное	квадратное

Для конкретного лица А эксперт, исходя из приведенной шка-лы, задает μ A (х) ϵ , формируя векторную функцию принад-лежности { μ A (х 1 ) , μ A (х 2 ),…, μ A (х 9) }.

При прямых методах используются также групповые прямые методы, когда, например, группе экспертов предъявляют конкрет-ное лицо и каждый должен дать один из двух ответов: «этот че-ловек лысый» или «этот человек не лысый», тогда количество утвердительных ответов, деленное на общее число экспертов, дает значение μ лысый (данного лица). (В этом примере можно действо-вать через функцию совместимости, но тогда придется считать число волосинок на голове у каждого из предъявленных эксперту лиц.)

Косвенные методы определения значений функции принад-лежности используются в случаях, когда нет элементарных из-меримых свойств, через которые определяется интересующее нас нечеткое множество. Как правило, это методы попарных сравне-ний. Если бы значения функций принадлежности были нам из-вестны, например, μ A (х- i ) = ω i , i = 1, 2, ..., n ,то попарные срав-нения можно представить матрицей отношений А = { a ij }, где a ij = ω i / ω j (операция деления).

На практике эксперт сам формирует матрицу А , при этом пред-полагается, что диагональные элементы равны 1, а для элемен-тов симметричных относительно диагонали a ij = 1/a ij , т.е. если один элемент оценивается в α раз сильнее, чем другой, то этот по-следний должен быть в 1/α раз сильнее, чем первый. В общем случае задача сводится к поиску вектора ω, удовлетворяющего уравнению вида Aw = λ max w , где λ max — наибольшее собствен-ное значение матрицы А . Поскольку матрица А положительна по построению, решение данной задачи существует и является поло-жительным.

Можно отметить еще два подхода:

• использование типовых форм кривых для задания функций принадлежности (в форме (L-R)-Типа - см. ниже) с уточнением их параметров в соответствии с данными эксперимента;
• использование относительных частот по данным экспе-римента в качестве значений принадлежности.

Нечеткое множество (fuzzyset) представляет собой совокупность элементов произвольной природы, относительно которых нельзя точно утверждать – обладают ли эти элементы некоторым характеристическим свойством, которое используется для задания нечеткого множества.

Пусть X – универсальное (базовое) множество, x – элемент X , а R – некоторое свойство. Обычное (четкое) подмножество A универсального множества X , элементы которого удовлетворяют свойству R , определяется как множество упорядоченных пар
A = μ A x / x , где μ A x – характеристическая функция, принимающая значение 1 , если x удовлетворяет свойству R , и 0 – в противном случае.

Нечеткое подмножество отличается от обычного тем, что для элементов x из X нет однозначного ответа «да-нет» относительно свойства R . В связи с этим, нечеткое подмножество A универсального множества X определяется как множество упорядоченных пар A = μ A x / x , где μ A x – характеристическая функция принадлежности (или просто функция принадлежности ), принимающая значения в некотором вполне упорядоченном множестве M = 0 ; 1 . Функция принадлежности указывает степень (или уровень) принадлежности элемента x подмножеству A . Множество M называют множеством принадлежностей. Если M = 0 ; 1 , то нечеткое подмножество A может рассматриваться как обычное или четкое множество. Степень принадлежности μ A x является субъективной мерой того, насколько элемент x ∈ X , соответствует понятию, смысл которого формализуется нечетким множеством A .

Носителем нечеткого множества A является четкое подмножество S A универсального множества X со свойством μ A x > 0 , т.е. S A = x ∣ x ∈ X ∧ μ A x > 0 . Иными словами, носителем нечеткого множества A является подмножество S A универсального множества X , для элементов которого функция принадлежности μ A x > 0 больше нуля. Иногда носитель нечеткого множества обозначают support A .

Если носителем нечеткого множества A является дискретное подмножество S A , то нечеткое подмножество A универсального множества X , состоящего из n элементов, можно представить в виде объединения конечного числа одноточечных множеств μ A x / x при помощи символа ∑ : A = ∑ i = 1 n μ A x i / x i . При этом подразумевается, что элементы x i упорядочены по возрастанию в соответствии со своими индексами, т.е. x 1 < x 2 < x 3 < … < x n .

Если носителем нечеткого множества A является непрерывное подмножество S A , то нечеткое подмножество A универсального множества X , рассматривая символ ∫ как непрерывный аналог введенного выше символа объединения для дискретных нечетких множеств ∑ , можно представить в виде объединения бесконечного числа одноточечных множеств μ A x / x:

A = ∫ X μ A x / x .

Пример. Пусть универсальное множество X соответствует множеству возможных значений толщин изделия от 10 мм до 40 мм с дискретным шагом 1 мм. Нечеткое множество A , соответствующее нечеткому понятию «малая толщина изделия», может быть представлено в следующем виде:

A = 1 / 10 ; 0,9 / 11 ; 0,8 / 12 ; 0,7 / 13 ; 0,5 / 14 ; 0,3 / 15 ; 0,1 / 16 ; 0 / 17 ; … ; 0 / 40 ,

A = 1 / 10 + 0,9 / 11 + 0,8 / 12 + 0,7 / 13 + 0,5 / 14 + 0,3 / 15 + 0,1 / 16 + 0 / 17 + … + 0 / 40 ,

где знак суммирования обозначает не операцию арифметического сложения, а объединения элементов в одно множество. Носителем нечеткого множества A будет конечное подмножество (дискретный носитель):

S A = 10 ; 11 ; 12 ; 13 ; 14 ; 15 ; 16 .

Если же универсальное множество X является множеством действительных чисел от 10 до 40 , т.е. толщина изделия может принимать все возможные значения в этих пределах, то носителем нечеткого множества A является отрезок S A = 10 ; 16 .

Нечеткое множество с дискретным носителем может быть представлено в виде отдельных точек на плоскости, нечеткое множество с непрерывным носителем может быть представлено в виде кривой, что соответствует дискретной и непрерывной функциям принадлежности μ A x , заданным на универсальном множестве X (рис.2.1).

Рис.2.1. Функции принадлежности нечетких множеств с (а)-дискретным и (б)-непрерывным носителями

Пример. Пусть X = 0 ; 1 ; 2 ; … – множество целых неотрицательных чисел. Нечеткое множество ital малый можно определить как μ ital малый x = x 1 + 0,1 x 2 − 1 .

Рис.2.2. Графическое представление нечеткого множества малый

Нечеткое множество A называется конечным , если его носитель S A является конечным четким множеством. При этом, по аналогии с обычными множествами, можно говорить, что такое нечеткое множество имеет конечную мощность card A = card S A . Нечеткое множество A называется бесконечным , если его носитель S A не является конечным четким множеством. При этом счетным нечетким множеством будет называться нечеткое множество с счетным носителем, имеющим счетную мощность в обычном смысле в терминах теории четких множеств, т.е. если S A содержит бесконечное число элементов, которые однако можно пронумеровать натуральными числами 1,2 ,3 . . . , причем достичь последнего элемента при нумерации принципиально невозможно. Несчетным нечетким множеством будет называться нечеткое множество со несчетным носителем, имеющим несчетную мощность континуума , т.е. если S A содержит бесконечное число элементов, которые невозможно пронумеровать натуральными числами 1,2 ,3 . . .

Пример. Нечеткое понятие «очень маленькое количество деталей» может быть представлено в виде конечного нечеткого множества A = 1 / 0 + 0,9 / 1 + 0,8 / 2 + 0,7 / 3 + 0,5 / 4 + 0,1 / 5 + 0 / 6 + … с мощностью card (A) = 6 и носителем S A = 0 ; 1 ; 2 ; 3 ; 4 ; 5 , который является конечным четким множеством. Нечеткое понятие «очень большое количество деталей» может быть представлено в виде A = 0 / 0 + … + 0,1 / 1 0 + 0,4 / 11 + 0,7 / 12 + 0,9 / 13 + 1 / 14 + 1 / 15 + … + 1 / n + … , n ∈ N – нечеткого множества с бесконечным счетным носителем S A ≡ N (множество натуральных чисел), который имеет счетную мощность в обычном смысле.

Пример. Несчетное нечеткое множество A , соответствующее нечеткому понятию «очень горячо», задано на универсальном множестве значений температур (в Кельвинах) температурой x ∈ [ 0 ; ∞) и функцией принадлежности μ A = 1 − e − x , с носителем S A ≡ R + (множество неотрицательных действительных чисел), который имеет несчетную мощность континуума.

Величина sup x ∈ X μ A x называется высотой нечеткого множества.

Нечеткое множество A нормально , если его высота равна 1 , т.е. верхняя граница его функции принадлежности sup x ∈ X μ A x = 1 . При sup x ∈ X μ A x < 1 субнормальным.

Нечеткое множество называется пустым , если ∀ x ∈ X μ A x = 0 .

Непустое субнормальное множество всегда можно нормализовать, разделив все значения функции принадлежности на ее максимальное значение μ A x sup x ∈ X μ A x .

Нечеткое множество называется унимодальным , если μ A x = 1 только для одной точки x (моды ) универсального множества X .

Нечеткое множество называется точечным , если μ A x > 0 только для одной точки x универсального множества X .

Множеством α -уровня нечеткого множества A , определенного на универсальном множества X , называется четкое подмножество A α универсального множества X , определяемое в виде:

A α = x ∈ X ∣ μ A x ≥ α , где α ∈ 0 ; 1 .

Пример. A = 0,8 / 1 + 0,6 / 2 + 0,2 / 3 + 1 / 4 , A 0,5 = 1 ; 2 ; 4 , где A 0,5 – четкое множество, включающее те элементы x упорядоченных пар μ A x / x , составляющих нечеткое множество A , для которых значение функции принадлежности которых удовлетворяет условию μ A x ≥ α .

Для множеств α -уровня выполняется следующее свойство: если α 1 ≥ α 2 , то мощность подмножества A α 1 не больше мощности подмножества A α 2 .

Элементы x ∈ X , для которых μ A x = 0,5 называются точками перехода нечеткого множества A .

Ядром нечеткого множества A , определенного на универсальном множестве X , называется четкое множество core A , элементы которого удовлетворяют условию core A = x ∈ X ∣ μ A x = 1 .

Границей нечеткого множества A , определенного на универсальном множестве X , называется четкое множество front A , элементы которого удовлетворяют условию front A = x ∈ X ∣ 0 < μ A x < 1 .

Пример. Пусть X = 0 ; 1 ; 2 ; … ; 10 , M = 0 ; 1 . Нечеткое множество несколько можно определить на универсальном множестве натуральных чисел следующим образом: несколько = 0,5 / 3 + 0,8 / 4 + 1 / 5 + 1 / 6 + 0,8 / 7 + 0,5 / 8 ; его характеристики: высота = 1 , носитель = 3 ; 4 ; 5 ; 6 ; 7 ; 8 , точки перехода = 3 ; 8 , ядро = 5 ; 6 , граница = 3 ; 4 ; 7 ; 8 .

Нечеткое множество A , определенное на универсальном множестве X , называется выпуклым , если μ A x ≥ min μ A a ; μ A b ; a < x < b ; x , a , b ∈ X (рис.2.3).

Рис.2.3. Функции принадлежности выпуклого и невыпуклого нечетких множеств