Предсказывающие неравенства в задаче эмпирической минимизации риска (виртуальный семинар)

Материал из MachineLearning.

(Различия между версиями)
Перейти к: навигация, поиск
м (Открытые замечания)
(Удалённый материал Решетова эклектичен, непрофессионален и не имеет отношения к данному обсуждению)
 
(20 промежуточных версий не показаны.)
Строка 1: Строка 1:
-
На данной странице предлагается обсуждать [http://www.stat.washington.edu/jaw/COURSES/EPWG/PAPERS-11/sflour_book.pdf лекции] Владимира Кольчинского.
+
{{TOCright}}
 +
На данной странице предлагается обсуждать [http://www.stat.washington.edu/jaw/COURSES/EPWG/PAPERS-11/sflour_book.pdf лекции] Владимира Колчинского. Одной из целью обсуждения является получение результатов, связывающих [[Комбинаторная теория переобучения (виртуальный семинар)|комбинаторную теорию переобучения]] и классическую [[Теория вычислительного обучения|Computational learning theory]].
-
Перед чтением лекций рекомендуется прослушать видео-запись [http://videolectures.net/mlss09us_koltchinskii_berml/ Bounding Excess Risk in Machine Learning] (в трёх частях, суммарная длительность - порядка трёх часов).
+
Данная страница не ставит целью дать краткое изложения лекций Владимира Колчинского. Перед чтением лекций рекомендуется прослушать видео-запись выступления Владимира Колчинского [http://videolectures.net/mlss09us_koltchinskii_berml/ Bounding Excess Risk in Machine Learning] (в трёх частях, суммарная длительность - порядка трёх часов).
== Открытые замечания ==
== Открытые замечания ==
*Стандартная оценка для excess risk выбрасывает отрицательную величину <tex>P_n(\hat f - \bar f)</tex>, где <tex>\hat f</tex> --- результат минимизации эмпирического риска, <tex>$\bar f$</tex> --- минимизация true риска. Данная величина, некотором смысле, соответствует комбинаторной вероятности переобучения. Потому что данное выражение похоже на усредненное по наблюдаемой выборке значение разности между эмпирически-лучшим и реально-лучшим алгоритмом. Если задуматься, как мерять эту величину, то лучший вариант – это кросс-валидация полного скользящего контроля. Если научиться получать нижние оценки CCV в комбинаторной постановке, то возможно таким образом удалось бы уточнить оценки Кольчинского. Важно, что оценки должны быть нижними, а не верхними --- действительно, стандартная оценка выбрасывает отрицательное слагаемой, а хотелось бы не выбрасывать полностью, а только его кусочек (нижнюю оценку).
*Стандартная оценка для excess risk выбрасывает отрицательную величину <tex>P_n(\hat f - \bar f)</tex>, где <tex>\hat f</tex> --- результат минимизации эмпирического риска, <tex>$\bar f$</tex> --- минимизация true риска. Данная величина, некотором смысле, соответствует комбинаторной вероятности переобучения. Потому что данное выражение похоже на усредненное по наблюдаемой выборке значение разности между эмпирически-лучшим и реально-лучшим алгоритмом. Если задуматься, как мерять эту величину, то лучший вариант – это кросс-валидация полного скользящего контроля. Если научиться получать нижние оценки CCV в комбинаторной постановке, то возможно таким образом удалось бы уточнить оценки Кольчинского. Важно, что оценки должны быть нижними, а не верхними --- действительно, стандартная оценка выбрасывает отрицательное слагаемой, а хотелось бы не выбрасывать полностью, а только его кусочек (нижнюю оценку).
 +
 +
*Попытка разобраться с конфликтом в трактовке шума на <tex>Y</tex>. В комбинаторной теории индикатор ошибки <tex>I(x_i)</tex> предполагается фиксированным. Таким образом неявно предполагается наличие единственного правильного ответа <tex>y_i</tex> на объект <tex>x_i</tex> (по крайней мере --- фиксируется некое множество правильных ответов без дальнейших обсуждений распределения вероятностей на элементах этой группы). В общепринятой постановке SLT принята другая интерпретация этого момента. Предполагается распределение <tex>P</tex> на декартовом произведении <tex>X\times Y</tex>. Таким образом при фиксированном объекте <tex>X</tex> допускаются разные ответы <tex>Y</tex> в соответствии с условным распределением <tex>P(Y | X)</tex>. В комбинаторной теории это условное распределение имеет тривиальный вид: либо <tex>P(Y | X)=1</tex>, либо <tex>P(Y | X)=0</tex>. В литературе этот вопрос фигурирует под графой noise condition --- шума на множестве ответов. Таким образом в комбинаторной теории принципиально возможно построение идеального классификатора, не ошибающегося ни на одном объекте, в то время как в SLT --- всегда есть вероятность ошибки (за счет шума). Вопрос шума подробно учитывается в работах Tsybakov --- там существует понятие "Tsybakov low noise condition", также в работах Pascal Massart. У Толстихина есть прочное ощущение, что это неявное "отсутствие шума" может вызвать (и уже вызывало) много вопросов со стороны западного community. Вот, в частности, цитата третьего рецензента с COLT 2011: "Furthermore, it seems that the results only apply to the deterministic labeling model. This is quite restrictive and is nowhere explicitly stated in the paper." Толстихин не утверждает что правильно ТАК или ЭДАК. Но точно стоит подумать в этом направлении.'''Возможный подходы к решению''': в случае бинарной классификации нам надо, чтобы условное распределение <tex>P(Y|X)</tex> ''размазалось'' по обоим меткам классов <tex>Y = \{ -1, +1\}</tex>. Таким образом для каждого объекта <tex>x_i</tex> генеральной выборки <tex>\mathbb{X}</tex> возникает параметр <tex>p_i=P(Y=+1|x_i)</tex>. Тут начинаются проблемы. Фактически, индикатор ошибки <tex>I(a,x_i)</tex> алгоритма <tex>a</tex> на объекте <tex>x_i</tex> становится случайной величиной. Она имеет распределение Бернулли с параметром <tex>p_i</tex> (либо <tex>1-p_i</tex>). Возникает вопрос, как записывать функционал <tex>Q_{\varepsilon}</tex>. Один из вариантов, предложенный Сашей Фреем, --- для каждого объекта <tex>x_i</tex> генеральной выборки добавлять в нее его ''копию'' <tex>x_i'</tex>. Индикаторы ошибок алгоритмов рассматриваемого семейства на этом фиктивном объекте <tex>x_i'</tex> определить тождеством <tex>I(a,x_i')\equiv 1 - I(a, x_i)</tex>. Тогда, кажется, функционал <tex>Q_{\varepsilon}</tex> можно определить, введя ''веса'' на объектах новой пополненной генеральной выборки, используя параметры <tex>p_i</tex>.
 +
 +
*Комбинаторный подход от классического SLT отличается лишь тем, что вместо iid выборки длиной n из распределения P мы выбираем равномерно без возвращения из конечного множество объектов. В этом смысле в рамках комбинаторной теории можно было бы пойти путем, описанным в лекциях В.И. Колчинского. Но для этого нужен результат концентрации, позволяющий учитывать аналог <tex>L_2(P)</tex> диаметра в комбинаторном случае --- расстояние Хэминга. Именно уменьшение к нулю диаметра дельта-минимального множества дает возможность получать хорошие оценки. Вдобавок этот подход --- начинающийся с супремума и затем итерационно уточняющий подмножества класса функций, по которому берется супремум, --- позволит распрощаться с бинарными потерями и использовать более общий класс потерь <tex> F</tex>.
 +
 +
== Литература ==
 +
 +
== См. также ==
 +
* [[Теория вычислительного обучения]]
 +
* [[Обобщающая способность]]
 +
* [[Радемахеровская сложность]]
 +
* [[Комбинаторная теория переобучения (виртуальный семинар)]]
 +
* [[Теория надёжности обучения по прецедентам (курс лекций, К. В. Воронцов)]]
[[Категория:Открытые проблемы и полемика]]
[[Категория:Открытые проблемы и полемика]]
 +
[[Категория:Виртуальные семинары]]
 +
[[Категория:Теория вычислительного обучения]]

Текущая версия

Содержание

На данной странице предлагается обсуждать лекции Владимира Колчинского. Одной из целью обсуждения является получение результатов, связывающих комбинаторную теорию переобучения и классическую Computational learning theory.

Данная страница не ставит целью дать краткое изложения лекций Владимира Колчинского. Перед чтением лекций рекомендуется прослушать видео-запись выступления Владимира Колчинского Bounding Excess Risk in Machine Learning (в трёх частях, суммарная длительность - порядка трёх часов).

Открытые замечания

  • Стандартная оценка для excess risk выбрасывает отрицательную величину P_n(\hat f - \bar f), где \hat f --- результат минимизации эмпирического риска, $\bar f$ --- минимизация true риска. Данная величина, некотором смысле, соответствует комбинаторной вероятности переобучения. Потому что данное выражение похоже на усредненное по наблюдаемой выборке значение разности между эмпирически-лучшим и реально-лучшим алгоритмом. Если задуматься, как мерять эту величину, то лучший вариант – это кросс-валидация полного скользящего контроля. Если научиться получать нижние оценки CCV в комбинаторной постановке, то возможно таким образом удалось бы уточнить оценки Кольчинского. Важно, что оценки должны быть нижними, а не верхними --- действительно, стандартная оценка выбрасывает отрицательное слагаемой, а хотелось бы не выбрасывать полностью, а только его кусочек (нижнюю оценку).
  • Попытка разобраться с конфликтом в трактовке шума на Y. В комбинаторной теории индикатор ошибки I(x_i) предполагается фиксированным. Таким образом неявно предполагается наличие единственного правильного ответа y_i на объект x_i (по крайней мере --- фиксируется некое множество правильных ответов без дальнейших обсуждений распределения вероятностей на элементах этой группы). В общепринятой постановке SLT принята другая интерпретация этого момента. Предполагается распределение P на декартовом произведении X\times Y. Таким образом при фиксированном объекте X допускаются разные ответы Y в соответствии с условным распределением P(Y | X). В комбинаторной теории это условное распределение имеет тривиальный вид: либо P(Y | X)=1, либо P(Y | X)=0. В литературе этот вопрос фигурирует под графой noise condition --- шума на множестве ответов. Таким образом в комбинаторной теории принципиально возможно построение идеального классификатора, не ошибающегося ни на одном объекте, в то время как в SLT --- всегда есть вероятность ошибки (за счет шума). Вопрос шума подробно учитывается в работах Tsybakov --- там существует понятие "Tsybakov low noise condition", также в работах Pascal Massart. У Толстихина есть прочное ощущение, что это неявное "отсутствие шума" может вызвать (и уже вызывало) много вопросов со стороны западного community. Вот, в частности, цитата третьего рецензента с COLT 2011: "Furthermore, it seems that the results only apply to the deterministic labeling model. This is quite restrictive and is nowhere explicitly stated in the paper." Толстихин не утверждает что правильно ТАК или ЭДАК. Но точно стоит подумать в этом направлении.Возможный подходы к решению: в случае бинарной классификации нам надо, чтобы условное распределение P(Y|X) размазалось по обоим меткам классов Y = \{ -1, +1\}. Таким образом для каждого объекта x_i генеральной выборки \mathbb{X} возникает параметр p_i=P(Y=+1|x_i). Тут начинаются проблемы. Фактически, индикатор ошибки I(a,x_i) алгоритма a на объекте x_i становится случайной величиной. Она имеет распределение Бернулли с параметром p_i (либо 1-p_i). Возникает вопрос, как записывать функционал Q_{\varepsilon}. Один из вариантов, предложенный Сашей Фреем, --- для каждого объекта x_i генеральной выборки добавлять в нее его копию x_i'. Индикаторы ошибок алгоритмов рассматриваемого семейства на этом фиктивном объекте x_i' определить тождеством I(a,x_i')\equiv 1 - I(a, x_i). Тогда, кажется, функционал Q_{\varepsilon} можно определить, введя веса на объектах новой пополненной генеральной выборки, используя параметры p_i.
  • Комбинаторный подход от классического SLT отличается лишь тем, что вместо iid выборки длиной n из распределения P мы выбираем равномерно без возвращения из конечного множество объектов. В этом смысле в рамках комбинаторной теории можно было бы пойти путем, описанным в лекциях В.И. Колчинского. Но для этого нужен результат концентрации, позволяющий учитывать аналог L_2(P) диаметра в комбинаторном случае --- расстояние Хэминга. Именно уменьшение к нулю диаметра дельта-минимального множества дает возможность получать хорошие оценки. Вдобавок этот подход --- начинающийся с супремума и затем итерационно уточняющий подмножества класса функций, по которому берется супремум, --- позволит распрощаться с бинарными потерями и использовать более общий класс потерь  F.

Литература

См. также

Личные инструменты