Точкой перехода нечеткого множества называется. Нечеткие множества

По традиции четкие множества принято иллюстрировать кругами с резко оконтуренными границами. Нечеткие же множества – это круги, образованные отдельными точками: в центре круга точек много, а ближе к периферии их густота уменьшается до нуля; круг как бы растушевывается на краях. Такие «нечеткие множества» можно увидеть... в тире – на стене, куда вывешиваются мишени. Следы от пуль образуют случайные множества, математика которых известна. Оказалось, что для оперирования нечеткими множествами годится уже давно разработанный аппарат случайных множеств...

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

Один из простейших способов математического описания нечеткого множества – характеризация степени принадлежности элемента множеству числом, например, из интервала . Пусть Х – некоторое множество элементов. В дальнейшем мы будем рассматривать подмножества этого множества.

Нечетким множеством А в Х называется совокупность пар вида (x, m A (x) ), где xÎX, а m А – функция x ® , называемая функцией принадлежности (membership function) нечеткого множества А . Значение m A (x) этой функции для конкретного x называется степенью принадлежности этого элемента нечеткому множеству А .

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

Обычные множества составляют подкласс класса нечетких множеств. Действительно, функцией принадлежности обычного множества B ÌX является его характеристическая функция: m В (x) =1, если x ÎB и m В (x) =0, если x ÏB. Тогда в соответствии с определением нечеткого множества обычное множество В можно также определить как совокупность пар вида (x, m В (x) ). Таким образом, нечеткое множество представляет собой более широкое понятие, чем обычное множество, в том смысле, что функция принадлежности нечеткого множества может быть, вообще говоря, произвольной функцией или даже произвольным отображением.

Мы говорим нечеткое множество . А множество чего? Если быть последовательным, то приходится констатировать, что элементом нечеткого множества оказывается... новое нечеткое множество новых нечетких множеств и т.д. Обратимся к классическому примеру – к куче зерна . Элементом этого нечеткого множества будет миллион зерен , например. Но миллион зерен это никакой не четкий элемент , а новое нечеткое множество . Ведь считая зерна (вручную или автоматически), немудрено и ошибиться – принять за миллион 999 997 зерен, например. Тут можно сказать, что элемент 999 997 имеет значение функции принадлежности к множеству “миллион”, равное 0.999997. Кроме того, само зерно – это опять же не элемент, а новое нечеткое множество: есть полноценное зерно, а есть два сросшихся зерна, недоразвитое зерно или просто шелуха. Считая зерна, человек должен какие-то отбраковывать, принимать два зерна за одно, а в другом случае одно зерно за два. Нечеткое множество не так-то просто запихнуть в цифровой компьютер с классическими языками: элементами массива (вектора) должны быть новые массивы массивов (вложенные вектора и матрицы, если говорить о Mathcad ). Классическая математика четких множеств (теория чисел, арифметика и т.д.) – это крюк, с помощью которого человек разумный фиксирует (детерминирует) себя в скользком и нечетком окружающем мире. А крюк, как известно, – инструмент довольно грубый, нередко портящий то, за что им цепляются. Термины, отображающие нечеткие множества – «много», «слегка», «чуть-чуть» и т.д. и т.п., – трудно «запихнуть» в компьютер еще и потому, что они контекстно зависимы . Одно дело сказать «Дай мне немного семечек» человеку, у которого стакан семечек, а другое дело – человеку, сидящему за рулем грузовика с семечками.

Нечеткое подмножество А множества Х характеризуется функцией принадлежности m A : Х→ , которая ставит в соответствие каждому элементу x ÎX число m A (x) из интервала , характеризующее степень принадлежности элемента х подмножеству А . Причем 0 и 1 представляют соответственно низшую и высшую степень принадлежности элемента к определенному подмножеству.

Дадим основные определения.

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

· Нечеткое множество называется пустым , если его функция принадлежности равна нулю на всем множестве Х , т.е. m 0 (x)= 0 " x ÎX .

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

(рис. 1).

Рис.1. Нормализация нечеткого множества с функцией принадлежности. .

Носителем нечеткого множества А (обозначение supp A ) с функцией принадлежности m A (x) называется множество вида suppA ={x|x ÎX, m A (x)> 0}. Для практических приложений носители нечетких множеств всегда ограничены. Так, носителем нечеткого множества допустимых режимов для системы может служить четкое подмножество (интервал), для которого степень допустимости не равна нулю (рис.2).

Рис. 3. Ядро, носитель и α- сечение нечеткого множества

Значение α называют α -уровнем . Носитель (ядро) можно рассматривать как сечение нечеткого множества на нулевом (единичном) α -уровне.

