Отношения между нечеткими множествами

В любом нечетком контроллере отношения между множествами играют главную роль. Понятие нечеткого отношения, наряду с понятием самого нечеткого множества, следует отнести к фундаментальным основам всей теории нечетких множеств. Нечеткое отношение часто заменяется терминами нечеткая связь, ассоциация, взаимосвязь или соотношение. Некоторые отношения затрагивают элементы одного и того же универсума: например, одно измерение больше другого, одно событие наступает раньше другого, один элемент похож на другой элемент и т.п. Другие отношения связывают элементы из разных универсумов, например величина измерения большая и его скорость изменения положительная, x- координата (абсцисса) большая и y- координата (ордината) малая. В этих примерах фигурируют отношения между двумя множествами. Однако в принципе могут иметь место отношения, устанавливающие связи между несколькими множествами.

Формально бинарное четкое отношение или просто четкое отношение R между двумя четкими множествами и (отношение между элементами x и y множеств и ) приписывает каждой упорядоченной паре только лишь одно из следующих утверждений: а) «x связано с y» или б) «x несвязано с y». Продукционное пространство или декартово произведение множеств есть множество всех возможных комбинаций (пар) элементов (значений) из и или это то же, что для всех , т.е.

.

Нечеткое отношение R между множествами A и , называемое бинарным (двумерным) нечетким множеством, есть нечеткое подмножество декартового произведения соответствующих этим множествам универсумов A и B. При этом двумерная функция принадлежности , описывающая нечеткое отношение, показывает степень выполнения отношения

между элементами x и y, ,

Отсюда нечеткие отношения являются более гибкими по сравнению с традиционными (четкими) отношениями. Они позволяют задавать не только сам факт выполнения соотношений, но и указывать степень его выполнения, что является очень важным для многих практических задач, в частности для задач управления.

Нечеткое отношение R между множествами A и называют бинарным (двумерным) нечетким множеством с функцией принадлежности . Если множество A состоит из m элементов, а множество из элементов, то является матрицей размерности (). По сути дела нечеткое отношение можно считать равным своей функции принадлежности , т.е. можно записать, что .

Пример 1. R:x y ( x приблизительно равно y). При этом

.

Пример 2. Еще один пример функции принадлежности нечеткого отношения R в случае, когда имеет место треугольная функция принадлежности для A и трапециидальная функция принадлежности для B, показан на рисунке ниже.

Пример 3. Предположим, например, что племянник Ивана Соколова Владимир похож на другого племянника Бориса со степенью 0,8, и Владимир похож со степенью 0,9 на третьего племянника Николая. Отсюда имеет место отношение между подмножествами племянников в семье. Его удобно представить в виде матрицы (с одной строкой)

Здесь мы рассматриваем отношение «Владимир похож на других племянников». Нечеткое множество A состоит из одного элемента = =Владимир, нечеткое множество из двух элементов = Борис и = =Николай. Функция принадлежности

=[0,8 0,9]

задает отношение между множествами A и B.

Композиция. Для того чтобы показать, каким образом два отношения могут быть представлены как их комбинация (композиция), пропишем еще отношение между Борисом и Николаем, с одной стороны, и Иваном Соколовым − с другой в виде матрицы (с одним столбцом)

Здесь мы рассматриваем отношение «Племянники Борис и Николай похожи на Соколова». Нечеткое множество C состоит из одного элемента = Соколов, нечеткое множество из двух элементов = Борис и = Николай. Функция принадлежности для отношения между множествами и C имеет вид матрицы с одним столбцом

= .

Заманчиво теперь найти ответ на вопрос, насколько похож Владимир на Ивана Соколова, другими словами, найти отношение «Владимир похож на Соколова» или отношение

между A и C путем комбинации сведений, приведенных в двух указанных матрицах:

а) Владимир похож со степенью 0,8 на Бориса, и Борис похож со степенью 0,5 на Соколова;

б) Владимир похож со степенью 0,9 на Николая, и Николай похож со степенью 0,6 на Соколова.

Утверждение (высказывание) “а” содержит последовательную цепочку (связь) отношений (рис. 1.4,а) и, по-видимому, резонно объединить их (отношения) с помощью операции пересечение. В соответствии с данным нами определением операции пересечение она здесь сводится к выбору наименьшего значения степени принадлежности для отношения Владимир – Соколов, т.е. 0,5. Аналогично поступаем с отношением “б”. Осуществляя описанные операции применительно к последовательным цепочкам (связям) “а” и “б”, получаем параллельную цепочку (связь) (рис. 1.4,б)

в) Владимир похож со степенью 0,5 на Соколова.

г) Владимир похож со степенью 0,6 на Соколова

Полученные отношения “в” и “г” кажутся одинаково обоснованными, однако, по-видимому, разумно применить операцию объединение, чтобы получить единственный ответ. В соответствии с данным нами определением операции объединение она в данном случае сводится к выбору наиболее сильной связи, т.е. к выбору наибольшего значения (максимума) степени принадлежности. Окончательный результат, представленный на рис. 1.4,в, надо трактовать как

д) Владимир похож со степенью 0,6 на Соколова.

Визуальное изображение отношений и композиции с помощью графов показано на рис. 1. 4.

Общее правило, когда осуществляется комбинация или, другими словами, композиция нечетких отношений, выбрать минимальное значение в «последовательной связи (цепи)» и максимальное значение в «параллельной связи (цепи)». Эти операции удобно реализовать, используя внутреннее произведение.