Что такое нечеткое множество
Нечеткие множества
Что такое нечеткое множество, нечеткая и лингвистическая переменная?
Так, на пример, можно задать для числа 7 множество:
X=
Ca= < >— нечеткое множество, описывающее ограничения на возможные значения переменной A (семантику).
Этой записью мы определили соответствия между словом и некоторыми цифрами. Причем, как в названии переменной, так и в значениях x можно было использовать любые записи, несущие какую-либо информацию.
Нечеткое множество (или нечеткое число), описывает некото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атные нечеткие числа» позволяют это делать.
Базовые операции над нечеткими множествами.
ОБЪЕДИНЕНИЕ: создается новое множество из элементов исходных множеств, причем для одинаковых элементов принадлежность берется максимальной.
НОРМАЛИЗАЦИЯ: нечеткое множество нормально если супремум множества равен единице. Для нормализации перечитывают принадлежности элементов:
Словарь
2.1. Определение и основные характеристики нечетких множеств
Нечеткое множество(fuzzyset) представляет собой совокупность элементов произвольной природы, относительно которых нельзя точно утверждать – обладают ли эти элементы некоторым характеристическим свойством, которое используется для задания нечеткого множества.
где знак суммирования обозначает не операцию арифметического сложения, а объединения элементов в одно множество. Носителем нечеткого множества A будет конечное подмножество (дискретный носитель):
Рис.2.1. Функции принадлежности нечетких множеств с (а)-дискретным и (б)-непрерывным носителями
Рис.2.2. Графическое представление нечеткого множества малый
Пример. Нечеткое понятие «очень маленькое количество деталей» может быть представлено в виде конечного нечеткого множества который является конечным четким множеством. Нечеткое понятие «очень большое количество деталей» может быть представлено в виде нечеткого множества с бесконечным счетным носителем S A ≡ N (множество натуральных чисел), который имеет счетную мощность в обычном смысле.
Величина sup x ∈ X μ A x называется высотой нечеткого множества.
Рис.2.3. Функции принадлежности выпуклого и невыпуклого нечетких множеств
Нечеткие множества
где μА(х) —характеристическая функция, принимающая значение 1, если х удовлетворяет свойству R, и 0 – в противном случае.
Нечеткое подмножество отличается от обычного тем, что для элементов х из Е нет однозначного ответа «да-нет» относительно свойства R. В связи с этим нечеткое подмножество А универсального множества Е определяется как множество упорядоченных пар
где μА(х) — характеристическая функция принадлежности (или просто функция принадлежности), принимающая значения в некотором вполне упорядоченном множестве М (например, М = [0, 1]).
Функция принадлежности указывает степень (или уровень) принадлежности элемента х подмножеству А. Множество М называют множеством принадлежностей. Если М = <0, 1>, то нечеткое подмножество А может рассматриваться как обычное или четкое множество.
Примеры записи нечеткого множества
Тогда А можно представить в виде
Замечание. Здесь знак «+» не является обозначением операции сложения, а имеет смысл объединения.
Основные характеристики нечетких множеств
Пусть М = [0, 1] и А — нечеткое множество с элементами из универсального множества Е и множеством принадлежностей М.
• Величина называется высотой нечеткого множества А. Нечеткое множество А нормально, если его высота равна 1,т.е. верхняя граница его функции принадлежности равна 1 (
= 1). При
• Нечеткое множество пусто, если ∀x ϵ E μA(x) = 0. Непустое субнормальное множество можно нормализовать по формуле
• Нечеткое множество унимодально, если μA(x) = 1 только на одном х из Е.
• Носителемнечеткого множества А является обычное подмножество со свойством μA(x)>0, т.е. носитель А = <x/x ϵ E, μA(x)>0>.
Примеры нечетких множеств
«Несколько» = 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,…>. Нечеткое множество «Малый» можно определить:
где х — возраст СИДОРОВА.
4. Пусть Е = <ЗАПОРОЖЕЦ, ЖИГУЛИ, МЕРСЕДЕС,… >– множество марок автомобилей, а Е’ = [0, ∞] — универсальное множество «Стоимость», тогда на Е’ мы можем определить нечеткие множества типа:
Рис. 1.1. Примеры функций принадлежности
«Для бедных», «Для среднего класса», «Престижные», с функциями принадлежности вида рис. 1.1.
Имея эти функции и зная стоимости автомобилей из Е в данный момент времени, мы тем самым определим на Е’ нечеткие множества с этими же названиями.
Так, например, нечеткое множество «Для бедных», заданное на универсальном множестве Е = < ЗАПОРОЖЕЦ, ЖИГУЛИ, МЕРСЕДЕС. >, выглядит так, как показано на рис. 1.2.
Рис. 1.2. Пример задания нечеткого множества
Аналогично можно определить нечеткое множество «Скоростные», «Средние», «Тихоходные» и т. д.
5. Пусть Е — множество целых чисел:
Тогда нечеткое подмножество чисел, по абсолютной величине близких к нулю, можно определить, например, так:
О методах построения функций принадлежности нечетких множеств
В приведенных выше примерах использованы прямые методы, когда эксперт либо просто задает для каждого х ϵ Е значение μА(х), либо определяет функцию совместимости. Как правило, прямые методы задания функции принадлежности используются для измеримых понятий, таких как скорость, время, расстояние, давление, температура и т.д., или когда выделяются полярные значения.
Во многих задачах при характеристике объекта можно выделить набор признаков и для каждого из них определить полярные значения, соответствующие значениям функции принадлежности, 0 или 1.
Например, в задаче распознавания лиц можно выделить шкалы, приведенные в табл. 1.1.
Таблица 1.1. Шкалы в задаче распознавания лиц
При прямых методах используются также групповые прямые методы, когда, например, группе экспертов предъявляют конкретное лицо и каждый должен дать один из двух ответов: «этот человек лысый» или «этот человек не лысый», тогда количество утвердительных ответов, деленное на общее число экспертов, дает значение μлысый (данного лица). (В этом примере можно действовать через функцию совместимости, но тогда придется считать число волосинок на голове у каждого из предъявленных эксперту лиц.)
На практике эксперт сам формирует матрицу А, при этом предполагается, что диагональные элементы равны 1, а для элементов симметричных относительно диагонали aij= 1/aij, т.е. если один элемент оценивается в α раз сильнее, чем другой, то этот последний должен быть в 1/α раз сильнее, чем первый. В общем случае задача сводится к поиску вектора ω, удовлетворяющего уравнению вида Aw= λmaxw, где λmax— наибольшее собственное значение матрицы А. Поскольку матрица А положительна по построению, решение данной задачи существует и является положительным.
Можно отметить еще два подхода:
Нечеткая логика — математические основы
Математическая теория нечетких множеств (fuzzy sets) и нечеткая логика (fuzzy logic) являются обобщениями классической теории множеств и классической формальной логики. Данные понятия были впервые предложены американским ученым Лотфи Заде (Lotfi Zadeh) в 1965 г. Основной причиной появления новой теории стало наличие нечетких и приближенных рассуждений при описании человеком процессов, систем, объектов.
Прежде чем нечеткий подход к моделированию сложных систем получил признание во всем мире, прошло не одно десятилетие с момента зарождения теории нечетких множеств. И на этом пути развития нечетких систем принято выделять три периода.
Первый период (конец 60-х–начало 70 годов) характеризуется развитием теоретического аппарата нечетких множеств (Л. Заде, Э. Мамдани, Беллман). Во втором периоде (70–80-е годы) появляются первые практические результаты в области нечеткого управления сложными техническими системами (парогенератор с нечетким управлением). Одновременно стало уделяться внимание вопросам построения экспертных систем, основанных на нечеткой логике, разработке нечетких контроллеров. Нечеткие экспертные системы для поддержки принятия решений находят широкое применение в медицине и экономике.
Наконец, в третьем периоде, который длится с конца 80-х годов и продолжается в настоящее время, появляются пакеты программ для построения нечетких экспертных систем, а области применения нечеткой логики заметно расширяются. Она применяется в автомобильной, аэрокосмической и транспортной промышленности, в области изделий бытовой техники, в сфере финансов, анализа и принятия управленческих решений и многих других.
Триумфальное шествие нечеткой логики по миру началось после доказательства в конце 80-х Бартоломеем Коско знаменитой теоремы FAT (Fuzzy Approximation Theorem). В бизнесе и финансах нечеткая логика получила признание после того как в 1988 году экспертная система на основе нечетких правил для прогнозирования финансовых индикаторов единственная предсказала биржевой крах. И количество успешных фаззи-применений в настоящее время исчисляется тысячами.
Проиллюстрируем это на простом примере. Формализуем неточное определение «Горячий чай». В качестве xx (область рассуждений) будет выступать шкала температуры в градусах Цельсия. Очевидно, что она будет изменяться от 0 до 100 градусов. Нечеткое множество для понятия «Горячий чай» может выглядеть следующим образом:
Так, чай с температурой 60С принадлежит к множеству «Горячий» со степенью принадлежности 0.80. Для одного человека чай при температуре 60С может оказаться горячим, для другого — не слишком горячим. Именно в этом и проявляется нечеткость задания соответствующего множества.
Для нечетких множеств, как и для обычных, определены основные логические операции. Самыми основными, необходимыми для расчетов, являются пересечение и объединение.
Пересечение двух нечетких множеств (нечеткое «И»):
Объединение двух нечетких множеств (нечеткое «ИЛИ»):
В теории нечетких множеств разработан общий подход к выполнению операторов пересечения, объединения и дополнения, реализованный в так называемых треугольных нормах и конормах. Приведенные выше реализации операций пересечения и объединения — наиболее распространенные случаи t-нормы и t-конормы.
Для описания нечетких множеств вводятся понятия нечеткой и лингвистической переменных.
Нечеткая переменная описывается набором (N,X,A), где N — это название переменной, X — универсальное множество (область рассуждений), A — нечеткое множество на X.
Значениями лингвистической переменной могут быть нечеткие переменные, т.е. лингвистическая переменная находится на более высоком уровне, чем нечеткая переменная. Каждая лингвистическая переменная состоит из:
Рассмотрим такое нечеткое понятие как «Цена акции». Это и есть название лингвистической переменной. Сформируем для нее базовое терм-множество, которое будет состоять из трех нечетких переменных: «Низкая», «Умеренная», «Высокая» и зададим область рассуждений в виде X=[100;200] (единиц). Последнее, что осталось сделать — построить функции принадлежности для каждого лингвистического терма из базового терм-множества T.
Существует свыше десятка типовых форм кривых для задания функций принадлежности. Наибольшее распространение получили: треугольная, трапецеидальная и гауссова функции принадлежности.
Треугольная функция принадлежности определяется тройкой чисел (a,b,c), и ее значение в точке xx вычисляется согласно выражению:
При (b−a)=(c−b) имеем случай симметричной треугольной функции принадлежности, которая может быть однозначно задана двумя параметрами из тройки (a,b,c).
Аналогично для задания трапецеидальной функции принадлежности необходима четверка чисел (a,b,c,d):
При (b−a)=(d−c) трапецеидальная функция принадлежности принимает симметричный вид.
Функция принадлежности гауссова типа описывается формулой:
и оперирует двумя параметрами. Параметр cc обозначает центр нечеткого множества, а параметр σ отвечает за крутизну функции.
Совокупность функций принадлежности для каждого терма из базового терм-множества T обычно изображаются вместе на одном графике. На рисунке 3 приведен пример описанной выше лингвистической переменной «Цена акции», на рисунке 4 – формализация неточного понятия «Возраст человека». Так, для человека 48 лет степень принадлежности к множеству «Молодой» равна 0, «Средний» – 0.47, «Выше среднего» — 0.20.
Количество термов в лингвистической переменной редко превышает 7.
Основой для проведения операции нечеткого логического вывода является база правил, содержащая нечеткие высказывания в форме «Если-то» и функции принадлежности для соответствующих лингвистических термов. При этом должны соблюдаться следующие условия:
В противном случае имеет место неполная база нечетких правил.
В общем случае механизм логического вывода включает четыре этапа: введение нечеткости (фазификация), нечеткий вывод, композиция и приведение к четкости, или дефазификация (см. рисунок 5).
Алгоритмы нечеткого вывода различаются, главным образом, видом используемых правил, логических операций и разновидностью метода дефазификации. Разработаны модели нечеткого вывода Мамдани, Сугено, Ларсена, Цукамото.
Рассмотрим подробнее нечеткий вывод на примере механизма Мамдани (Mamdani). Это наиболее распространенный способ логического вывода в нечетких системах. В нем используется минимаксная композиция нечетких множеств. Данный механизм включает в себя следующую последовательность действий:
Геометрический смысл такого значения — центр тяжести для кривой MF(y). Рисунок 6 графически показывает процесс нечеткого вывода по Мамдани для двух входных переменных и двух нечетких правил R1 и R2.
В результате объединения нескольких технологий искусственного интеллекта появился специальный термин — «мягкие вычисления» (soft computing), который ввел Л. Заде в 1994 году. В настоящее время мягкие вычисления объединяют такие области как: нечеткая логика, искусственные нейронные сети, вероятностные рассуждения и эволюционные алгоритмы. Они дополняют друг друга и используются в различных комбинациях для создания гибридных интеллектуальных систем.
Влияние нечеткой логики оказалось, пожалуй, самым обширным. Подобно тому, как нечеткие множества расширили рамки классической математическую теорию множеств, нечеткая логика вторглась практически в большинство методов Data Mining, наделив их новой функциональностью. Ниже приводятся наиболее интересные примеры таких объединений.
Нечеткие нейронные сети (fuzzy-neural networks) осуществляют выводы на основе аппарата нечеткой логики, однако параметры функций принадлежности настраиваются с использованием алгоритмов обучения НС. Поэтому для подбора параметров таких сетей применим метод обратного распространения ошибки, изначально предложенный для обучения многослойного персептрона. Для этого модуль нечеткого управления представляется в форме многослойной сети. Нечеткая нейронная сеть, как правило, состоит из четырех слоев: слоя фазификации входных переменных, слоя агрегирования значений активации условия, слоя агрегирования нечетких правил и выходного слоя.
Наибольшее распространение в настоящее время получили архитектуры нечеткой НС вида ANFIS и TSK. Доказано, что такие сети являются универсальными аппроксиматорами.
Быстрые алгоритмы обучения и интерпретируемость накопленных знаний — эти факторы сделали сегодня нечеткие нейронные сети одним из самых перспективных и эффективных инструментов мягких вычислений.
Классические нечеткие системы обладают тем недостатком, что для формулирования правил и функций принадлежности необходимо привлекать экспертов той или иной предметной области, что не всегда удается обеспечить. Адаптивные нечеткие системы (adaptive fuzzy systems) решают эту проблему. В таких системах подбор параметров нечеткой системы производится в процессе обучения на экспериментальных данных. Алгоритмы обучения адаптивных нечетких систем относительно трудоемки и сложны по сравнению с алгоритмами обучения нейронных сетей, и, как правило, состоят из двух стадий:
Первая задача относится к задаче переборного типа, вторая — к оптимизации в непрерывных пространствах. При этом возникает определенное противоречие: для генерации нечетких правил необходимы функции принадлежности, а для проведения нечеткого вывода — правила. Кроме того, при автоматической генерации нечетких правил необходимо обеспечить их полноту и непротиворечивость.
Значительная часть методов обучения нечетких систем использует генетические алгоритмы. В англоязычной литературе этому соответствует специальный термин — Genetic Fuzzy Systems.
Значительный вклад в развитие теории и практики нечетких систем с эволюционной адаптацией внесла группа испанских исследователей во главе с Ф. Херрера (F. Herrera).
Нечеткие запросы к базам данных (fuzzy queries) — перспективное направление в современных системах обработки информации. Данный инструмент дает возможность формулировать запросы на естественном языке, например: «Вывести список недорогих предложений о съеме жилья близко к центру города», что невозможно при использовании стандартного механизма запросов. Для этой цели разработана нечеткая реляционная алгебра и специальные расширения языков SQL для нечетких запросов. Большая часть исследований в этой области принадлежит западноевропейским ученым Д. Дюбуа и Г. Праде.
Нечеткие ассоциативные правила (fuzzy associative rules) — инструмент для извлечения из баз данных закономерностей, которые формулируются в виде лингвистических высказываний. Здесь введены специальные понятия нечеткой транзакции, поддержки и достоверности нечеткого ассоциативного правила.
Нечеткие когнитивные карты (fuzzy cognitive maps) были предложены Б. Коско в 1986 г. и используются для моделирования причинных взаимосвязей, выявленных между концептами некоторой области. В отличие от простых когнитивных карт, нечеткие когнитивные карты представляют собой нечеткий ориентированный граф, узлы которого являются нечеткими множествами. Направленные ребра графа не только отражают причинно-следственные связи между концептами, но и определяют степень влияния (вес) связываемых концептов.
Активное использование нечетких когнитивных карт в качестве средства моделирования систем обусловлено возможностью наглядного представления анализируемой системы и легкостью интерпретации причинно-следственных связей между концептами. Основные проблемы связаны с процессом построения когнитивной карты, который не поддается формализации. Кроме того, необходимо доказать, что построенная когнитивная карта адекватна реальной моделируемой системе. Для решения данных проблем разработаны алгоритмы автоматического построения когнитивных карт на основе выборки данных.
Нечеткие методы кластеризации, в отличие от четких методов (например, нейронные сети Кохонена), позволяют одному и тому же объекту принадлежать одновременно нескольким кластерам, но с различной степенью. Нечеткая кластеризация во многих ситуациях более «естественна», чем четкая, например, для объектов, расположенных на границе кластеров. Наиболее распространены: алгоритм нечеткой самоорганизации c-means и его обобщение в виде алгоритма Густафсона-Кесселя.
Список можно продолжить и дальше: нечеткие деревья решений, нечеткие сети Петри, нечеткая ассоциативная память, нечеткие самоорганизующиеся карты и другие гибридные методы.
Теория нечётких множеств
Теория нечётких множеств — раздел прикладной математики, посвященный методам анализа неопределённых данных, в которых описание неопределённостей реальных явлений и процессов проводится с помощью понятия о множествах, не имеющих чётких границ.
Теория нечётких множеств — это расширение классической теории множеств. В классической теории множеств принадлежность элементов некоторому множеству понимается в бинарных терминах в соответствии с чётким условием — элемент либо принадлежит, либо не принадлежит данному множеству. В теории нечётких множеств допускается градуированное понимание принадлежности элемента множеству; степень принадлежности элемента описывается при помощи функции принадлежности.
Переход от принадлежности элементов заданному множеству — к непринадлежности их этому множеству происходит или может происходить постепенно, не резко.
Содержание
Математический аппарат
Нечёткое множество характеризуется функцией принадлежности, отображающей некоторое множество (носитель нечёткого множества) в отрезок [0; 1]. Значение функции принадлежности показывает степень принадлежности соответствующего элемента носителя рассматриваемому нечёткому множеству. Это значение меняется от 0 (полная непринадлежность) до 1 (полная принадлежность).
История
Понятие «нечёткое множество» введено Л. А. Заде в 1965 г. [1]. Исходный термин — fuzzy set. Другие варианты перевода на русский язык — расплывчатое, размытое, туманное, пушистое множество.
Теория нечётких множеств в определённом смысле сводится к теории случайных множеств и тем самым к теории вероятностей [2, 3, 4].
Применение
Теория нечётких множеств применяется в теории и практике управления системами, в экономике и финансах для решения задач в условиях неопределённости ключевых показателей. Ряд стиральных машин и фотоаппаратов сегодня оборудованы нечёткими контроллерами.
В социологии
В социологии классификация и типология может проводиться по выбранным критериям, или по эмпирически обнаруженным основаниям. Это позволяет выделить теоретические и эмпирические типологии.
В психологии
Литература
См. также
Полезное
Смотреть что такое «Теория нечётких множеств» в других словарях:
Теория нечётких множеств (Заде) — Эту страницу предлагается объединить с Теория нечётких множеств … Википедия
Нечёткие множества — Нечёткое (или размытое, расплывчатое, туманное, пушистое) множество понятие, введённое Лотфи Заде в 1965 г. в статье «Fuzzy Sets» (нечёткие множества) в журнале Information and Control [1]. Л. Заде расширил классическое канторовское понятие… … Википедия
Нечёткая логика — (англ. fuzzy logic) и теория нечётких множеств раздел математики, являющийся обобщением классической логики и теории множеств. Понятие нечёткой логики было впервые введено профессором Лютфи Заде в 1965 году. В его статье понятие множества… … Википедия
Нечёткое множество — Эту страницу предлагается объединить с Теория нечётких множеств … Википедия
Нечёткие множества в финансовом менеджменте — В ходе управления финансами очень часто возникает задача борьбы с неопределенностью, сопровождающей финансовые решения. Неопределенность эта двоякая: а) текущее состояние финансовой системы не может быть распознано с необходимой точностью; б)… … Википедия
Нечеткие множества — Нечёткое (или размытое, расплывчатое, туманное, пушистое) множество понятие, введённое Лотфи Заде в 1965 г. в статье «Fuzzy Sets» (нечёткие множества) в журнале Information and Control [1]. Л. Заде расширил классическое канторовское понятие… … Википедия
Нечеткое множество — Нечёткое (или размытое, расплывчатое, туманное, пушистое) множество понятие, введённое Лотфи Заде в 1965 г. в статье «Fuzzy Sets» (нечёткие множества) в журнале Information and Control [1]. Л. Заде расширил классическое канторовское понятие… … Википедия
Пушистое множество — Нечёткое (или размытое, расплывчатое, туманное, пушистое) множество понятие, введённое Лотфи Заде в 1965 г. в статье «Fuzzy Sets» (нечёткие множества) в журнале Information and Control [1]. Л. Заде расширил классическое канторовское понятие… … Википедия
Пушистые множества — Нечёткое (или размытое, расплывчатое, туманное, пушистое) множество понятие, введённое Лотфи Заде в 1965 г. в статье «Fuzzy Sets» (нечёткие множества) в журнале Information and Control [1]. Л. Заде расширил классическое канторовское понятие… … Википедия
Нечеткая логика — Нечёткая логика и теория нечётких множеств раздел математики, являющийся обобщением классической логики и теории множеств. Понятие нечеткой логики было впервые введено профессором Лотфи Заде в 1965 г. Содержание 1 Направления исследований… … Википедия