Зачем необходимы треугольные нормы и конормы? Как их использовать? Имеется ввиду, на практике. |
Классы нечетких отношений
Задачи нечеткого упорядочения
Любую задачу принятия решений можно сформулировать как задачу отыскания
максимального элемента в множестве альтернатив с заданным в нем отношением
предпочтения. Однако во многих реальных ситуациях в множестве альтернатив
можно определить лишь нечеткое отношение предпочтения, т.е. указать для
каждой пары альтернатив и
лишь степени, с
которыми выполняются
предпочтения
и
. В таких случаях задача
принятия решения становится неопределенной, поскольку неясно, что такое
максимальный элемент для нечеткого отношения предпочтения. Для двух типов нечетких отношений
можно предложить способы упорядочения элементов конечного множества, в котором
задано нечеткое отношение. Способы эти сводятся к тому, что для каждого из
рассматриваемых типов нечетких отношений строится некоторая функция (напоминающая функцию
полезности), и элементы множества упорядочиваются по соответствующим им
значениям этой функции.
Пусть — функция принадлежности бинарного нечеткого
отношения в множестве
(например, отношения нестрого
предпочтения).
Допустим, что рассматривается задача упорядочения элементов конечного
множества
. Упорядочение можно
осуществлять по значениям следующей функции:
![f(x_i |T) = \mathop {\min }\limits_j \;f(x_i |x_j ),](/sites/default/files/tex_cache/852ce72d23355629adce0945fb493912.png)
![x_{j}\in T](/sites/default/files/tex_cache/8f1becd2a091d0555019d4f71df08085.png)
![f(x_i |x_j ) = \frac{{f(x_i ,x_j )}}
{{\max \{ f(x_i ,x_j ),f(x_j ,x_i )\} }}.](/sites/default/files/tex_cache/d828392d9530317d5ddefdff3930bb2d.png)
![f(x_{i} | T)](/sites/default/files/tex_cache/da2d7b57534ff11b141c90448c9f7a5d.png)
![f(x_i |T) = \min \left\{ {\frac{{f(x_i ,x_1 )}}
{{f(x_1 ,x_i )}},\ldots ,\frac{{f(x_i ,x_n )}}
{{f(x_n ,x_i )}}} \right\}.](/sites/default/files/tex_cache/a16e13794dd52b89662849f16e340a3c.png)
![T](/sites/default/files/tex_cache/b9ece18c950afbfa6b0fdbfa4ff731d3.png)
![\(x_i^0\)](/sites/default/files/tex_cache/f953e3dcd54cfe71ec0288b93c95dbdd.png)
![f(x_i^0 |T) = \mathop {\max }\limits_{x_k \in T} \;f(x_k
|T).](/sites/default/files/tex_cache/2c6f970e489218c3844c74e725d03c08.png)
Рассмотрим еще одну задачу упорядочения, иллюстрируемую следующим примером.
Требуется решить, кто из детей: старший сын , младший сын
или дочь
больше всего похож на отца
. Заданы "результаты
измерений":
и
взятые отдельно, похожи на отца со степенями
и
соответственно;
и
,
взятые отдельно, похожи на отца со степенями
и
; наконец,
и
,
взятые отдельно, похожи на отца со степенями
и
.
Таким образом, в этой задаче, в отличие от предыдущей, имеется стандартный
элемент (шаблон) для упорядочиваемого множества , т.е. элемент,
обладающий
свойствами, общими для всех элементов этого множества. Иначе говоря, если
—
нечеткое отношение в
(например, отношение сходства), то
![f(z,x_i ) = 1,\quad \quad
\t{\char228}\t{\char235}\t{\char255}\;\t{\char235}\t{\char254}\t{\char225}\t{\char238}\t{\char227}\t{\char238}\;x_i \in T.](/sites/default/files/tex_cache/163cd8bc1f7661eaf821096d24aff7f6.png)
При наличии стандартного элемента для каждой пары элементов
и
множества
задаются величины
,
, т.е.
степени отношения (например, сходства)
и
, взятых отдельно, к
.
Упорядочение элементов множества
с заданным
таким способом нечетким отношением предлагается осуществлять в соответствии
со значениями функции
![f(x_j |T:z) = \min \left\{ {\frac{{f(x_j ,x_1 :z)}}
{{f(x_1 ,x_j :z)}},\ldots ,\frac{{f(x_j ,x_n :z)}}
{{f(x_n ,x_j :z)}}} \right\}.](/sites/default/files/tex_cache/da390543036fce151311534d4dba7117.png)
Максимальным в смысле этого упорядочения является элемент такой,
что
![f(x_i^0 |T:z) = \mathop {\max }\limits_{x_k \in T} \;f(x_k
|T:z).](/sites/default/files/tex_cache/cecfec1595d187ed44fa64429f8d0f09.png)
Для задачи о сходстве отца и детей значения этой функции таковы:
![f(x_1 |T:z) = 1,\quad f(x_2 |T:z) = {4 \mathord{\left/
{\vphantom {4 7}} \right.
\kern-\nulldelimiterspace} 7},\quad f(x_3 |T:z) = {3 \mathord{\left/
{\vphantom {3 5}} \right.
\kern-\nulldelimiterspace} 5}.](/sites/default/files/tex_cache/7f79556bc86e9a6f0eb3d12cf2afe4b3.png)
Отсюда вытекает, что наиболее похож на отца старший сын, затем следуют дочь и младший сын.