3. Нечеткие множества

3.1 Понятие нечеткого множества

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

Иначе дело обстоит со сложными системами. Для получения существенных выводов о поведении сложных систем необходимо отказаться от высокой точности и строгости при построении модели и привлекать при ее построении подходы, которые являются приближенными по своей природе. Один из таких подходов связан с введением лингвистических переменных, описывающих нечеткое отражение человеком окружающего мира. Для того чтобы лингвистическая переменная стала полноправным математическим объектом, было введено понятие нечеткого множества.

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

Однако в мире нельзя все разделить только на белое и черное, истину и лож. Так, еще Будда видел мир, заполненный противоречиями, вещи могли быть истинны в некоторой степени и, в некоторой степени, ложны в то же самое время. Платон положил основу того, что станет нечеткой логикой, указывая, что имелась третья область (вне Истины и Лжи) где эти противоречия относительны.

Профессор Калифорнийского университета Заде опубликовал в 1965 статью «Нечеткие множества», в которой он расширил двузначную оценку 0 или 1 до неограниченной многозначной оценки выше 0 и ниже 1 в замкнутом интервале [0,1] и впервые ввел понятие «нечеткого множества». Вместо термина «характеристическая функция» Заде использовал термин «функция принадлежности». Нечеткое множество (оставлено то же обозначение, что и для четкого множества) в универсальном пространстве через функцию принадлежности (то же обозначение, что и для характеристической функции) определяется следующим образом

(3.1)

Функция принадлежности чаще всего интерпретируется следующим образом: величина означает субъективную оценку степени принадлежности элемента нечеткому множеству , например, означает, что на 80% принадлежит . Следовательно, должны существовать «моя функция принадлежности», «твоя функция принадлежности», «функция принадлежности специалиста» и т. п. Графическое представление нечеткого множества диаграмма Венна представляет собой концентрические окружности рис. 1. Функция принадлежности нечеткого множества имеет колоколообразный график в отличие от прямоугольного характеристической функции четкого множества рис. 1.

Следует обратить внимание на связь четкого и нечеткого множеств. Два значения {0,1} характеристической функции принадлежат замкнутому интервалу [0,1] значений функции принадлежности. Следовательно, четкое множество является частным случаем нечеткого множества, а понятие нечеткого множества является расширенным понятием, охватывающим и понятие четкого множества. Другими словами четкое множество является и нечетким множеством.

Нечеткое множество строго определяется с помощью функции принадлежности и не содержит какой-либо нечеткости. Дело в том, что нечеткое множество строго определяется с помощью оценочных значений замкнутого интервала [0,1], а это и есть функция принадлежности. В случае если универсальное множество состоит из дискретного конечного набора элементов, то исходя из практических соображений, указывают значение функции принадлежности и соответствующий элемент, используя знаки разделения / и +. Например, пусть универсальное множество состоит из целых чисел меньших 10, тогда нечеткое множество «малые числа» можно представить в виде

A=1/0 + 1/1 + 0,8/2 + 0,5/3 + 0,1/4

Здесь, например, 0,8/2 означает . Знак + обозначает объединение. При написании нечеткого множества в приведенном выше виде опускаются элементы универсального множества со значениями функции принадлежности, равными нулю. Обычно записывают все элементы универсального множества с соответствующими значениями функции принадлежности. Используется запись нечеткого множества, как в теории вероятностей,

Определение. В общем случае нечеткое подмножество универсального множества определяется как множество упорядоченных пар

. (3.2)