Рис. 3 иллюстрирует определения носителя, ядра, α- сечения и α- уровня нечеткого множества.

Нечеткое множество - это множество пар , где x принимает некоторое информативное значение, а m(x) отображает x в единичный отрезок, принимая значения от 0 до 1. При этом m(x) представляет собой степень принадлежности x к чему-либо (0 - не принадлежит, 1 - принадлежит на все 100%).

Так, на пример, можно задать для числа 7 множество:

<0/1>,<0.4/3>,<1/7> Это множество говорит о том, что 7 - это на 0% единица, на 40% тройка и на 100% семерка.

Нечеткая переменная определяется как .

A - наименование переменной,

X={x} - область определения переменной, набор возможных значений x,

Ca={} - нечеткое множество, описывающее ограничения на возможные значения переменной A (семантику).

Пример: <"Семь",{1,3,7},{<0/1>,<0.4/3>,<1/7>}>. Этой записью мы определили соответствия между словом и некоторыми цифрами. Причем, как в названии переменной, так и в значениях x можно было использовать любые записи, несущие какую-либо информацию.

Лингвистическая переменная определяется как .

B - наименование переменной.

T - множество её значений (базовое терм-множество), состоит из наименований нечетких переменных, областью определения каждой из которых является множество X.

G - синтаксическая процедура (грамматика), позволяющая оперировать элементами терм-множества T, в частности - генерировать новые осмысленные термы. T`=T U G(T) задает расширенное терм-множество (U - знак объединения).

M - семантическая процедура, позволяющая приписать каждому новому значению лингвистической переменной нечеткую семантику, путем формирования нового нечеткого множества.

Нечеткое множество (или нечеткое число), описывает некотоpые понятия в фyнкциональном виде, т. е. такие понятия как "пpимеpно pавно 5", "скоpость чyть больше 300 км/ч" и т. д., как видно эти понятия невозможно пpедставить одним числом, хотя в pеальности люди очень часто пользyются ими.

Hечеткая пеpеменная это тоже самое, что и нечеткое число, только с добавлением имени, котоpым фоpмализyется понятие описуемое этим числом.

Лингвистическая пеpеменная это множество нечетких пеpеменных, она использyется для того чтобы дать словесное описание некотоpомy нечеткомy числy, полyченномy в pезyльтате некотоpых опеpаций. Т. е. пyтем некотоpых опеpаций подбиpается ближайшее по значению из лингвистической пеpеменной.

Хочy дать несколько советов для твоей пpоги. Hечеткие числа лyчше хpанить как отсоpтиpованное множество паp (соpтиpyется по носителям), за счет этого можно yскоpить выполнения всех логических и математических опеpаций. Когда pеализyешь аpифметические опеpации, то нyжно yчитывать погpешность вычислений, т. е. 2/4 <> 1/2 для компьютеpа, когда я с этим столкнyлся, мне пpишлось несколько yсложнить сpавнение паp, а сpавнений пpиходится делать много. Hосители в нечетких числах должны быть кpатными какому-нибуть числy, иначе pезyльтаты аpиф. опеpаций бyдyт "некpасивыми", т. е. pезyльтат бyдет неточным, особенно это видно пpи yмножении.

За счет хpанения нечетких чисел в отсоpтиpованном виде, я добился того что аpифметические опеpации y меня выполняются по почти линейной зависимости (во вpемени), т. е. пpи yвеличении количества паpа, скоpость вычислений падала линейно. Я пpидyмал и pеализовал точные аpиф. опеpации пpи котоpых не имеет значение кол-во и кpатность носителей, pезyльтат всегда бyдет точным и "кpасивым", т. е. если пеpвоначальные числа были похожи на пеpевеpнyтyю параболу, то и pезyльтат бyдет похожим, а пpи обычных опеpациях он полyчается стyпенчатым. Я так же ввел понятие "обpатные нечеткие числа" (хотя не до конца pеализовал), для чего они нyжны? Как ты знаешь пpи вычитании или делении число из котоpого вычитается дpyгое должно быть шиpе, а это большая пpоблема пpи pешении сложных ypавнений, вот "обpатные нечеткие числа" позволяют это делать.

Базовые операции над нечеткими множествами.

ОБЪЕДИНЕНИЕ: создается новое множество из элементов исходных множеств, причем для одинаковых элементов принадлежность берется максимальной.

A U B = {} Maub(x) = max {Ma(x), Mb(x)} ПЕРЕСЕЧЕНИЕ: создается новое множество из одинаковых элементов исходных множеств, принадлежность которых берется минимальной. A П B = {} Maпb(x) = min {Ma(x), Mb(x)} ДОПОЛНЕНИЕ: инвертируется принадлежность каждого элемента. C = ~A = {} Mc(x) = 1-Ma(x) СТЕПЕНЬ: принадлежность каждого элемента возводится в степень. CON - концентрация, степень=2 (уменьшает степень нечеткости) DIN - растяжение, степень=1/2 (увеличивает степень нечеткости) РАЗНОСТЬ: новое множество состоит из одинаковых элементов исходных множеств. A - B = {} Ma-b(x) = Ma(x)-Mb(a), если Ma(x)>Mb(x) иначе 0 НОСИТЕЛЬ: состоит из элементов исходного множества, принадлежности которых больше нуля. Supp(A) = {x|x?X /\ Ma(x)>0} УМНОЖЕНИЕ НА ЧИСЛО: принадлежности элементов домножаются на число. q*A = {} СУПРЕМУМ: Sup - точная верхняя грань (максимальное значение принадлежности, присутствующее в множестве).

НОРМАЛИЗАЦИЯ: нечеткое множество нормально если супремум множества равен единице. Для нормализации перечитывают принадлежности элементов:

M"a(x) = Ma(x)/(Sup Ma(x)) АЛЬФА-СРЕЗ: множество альфа уровня - те элементы исходного множества, принадлежность которых выше или равна заданного порога. Порог, равный 1/2, называют точкой перехода. Aq = {x|x?X /\ Ma(x)>q} НЕЧЕТКОЕ ВКЛЮЧЕНИЕ: степень включения нечеткого множества V(A1,A2) = (Ma1(x0)->Ma2(x0))&(Ma1(x1)->Ma2(x1))&.. По Лукасевичу: Ma1(x)->Ma2(x) = 1&(1-Ma1(x)+Ma2(x)) По Заде: Ma1(x)->Ma2(x) = (1-Ma1(x)) \/ Ma2(x) НЕЧЕТКОЕ РАВЕНСТВО: степень нечеткого равенства R(A1,A2) = V(A1,A2) & V(A2,A1)

Словарь

АДАПТАЦИЯ - Любое изменение в структуре или функции организма, которое позволяет ему выживать во внешней среде.

АЛЛЕЛИ - Возможные значения генов.

ГА - Генетический алгоритм. Интеллектуальное исследование произвольного поиска. . Представлен Holland 1975.

ГА МОДЕЛЬ ОСТРОВА (IMGA) - Популяция ГА разделена в несколько подсовокупностей, каждая из которых беспорядочно инициализирована и выполняет независимый последовательный ГА на собственной подпопуляции. Иногда, пригодные ветви решений мигрируют между подсовокупностями. [Например. Levine 1994].

ГЕНЫ - Переменные в хромосоме.

ГЕНЕТИЧЕСКИЙ ДРЕЙФ - Члены популяции сходятся к некоторой отметке пространства решения вне оптимума из-за накопления стохастических ошибок.

ГЕНОТИП - Фактическая структура. Кодированная хромосома.

ГП - Генетическое программирование. Прикладные программы использующие принципы эволюционной адаптации к конструкции процедурного кода.

ДИПЛОИД - В каждом участке хромосомы имеется пара генов. Это позволяет сохраняться долгосрочной памяти.

КГА - Компактный ГА (CGA). В CGA, две или больше совокупности ген постоянно взаимодействуют и взаимно развиваются.

КРОССИНГОВЕР - Обмен отрезками хромосом родителей. В диапазоне от 75 до 95% появляются самые лучшие особи.

ЛОКУС - Позиция гена в хромосоме.

МУТАЦИЯ - Произвольная модификация хромосомы.

СИНАПС - Вход нейрона.

СХЕМА (шемма) - Подмножество подобных хромосом, содержащих модель значений гена.

СХОДИМОСТЬ - Прогрессия к увеличивающейся однородности. Ген, как считают, сходится когда 95% популяции имеет то же самое значение .

УНС - Унифицированная нейронная сеть.

ФИТНЕС-ФУНКЦИЯ - Значение являющееся целевым функциональным значением решения. Оно также называется функцией оценки или функцией цели в проблемах оптимизации.

ФЕНОТИП - Физическое выражение структуры. Декодированный набор ген.

ХРОМОСОМА - Составляющий вектор, строка, или решение.

• Д. -Э. Бэстенс, В. .М. Ван Ден Берг, Д. Вуд. .Hейронные сети и финансовые рынки.., Москва, научное издательство.ТВП., 1997.
• Галушкин А. И. .Hейрокомпьютеры и их применение. Книга 1. Теория нейронных сетей.. Москва, Издательское предприятие редакции журнала.Радиотехника.,2000.
• Тейво Кохонен, Гвидо Дебок.Анализ финансовых данных с помощью самоорганизующихся карт., Москва, издательский дом.Альпина., 2001.
• Ф. Уоссерман. .Hейрокомпьютерная техника., Москва, издательство.Мир., 1992.
• Шумский C. A. .Hейрокомпьютинг и его применение в экономике и бизнесе., Москва, издательство МИФИ, 1998.
• А. И. Змитрович Интеллектуальные информационные системы. - Минск.: HТООО "Тетра Системс", 1997. - 368с.
• В. В. Корнеев, А. Ф. Гарев, С. В. Васютин, В. В. Райх Базы данных. Интеллектуальная обработка информации. - М.: "Hолидж", 2000. - 352с.

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

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

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

При этом значение
для некоторого
означает, что элементопределенно принадлежит нечеткому множеству, а значение
означает, что элементопределенно не принадлежит нечеткому множеству.

Формально конечное нечеткое множество в общем случае имеет вид:

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

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

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

Функция принадлежности – математическая функция, определяющая степень, с которой элементы некоторого множества принадлежат заданному нечеткому множеству. Данная функция ставит в соответствие каждому элементу нечеткого множества действительное число из интервала
Задать конкретное нечеткое множество означает определить соответствующую ему функцию принадлежности.

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

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

Содержательно это означает следующее: чем в большей степени элемент
обладает рассматриваемым свойством, тем более близко к 1 должно быть значение истинности соответствующего нечеткого предиката. И наоборот, чем в меньшей степени элемент
обладает рассматриваемым свойством, тем более близко к 0 должно быть значение истинности этого нечеткого предиката. Если элемент
определенно не обладает рассматриваемым свойством, то соответствующий нечеткий предикат принимает значение «ложь» (или число 0). Если же элемент
определенно обладает рассматриваемым свойством, то соответствующий нечеткий предикат принимает значение «истина» (или число 1).

Тогда в общем случае задание нечеткого множества с использованием специального свойства эквивалентно заданию такой функции принадлежности, которая содержательно представляет степень истинности соответствующего одноместного нечеткого предиката.

Понятие нечеткого отношения наряду с понятием самого нечеткого множества следует отнести к фундаментальным основам всей теории нечетких множеств. На основе нечетких отношений определяется целый ряд дополнительных понятий, используемых для построения нечетких моделей сложных систем.

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

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

Нечеткая логика предназначена для формализации человеческих способностей к неточным или приближенным рассуждениям, которые позволяют более адекватно описывать ситуации с неопределенностью. Классическая логика по своей сути игнорирует проблему неопределенности, поскольку все высказывания и рассуждения в формальных логических системах могут иметь только значение «истина» (И ,1) или значение «ложь» (Л ,0). В отличие от этого в нечеткой логике истинность рассуждений оценивается в некоторой степени, которая может принимать и другие отличные
значения. Нечеткая логика использует основные понятия теории нечетких множеств для формализации неточных знаний и выполнения приближенных рассуждений в той или иной предметной области.

В предложенной Л.Заде варианте нечеткой логики множество истинностных значений высказываний обобщается до интервала действительных значений
, что позволяет высказыванию принимать любое значение истинности из этого интервала. Это численное значение является количественной оценкой степени истинности высказывания, относительно которого нельзя с полной уверенностью заключить о его истинности или ложности. Использование в качестве множества истинностных значений интервала
позволяет построить логическую систему, в рамках которой оказалось возможным выполнять рассуждения с неопределенностью и оценивать истинность высказываний.

Исходным понятием нечеткой логики является понятие элементарного нечеткого высказывания.

Элементарное нечеткое высказывание – это повествовательное предложение, выражающее законченную мысль, относительно которой мы можем судить об ее истинности или ложности только с некоторой степенью уверенности. В нечеткой логикестепень истинности элементарного нечеткого высказывания принимает значение из замкнутого интервала
, причем 0 и 1 являются предельными значениями степени истинности и совпадают со значениями «ложь» и «истина» соответственно.

Нечеткая импликация или импликация нечетких высказываний А и В (читается – «ЕСЛИ А, ТО В») – называется бинарная логическая операция, результат которой является нечетким высказыванием, истинность которого может принимать значение, например, определяемое формулой предложенной Э.Мамдани:

Эту форму нечеткой импликации также называют нечеткой импликацией Мамдани или нечеткой импликациейминимума корреляции.

Нечеткое множество (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. Функции принадлежности выпуклого и невыпуклого нечетких множеств

Под четким множеством или просто множеством, обычно понимают некоторую совокупность определенных и различимых между собой объектов нашей интуиции и интеллекта мыслимую как единое целое. В данном высказывании отметим следующий момент: множество 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 .