Азербайджан |
Комитетные методы решения задач распознавания
7.1. Теоретико-множественная постановка задачи выбора алгоритма.
Байесовский подход исходит из статистической природы наблюдений. За основу берется предположение о существовании вероятностной меры на пространстве образов, которая либо известна, либо может быть оценена. Цель состоит в разработке такого классификатора, который будет правильно определять наиболее вероятный класс для пробного образа. Тогда задача состоит в определении "наиболее вероятного" класса.
Пусть – индексное множество;
– подмножество некоторого
множества (например, множества алгоритмов);
– система подмножеств.
Пусть
– множество, в котором необходимо найти решение. Задача
заключается в нахождении такого элемента
такое, что
.
Пример. Пусть ,
,
.
так, что
.
Тогда – множество алгоритмов, дающих правильную классификацию
:
![D_j=
\left\{
F|F:\Omega\rightarrow\{0,1\},\;F(x_j)=
\left\{
\begin{aligned}
& 0,1 \leq j\leq m_1 \\
&\phantom{0,\,}1,\textit{иначе}
\end{aligned}
\right.
\right\}
,\; j=1,2,\ldots,m](/sites/default/files/tex_cache/f4d927c6ed8fa147337483d69ad2dc4b.png)
Определение. Пусть . Тогда система подмножеств
называется совместной, если
.
В примере условием совместности является не пересекаемость множеств и
. Тогда, очевидно, что в пересечении
лежит
, где
![\Phi(x_j)=
\left\{
\begin{aligned}
& 0,1 \leq j\leq m_1 \\
&\phantom{0,\,}1,\textit{иначе}
\end{aligned}
\right.](/sites/default/files/tex_cache/89e25a5bd85f9079e601835412b3fa3f.png)
Тогда возникает вопрос: что делать, если ? Существует два способа
решения данной проблемы:
Смягчить условия, описывающие , т.е. построить
.
Решить задачу поиска максимальных совместных подсистем системы ,
Определени е. Теоретико-множественная задача называется разрешимой в классе ,
если
, где
.