Полная версия

Главная arrow Информатика arrow ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ: НЕЧЕТКИЕ СИСТЕМЫ И СЕТИ

  • Увеличить шрифт
  • Уменьшить шрифт


<<   СОДЕРЖАНИЕ ПОСМОТРЕТЬ ОРИГИНАЛ   >>

Нечеткие отношения

Рассмотренные нечеткие множества имели в качестве области определения одномерное пространство. В нечетких системах зачастую областью определения нечетких множеств являются многомерные пространства. При этом особый интерес представляют множества с двумерной областью определения. Нечеткие множества на много мерных областях определения задаются как нечеткие отношения. Нечетким k-арным отношением, заданным на множествах (универсумах) Xh Х2,..., Хк9 называется нечеткое множество R, определенное на декартовом произведении

х Х2 х ... х Хк. Другими словами, нечеткое отношение - это мно- жсство пар /? = {{*,,*,,...,**),Mr((*„дг2,..**})}, где (*„*2,..хк) - кортеж из к элементов, каждый из которых выбирается из своего универсума: дг, е X,, лг2 е Х,,...,л* € Хк, •••>**)) _ функция

принадлежности нечеткого отношения, которая определяется как отображение //*:е X,, х2 € Х2,...,xt е X* ->• [0,1]. Напомним, что декартовым произведением конечного числа множествХх х Х2 х... к называется множество всех кортежей (*,,л;2,...,хк) длины к, составленных из элементов этих множеств: € X,,х, е Х2,...,хк е Хк.

Отношение (четкое или нечеткое), построенное на основе двух множеств, называется бинарным, на основе трех множеств - тернарным, на основе к множеств - /г-арным. Отношение может быть задано на одном универсуме. Например, бинарное нечеткое отношение, заданное на универсуме X, имеет вид R = {{*,, *,•), /'({*,, *,})}, при этом -V, 6 X и Xj 6 X.

Нечеткие отношения могут быть заданы различными способами:

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

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

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

в виде нечеткого графа, вершины которого соответствуют элементам универсумов Хх и Х2, а дуга, соединяющая вершины xt еХ и ху. е X, показывает, что кортеж (^хп х^ входит в отношение. Около каждой дуги указывается функция принадлежности соответствующего кортежа.

Рассмотрим пример. Пусть даны два множества: Xj ={#,, а2,...,а6} - множество пользователей Internet и

Х2 ={/?,, } - множество Internet. Декартово произведение

X, х Х2 в матричной форме имеет вид

Примером нечеткого отношения, заданного на X, х Х2, является отношение «Пользоваться браузером». В матричной форме каждый элемент такого отношения функцию принадлежности, в нашем примере - степень популярности у каждого пользователя каждого браузера.

Так как нечеткое отношение является нечетким множеством, то сохраняются определения над отношениями. Например, [12], пересечением двух нечетких отношений

, /jr ((х,, х2,..., jc* ))} называется нечеткое отношение S, заданное на этом же декартовом произведении универсумов X, х Х2 х ... * Хк, функция принадлежности которого определяется по формуле

Объединением двух нечетких отношений Q и R называется нечеткое отношение S, заданное на этом же декартовом произведении универсумов X, * Х2 * ... х Хк, функция принадлежности которого определяется по формуле

Операции над нечеткими отношениями могут быть определены с помощью t-норм и s-норм.

Зачастую требуется выполнить операции над нечеткими множествами, заданными на разных универсумах^", и X,. Такие множества с помощью операции цилиндрического продолжения (расширения) предварительно приводят к нечетким отношениям, заданным па декартовом произведении Xt и Х2, а затем выполняют операцию над отношениями, заданными на одном универсуме. Цилиндрическое продолжение определяется следующим образом [14]. Пусть Ху иХ2- четкие множества (функции принадлежности элементов которых равны единице), а А - нечеткое множество, заданное на Х{. Цилиндрическим продолжением А* множества А на область определения Xt х Х2 называется отношение, представляющее собой декартово произведение А X X,. Функция принадлежности А* имеет вид

В матричном представлении отношения А* столбцы матрицы функций принадлежности будут одинаковыми и равными значениям функции принадлежности нечеткого множества А*.

Используется также операция проекции, противоположная цилиндрическому продолжению. Если А - нечеткое отношение с областью определения X, х Х2, то проекцией этого отношения на множество Х1 называется нечеткое множество А*, функция принадлежности которого имеет вид М(*,, х2) = max А (х,, х2).

Рассмотрим также операцию композиции (комбинации) бинарных отношений. Пусть бинарное нечеткое отношение Q = f(*; >xj)> Mq ((•*, » xj ))| задано на декартовом произведении Х] х Х2, а нечеткое отношение R ={(*,> /*Ry{xJ9 ^})} задано на декартовом произведении Х2 х Ху Композицией бинарных отношений Q и R называется нечеткое бинарное отношение, обозначаемое через Q®R (используется также обозначение Q®R [18]), заданное на декартовом произведении X, х функция принадлежности которого определяет- ся формулой HQ&R ((xj, хк}) = max jmin |//у ({х„ х,.}), ({х;1 хк))} J,

V{xi,X()eXl xXj.

Такую композицию называют еще (тах-тт)-композицией или максиминной сверткой нечетких отношений.

Вместо операции в композиции можно использовать операцию

Важную роль в нечетком выводе играет композиция (комбинация) нечеткого множества /1сХи нечеткого отношения ЛсХх Y, которая обозначается A® R (или A® R) и определяется как нечеткое множество 5cY и функцией принадлежности [ 18]

Вместо операции min в композиции можно использовать операцию prod. Более подробно с операциями над нечеткими отношениями можно познакомиться в [4, 12, 14, 18].

 
<<   СОДЕРЖАНИЕ ПОСМОТРЕТЬ ОРИГИНАЛ   >>