Зачем необходимы треугольные нормы и конормы? Как их использовать? Имеется ввиду, на практике. |
Нечеткие отношения
Проекции нечетких отношений
Важную роль в теории нечетких множеств играет понятие проекции нечеткого отношения. Дадим определение проекции бинарного нечеткого отношения.
Пусть — функция принадлежности нечеткого отношения в
. Проекции
и
отношения
на
и
— есть
множества в
и
с функцией принадлежности
вида
![\begin{gathered}
\mu _{Q_U } (x) = \mathop {\sup }\limits_V \;\mu _Q (x,y), \\
\mu _{Q_V } (y) = \mathop {\sup }\limits_U \;\mu _Q (x,y). \\
\end{gathered}](/sites/default/files/tex_cache/69359939500e84206964d56c1d8b6357.png)
Условной проекцией нечеткого отношения на
, при произвольном
фиксированном
, называется множество
с функцией принадлежности
вида
.
Аналогично определяется условная проекция на при заданном
:
![\mu _{P_V } (y|x_0 ) = \mu _Q (x_0 ,y).](/sites/default/files/tex_cache/9ed179e2d6ce6720103b0bf077c89b83.png)
Из данного определения видно, что проекции и
не влияют на условные проекции
и
,
соответственно.
Дадим далее определение, которое учитывает их взаимосвязь.
Условные проекции второго типа определяются следующим образом:
![\begin{gathered}
\mu _{P_U } (x|y_0 ) = \frac{{\mu _Q (x,y_0 )}}
{{\mu _{Q_V } (y_0 )}},\quad \mu _{Q_V } (y_0 ) > 0, \\
\mu _{P_U } (y|x_0 ) = \frac{{\mu _Q (x_0 ,y)}}
{{\mu _{Q_U } (x_0 )}},\quad \mu _{Q_U } (x_0 ) > 0. \\
\end{gathered}](/sites/default/files/tex_cache/29f02e1c233e84bd36cc128fa3ae3b82.png)
Если или
,
то полагаем, соответственно, что
или
.
Заметим, что условные проекции первого типа содержатся в соответствующих проекциях второго типа.
Пусть и
— базовые множества,
— нечеткое
отношение
в
и
и
— его
проекции на
и
, соответственно.
Нечеткие множества и
называются независимыми, если
![Q= Q_{U}\times Q_{V}.](/sites/default/files/tex_cache/7c7221bd0be78577405e5194a42af5ea.png)
Следовательно, они независимы по первому типу, если
![\mu _Q (x,y) = \mu _{Q_U } (x) \wedge \mu _{Q_V }
(y),](/sites/default/files/tex_cache/667ced3c927d93d716beb83d1d4cdaf0.png)
![\mu _Q (x,y) = \mu _{Q_U } (x) \cdot \mu _{Q_V }
(y).](/sites/default/files/tex_cache/6223179889e49cbbf5cecf0f00e5cb92.png)
В противном случае проекции и
являются
зависимыми (соответствующего типа).
Независимость второго типа можно интерпретировать следующим образом.
Данные соотношения с учетом производильности и
перепишем в виде
![\begin{gathered}
\mu _Q (x,y) = \mu _{P_U } (x|y)\mu _{Q_V^{} } (y), \\
\mu _Q (x,y) = \mu _{P_V } (y|x)\mu _{Q_U^{} } (x). \\
\end{gathered}](/sites/default/files/tex_cache/5fc3c16a13d2b966168c8df13511cd36.png)