Зачем необходимы треугольные нормы и конормы? Как их использовать? Имеется ввиду, на практике. |
Классы нечетких отношений
Задачи нечеткой классификации
Пусть имеется набор фотографических портретов всех членов
нескольких семей. Требуется разделить этот набор на группы так, чтобы в каждой
оказались портреты членов только одной семьи. Пусть
— функция принадлежности нечеткого бинарного отношения сходства на заданном наборе
фотографий. Для каждой пары фотографий
и
значение
есть субъективная оценка человеком степени сходства
и
. Это нечеткое отношение можно рассматривать как своего рода "экспериментальные
данные", отражающие понимание человеком понятия "сходства" в данной задаче.
Следующий этап — использование этих "данных" для требующейся
классификации фотографий.
Заметим, что нечеткое отношение обладает
естественными свойствами рефлексивности и симметричности. Оно называется одношаговым
отношением, в том смысле, что описывает результаты лишь попарного сравнения
портретов друг с другом. Для
вводится
-шаговое
отношение
следующим образом:
![f_n (x,y) = \mathop {\sup }\limits_{x_1 \ldots x_{n - 1}
\in X} \;\min \{ f_1 (x,x_1 ),\ldots ,f_1 (x_{n - 1} ,y)\} .](/sites/default/files/tex_cache/902d0a3ba078491cb7c7c2d1ba66635c.png)
![n](/sites/default/files/tex_cache/7b8b965ad4bca0e41ab51de7b31363a1.png)
![f_{1}(x,y)](/sites/default/files/tex_cache/bd30cb0535a6856962043e28f1b7b8d9.png)
![x, y\in X](/sites/default/files/tex_cache/a77375fae588030cf048706f11669045.png)
![0 \leqslant f_1 (x,y) \leqslant f_2 (x,y) \leqslant \ldots
\leqslant f_n (x,y) \leqslant \ldots \leqslant 1,](/sites/default/files/tex_cache/bdc1c628667e79bf9874c2db0d980c5b.png)
![x, y\in X](/sites/default/files/tex_cache/a77375fae588030cf048706f11669045.png)
![\{f_{k}(x,y)\}](/sites/default/files/tex_cache/59924e9c2a0b348834b8b38f5c16367d.png)
![k\to\infty](/sites/default/files/tex_cache/7b792da6be2ab68bda59b3430ff1a4b3.png)
![f(x,y) = \mathop {\lim }\limits_{k \to \infty } \;f_k
(x,y),\quad
\t{\char228}\t{\char235}\t{\char255}\;\t{\char226}\t{\char241}\t{\char229}\t{\char245}\;x,y \in X.](/sites/default/files/tex_cache/7a90de1fb584942ba0f98df38b0af4d8.png)
Это предельное отношение является конечным результатом обработки результатов
нечетких измерений и следующим образом используется
для классификации.
Для произвольного числа (
)
вводится обычное (не нечеткое)
отношение
:
![R_\lambda (x,y)\quad \Leftrightarrow \quad f(x,y)
\geqslant \lambda .](/sites/default/files/tex_cache/634bb32fd8e35c098acb448b029b9e2f.png)
Нетрудно показать, что для любого (
)
есть отношение эквивалентности в
, т.е. для любых
выполняются обычные аксиомы эквивалентности
(1) — рефлексивность,
(2) — симметричность,
(3) — транзитивность.
Заметим, что (3) есть следствие того, что предельное нечеткое
отношение обладает свойством нечеткой транзитивности
![f(x,z) \geqslant \min \{ f(x,y),f(y,z)\} ,\quad \quad
\t{\char228}\t{\char235}\t{\char255}\;\t{\char226}\t{\char241}\t{\char229}\t{\char245}\;x,y,z \in X.](/sites/default/files/tex_cache/c93f04a943935dc4f99f453b81ad5fb2.png)
Окончательный этап алгоритма классификации — разбиение множества
на классы эквивалентности по полученному отношению
.
Выбор величины порога в этом алгоритме осуществляется,
исходя из условий начальной задачи. В приведенном выше примере с фотографиями
этот выбор осуществляли следующим образом. Пусть имеется набор из 20 фотографий
представителей 3 семей. Тогда величину
выбирают так,
чтобы в результате
реализации алгоритма классификации получилось 3 класса эквивалентности по
отношению
.