§ 1.4. Виды областей определения функций принадлежности

Еще одним основанием для классификации НМ является вид области определения функции принадлежности. До сих пор предполагалось, что область определения функции принадлежности НМ совпадает с базовым множеством X. Однако нередко точность моделирования реального процесса не ухудшается, если задавать нечеткие множества на различных подмножествах универсального множества X. Более того, это дает возможность отразить динамику изменения базового множества в конкретной ситуации принятия решения, например, уменьшение полного количества сравниваемых альтернатив в задаче выбора в условиях дефицита времени и, таким образом, понизить общую размерность задачи. Формально нечеткие подмножества, определенные на четких подмножествах базового множества X, записываются в виде отображения |л: 2^ [О, 1] или в обозначениях Заде как множество упорядоченных пар

где А^ = {х^Х\\!іа{х)^ а) и называются нечеткими множествами уровня а [53].

Пример задания НМ уровня а. Пусть в универсальном множестве X = {Хі, ..Хъ) определено НМ

Тогда НМ уровня а = 0,6 Ла=о,в = ((.^i, 0,7), {х^, 1), {хь, 0,9)}, а НМ уровня 0,9 Аа=<,.я = і {Хі, 1), {х^, 0,9)}.

Иллюстративный пример [17], Пусть U — физиіческое пространство сигналов, а У — сенсорное пространство в задачах вооприятия сигналов. Отражение множества сигналов в образах сенсорного пространства представляем с помощью нечеткого соответствия : 2^^-S-^ (2^ ), т. е. любой последовательности сигналов физического пространства мі, «2, ... ставятся в соответствие динамический размытый образ сенсорного пространства М,се^(2'"); ^(2'") = {цсІМ-с; [О, 1]}; тогда проблема определения порогов в психофизике связывается с определением уровня а для Цс-

В [6] множество нечеткого уровня а. понимается как множество элементов х^Х, для которых функция принадлежности больше, чем «приблизительно а», т. е. принадлежит размытому интервалу (а, 1]. Если = Ц~Ч(“* l]), где |л“'; [О, 1]X и М.[а, 1] — характеристическая функция интервала [а, 1], то

Продолжая обобщать структуру области определения НМ, приходим к понятию нечетких подмножеств нечетко описанных универсальных множеств. Нечеткое множество есть НМ типа р (р = 1, 2, ...), если значениями его функции принадлежности являются НМ типа (р —1) [5]. Иначе такие объекты определяются рекурсивно как элементы классов

где

Нечеткие множества типа 2 могут интерпретироваться как нечеткие высказывания вида «х есть А есть Я», где А — некоторая оценка, принимающая значения из L, а. К — степень истинности или достоверности этой оценки [10]. Все операции над НМ класса ^(X) расширяются для НМ типа 2 согласно принципу обобщения: если А: (іа(х)={(ч, f(u))h В: [гв (^) = {(^, (у))} ѴжеХ, то А* В: \іА* = {{{и *ѵ), f(u) А g{v))}, где Д —операция пересечения шіп [45]. Когда в качестве оператора пересечения для /(и) и g(v) используется произведение, то имеем р.л{х)* Цв{х)={{и* V, f{u)-g{v))} [48]. Операция отрицания для НМ типа 2 с функцией принадлежности |Лл(.г) = {(и, f{u))} ѴжеХ принимает вид    (.г) = {((1 — /(w))}. В отличие

от НМ из класса ^t{X) = L^ НМ типа 2 из класса ^l{^l{X)) — =  не образуют дистрибутивной решетки, а дают лишь ква-

зирешетку относительно расширенных операций объединения (шах), пересечения (шіп) и дополнения. Здесь в общем случае не выполняются законы поглощения; для того чтобы была

дистрибутивной решеткой, нечеткие множества типа 2 должны

дополнительно удовлетворять свойствам нормальности и выпуклости.

Понятие класса объектов бесконечного порядка нечеткости (X) вводится [33] как прямой предел последовательности

отображений X -Д- (X) -> (X) ^2 (X). Класс

представляет собой как бы универсум L-нечетких множеств, замкнутый относительно процесса построения новых L-нечетких множеств (дальнейшего увеличения порядка нечеткости), а элементы из {X) являются классами эквивалентности для элементов в и ^1(Х)[Щ. Соотношение между ^ь{Х) ж ^ь{Х) п=0

устанавливается с помощью теоремы изоморфизма [40].

Важный частный случай нечеткого множества типа 2 — так называемое ^-нечеткое множество [37]*), каждое значение функции принадлежности которого является не точкой, а фиксированным интервалом в [О, 1]. 5^-нечеткое множество задается отображением

Как показано в [15], алгебра 5^-нечетких множеств является булевой алгеброй. Основные операции над 5®-нечеткими множествами и отношениями рассмотрены на рис. 1.4, 1.5.

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