Articulo de referencia

Minimización del riesgo empírico

En la teoría del aprendizaje estadístico , el principio de minimización del riesgo empírico define una familia de algoritmos de aprendizaje basados ​​en la evaluación del rendim...

En la teoría del aprendizaje estadístico , el principio de minimización del riesgo empírico define una familia de algoritmos de aprendizaje basados ​​en la evaluación del rendimiento sobre un conjunto de datos conocido y fijo. La idea central se basa en la aplicación de la ley de los grandes números ; más concretamente, no podemos saber con exactitud cuán bien funcionará un algoritmo predictivo en la práctica (es decir, el "riesgo real") porque desconocemos la distribución real de los datos, pero podemos estimar y optimizar el rendimiento del algoritmo sobre un conjunto conocido de datos de entrenamiento. El rendimiento sobre este conjunto conocido de datos de entrenamiento se denomina "riesgo empírico".

Fondo

La siguiente situación es un escenario general de muchos problemas de aprendizaje supervisado . Hay dos espacios de objetos.incógnita{\displaystyle X}yY{\displaystyle Y}y nos gustaría aprender una función h:incógnitaY{\displaystyle \ h:X\to Y}(a menudo llamada hipótesis ) que produce un objetoyY{\displaystyle y\in Y}, dadoincógnitaincógnita{\displaystyle x\in X}Para ello, existe un conjunto de entrenamiento denorte{\displaystyle n}ejemplos (incógnita1,y1),,(incógnitanorte,ynorte){\displaystyle \ (x_{1},y_{1}),\ldots ,(x_{n},y_{n})}dóndeincógnitaiincógnita{\displaystyle x_{i}\in X}es una entrada yyiY{\displaystyle y_{i}\in Y}es la respuesta correspondiente que se desea deh(incógnitai){\displaystyle h(x_{i})}.

Para decirlo de manera más formal, suponiendo que existe una distribución de probabilidad conjuntaPAG(incógnita,y){\displaystyle P(x,y)}encimaincógnita{\displaystyle X}yY{\displaystyle Y}y que el conjunto de entrenamiento consta denorte{\displaystyle n}instancias (incógnita1,y1),,(incógnitanorte,ynorte){\displaystyle \ (x_{1},y_{1}),\ldots ,(x_{n},y_{n})}extraído iid dePAG(incógnita,y){\displaystyle P(x,y)}La suposición de una distribución de probabilidad conjunta permite modelar la incertidumbre en las predicciones (por ejemplo, debido al ruido en los datos) porquey{\displaystyle y}no es una función determinista deincógnita{\displaystyle x}sino más bien una variable aleatoria con distribución condicionalPAG(y|incógnita){\displaystyle P(y|x)}por un fijoincógnita{\displaystyle x}.

También se supone que existe una función de pérdida de valor real no negativo.L(y^,y){\displaystyle L({\sombrero {y}},y)}que mide cuán diferente es la prediccióny^{\displaystyle {\hat {y}}}de una hipótesis es a partir del resultado verdaderoy{\displaystyle y}Para tareas de clasificación, estas funciones de pérdida pueden ser reglas de puntuación . El riesgo asociado con la hipótesish(incógnita){\displaystyle h(x)}se define entonces como la esperanza de la función de pérdida:

R(h)=mi[L(h(incógnita),y)]=L(h(incógnita),y)dPAG(incógnita,y).{\displaystyle R(h)=\mathbf {E} [L(h(x),y)]=\int L(h(x),y)\,dP(x,y).}

