Нечеткие множества и основные операции над ними. В 1965г. Заде предложил теорию нечетких или размытых множеств, получивших также название нечеткой логики

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

- в некоторых ситуациях невозможно или не нужно точное определение параметров;

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

Конечное нечёткое множество А из универсального множества U – это множество упорядоченных пар:

A={u_i,µ_A(u_i)}, u_i ϵ U

Где µ_A(u_i) – значение истинности, определяющее функцию принадлежности, которая указывает предполагаемую степень принадлежности этому множеству.

В нечётких множествах функция принадлежности (мера членства) задаётся на интервале [0,1] часто в виде точки этого интервала. Если µ_A(u_i) может принимать значения в интервале [0,1] и µ_A(u_i)=0 будет означать, что элемент u_i не принадлежит множеству A, µ_A(u_i)=1 означает, что u_i принадлежит множеству A, а любое значение 0<µ_A(u_i)<1 определяет степень принадлежности u_i множеству А, тогда А – нечёткое множество. При этом µ_A(u_i) может быть как непрерывной, так и дискретной.

Пример. Пусть Х – множество отечественных машин.

Х={“Волга”,”Запорожец”,”Москвич”,”Жигули”}. Тогда можно определить нечёткое множество А хороших машин так: А={(“Волга”;1), (“Запорожец”;0.4), (“Москвич”;0.6), (“Жигули”,0.8)}. Функция принадлежности выбирается субъективно, зависит от субъекта, его настроения, цели построения множеств и т.д.

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

Объединением двух нечетких множеств A и B называется множество C, обозначаемое C  A  B  A OR B, функция принадлежности которого задается выражением:

Можно сказать, что объединением двух нечетких множеств является множество - «наименьшее» среди всех, которые включают оба эти множества.

Пересечением двух нечетких множеств A и B называется множество C, обозначаемое C AB  A AND B, функция принадлежности которого задается выражением:

Как и в предыдущем случае, определение можно интерпретировать, так: пересечением двух множеств является «наибольшее» среди всех, которые включены и в A, и в B

Дополнением (отрицанием) нечеткого множества A называется множество, обозначаемое A или  A, или NOT A, функция принадлежности которого определяется выражением:

Рис. 6 иллюстрирует вышеперечисленные стандартные операции над множествами.

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