Una función de pérdida comúnmente utilizada en teoría es la función de pérdida 0-1 :L(y^,y)={1 si y^y0 si y^=y{\displaystyle L({\hat {y}},y)={\begin{cases}1&{\mbox{ si }}\quad {\hat {y}}\neq y\\0&{\mbox{ si }}\quad {\hat {y}}=y\end{cases}}}.

El objetivo final de un algoritmo de aprendizaje es encontrar una hipótesis.h{\displaystyle h^{*}}entre una clase fija de funcionesH{\displaystyle {\mathcal {H}}}para el cual el riesgoR(h){\displaystyle R(h)}es mínimo:

h=argramometroinortehHR(h).{\displaystyle h^{*}={\underset {h\in {\mathcal {H}}}{\operatorname {arg\,min} }}\,{R(h)}.}

Para problemas de clasificación, el clasificador bayesiano se define como el clasificador que minimiza el riesgo definido con la función de pérdida 0-1.

Definición formal

En general, el riesgoR(h){\displaystyle R(h)}no se puede calcular debido a la distribuciónPAG(incógnita,y){\displaystyle P(x,y)}es desconocido para el algoritmo de aprendizaje. Sin embargo, dado un conjunto de datos de entrenamiento i.i.d. , podemos calcular una estimación , denominada riesgo empírico , calculando el promedio de la función de pérdida sobre el conjunto de entrenamiento; más formalmente, calculando la esperanza con respecto a la medida empírica :

Remp(h)=1nortei=1norteL(h(incógnitai),yi).{\displaystyle \!R_{\text{emp}}(h)={\frac {1}{n}}\sum _{i=1}^{n}L(h(x_{i}),y_{i}).}

El principio de minimización del riesgo empírico [ 1 ] establece que el algoritmo de aprendizaje debe elegir una hipótesis.h^{\displaystyle {\hat {h}}}lo que minimiza el riesgo empírico sobre la clase de hipótesisH{\displaystyle {\mathcal {H}}}:

h^=argramometroinortehHRemp(h).{\displaystyle {\hat {h}}={\underset {h\in {\mathcal {H}}}{\operatorname {arg\,min} }}\,R_{\text{emp}}(h).}

Por lo tanto, el algoritmo de aprendizaje definido por el principio de minimización del riesgo empírico consiste en resolver el problema de optimización mencionado anteriormente .

Propiedades

Las garantías para el rendimiento de la minimización del riesgo empírico dependen en gran medida de la clase de función seleccionada, así como de las suposiciones de distribución realizadas. [ 2 ] En general, los métodos libres de distribución son demasiado imprecisos y no conducen a límites prácticos. Sin embargo, siguen siendo útiles para derivar propiedades asintóticas de algoritmos de aprendizaje, como la consistencia . En particular, los límites libres de distribución para el rendimiento de la minimización del riesgo empírico, dada una clase de función fija, pueden derivarse utilizando límites para la complejidad VC de dicha clase de función.

Para simplificar, considerando el caso de tareas de clasificación binaria, es posible acotar la probabilidad del clasificador seleccionado,ϕnorte{\displaystyle \phi _{n}}siendo mucho peor que el mejor clasificador posibleϕ{\displaystyle \phi ^{*}}Considere el riesgoL{\displaystyle L}definido sobre la clase de hipótesisdo{\displaystyle {\mathcal {C}}}con función de crecimientoS(do,norte){\displaystyle {\mathcal {S}}({\mathcal {C}},n)}dado un conjunto de datos de tamañonorte{\displaystyle n}. Luego, por cadaϵ>0{\displaystyle \epsilon >0}: [ 3 ]

PAG(L(ϕnorte)L(ϕ)>ϵ)8S(do,norte)exp{norteϵ2/32}{\displaystyle \mathbb {P} \left(L(\phi _{n})-L(\phi ^{*})>\epsilon \right)\leq {\mathcal {8}}S({\mathcal {C}},n)\exp\{-n\epsilon ^{2}/32\}}

Resultados similares se aplican a las tareas de regresión. [ 2 ] Estos resultados suelen basarse en leyes uniformes de grandes números , que controlan la desviación del riesgo empírico respecto del riesgo real, de forma uniforme en toda la clase de hipótesis. [ 3 ]

Resultados de imposibilidad

También es posible mostrar límites inferiores en el rendimiento del algoritmo si no se hacen suposiciones sobre la distribución. [ 4 ] A esto se le conoce a veces como el teorema de la no existencia de almuerzo gratis . Aunque un algoritmo de aprendizaje específico puede proporcionar el rendimiento asintóticamente óptimo para cualquier distribución, el rendimiento con muestras finitas siempre es deficiente para al menos una distribución de datos. Esto significa que ningún clasificador puede mejorar el error para un tamaño de muestra dado para todas las distribuciones. [ 3 ]

Específicamente, dejemosϵ>0{\displaystyle \epsilon >0}y considere un tamaño de muestranorte{\displaystyle n}y regla de clasificaciónϕnorte{\displaystyle \phi _{n}}, existe una distribución de(incógnita,Y){\displaystyle (X,Y)}con riesgoL=0{\displaystyle L^{*}=0}(lo que significa que la predicción perfecta es posible) de tal manera que: [ 3 ]miLnorte1/2ϵ.{\displaystyle \mathbb {E} L_{n}\geq 1/2-\epsilon .}

Además, es posible demostrar que la tasa de convergencia de un algoritmo de aprendizaje es deficiente para algunas distribuciones. Específicamente, dada una secuencia de números positivos decrecientesai{\displaystyle a_{i}}Al converger a cero, es posible encontrar una distribución tal que:

miLnorteai{\displaystyle \mathbb {E} L_ {n} \geq a_ {i}}

a pesar denorte{\displaystyle n}Este resultado muestra que no existen reglas de clasificación universalmente buenas, en el sentido de que la regla debe ser de baja calidad para al menos una distribución. [ 3 ]

Complejidad computacional

Se sabe que la minimización del riesgo empírico para un problema de clasificación con una función de pérdida 0-1 es un problema NP-difícil incluso para una clase de funciones relativamente simple como los clasificadores lineales . [ 5 ] Sin embargo, se puede resolver de manera eficiente cuando el riesgo empírico mínimo es cero, es decir, los datos son linealmente separables .

En la práctica, los algoritmos de aprendizaje automático abordan este problema empleando una aproximación convexa a la función de pérdida 0-1 (como la pérdida de bisagra para SVM ), que es más fácil de optimizar, o imponiendo suposiciones sobre la distribución.PAG(incógnita,y){\displaystyle P(x,y)}(y, por lo tanto, dejan de ser algoritmos de aprendizaje agnósticos a los que se aplica el resultado anterior).

En el caso de la convexificación, el lema de Zhang incrementa el riesgo excesivo del problema original utilizando el riesgo excesivo del problema convexificado. [ 6 ] Minimizar este último mediante optimización convexa también permite controlar el primero.

Minimización del riesgo empírico sesgado

La minimización del riesgo empírico sesgado es una técnica de aprendizaje automático que modifica funciones de pérdida estándar, como el error cuadrático, mediante la introducción de un parámetro de sesgo. Este parámetro ajusta dinámicamente el peso de los puntos de datos durante el entrenamiento, lo que permite al algoritmo centrarse en regiones o características específicas de la distribución de datos. La minimización del riesgo empírico sesgado resulta especialmente útil en escenarios con datos desequilibrados o cuando es necesario enfatizar los errores en ciertas partes del espacio de predicción.

Véase también

Referencias

  1. V. Vapnik (1992). Principios de minimización de riesgos para la teoría del aprendizaje.
  2. 1 2 Györfi, László; Kohler, Michael; Krzyzak, Adam; Walk, Harro (2010-12-01). Una teoría libre de distribución de la regresión no paramétrica (reimpresión en rústica de la 1.ª  ed. original). Nueva York: Springer. ISBN 978-1-4419-2998-3.
  3. 1 2 3 4 5 Devroye, L., Gyorfi, L. y Lugosi, G. Una teoría probabilística del reconocimiento de patrones. Discrete Appl Math 73, 192–194 (1997)
  4. Devroye, Luc; Györfi, László; Lugosi, Gábor (1996). "Una teoría probabilística del reconocimiento de patrones" . Modelado estocástico y probabilidad aplicada . 31 . doi : 10.1007/978-1-4612-0711-5 . ISBN 978-1-4612-6877-2ISSN 0172-4568 
  5. V. Feldman, V. Guruswami, P. Raghavendra y Yi Wu (2009). El aprendizaje agnóstico de monomios mediante semiespacios es difícil. (Véase el artículo y las referencias allí citadas).
  6. "Apuntes de la Lección 9 de Matemáticas del Aprendizaje Automático | Matemáticas del Aprendizaje Automático | Matemáticas" . MIT OpenCourseWare . Consultado el 28 de octubre de 2023 .

Lecturas adicionales

  • Vapnik, V. (2000). La naturaleza de la teoría del aprendizaje estadístico . Ciencia de la información y estadística. Springer-Verlag . ISBN 978-0-387-98780-4.