WikiDer > Машина опорных векторов наименьших квадратов

эта статья предоставляет недостаточный контекст для тех, кто не знаком с предметом. Пожалуйста помоги улучшить статью от обеспечение большего контекста для читателя. (Ноябрь 2010 г.) (Узнайте, как и когда удалить этот шаблон сообщения)

Машины опорных векторов наименьших квадратов (LS-SVM) находятся наименьших квадратов версии машины опорных векторов (SVM), которые представляют собой набор связанных контролируемое обучение методы, которые анализируют данные и распознают шаблоны, и которые используются для классификация и регрессивный анализ. В этой версии можно найти решение, решая набор линейные уравнения вместо выпуклого квадратичное программирование (QP) задача для классических SVM. SVM-классификаторы наименьших квадратов были предложены Суйкенсом и Вандевалем.^[1] LS-SVM - это класс методы обучения на основе ядра.

От машины опорных векторов к машине опорных векторов методом наименьших квадратов

Учитывая обучающий набор ${ displaystyle {x_ {i}, y_ {i} } _ {i = 1} ^ {N}}$ с входными данными ${ displaystyle x_ {i} in mathbb {R} ^ {n}}$ и соответствующие метки двоичного класса ${ Displaystyle у_ {я} в {- 1, + 1 }}$, то SVM^[2] классификатор, согласно ВапникОригинальная формулировка удовлетворяет следующим условиям:

Данные спирали: ${ displaystyle y_ {i} = 1}$ для синей точки данных, ${ displaystyle y_ {i} = - 1}$ для красной точки данных

${ displaystyle { begin {cases} w ^ {T} phi (x_ {i}) + b geq 1, & { text {if}} quad y_ {i} = + 1, w ^ {T} phi (x_ {i}) + b leq -1, & { text {if}} quad y_ {i} = - 1, end {case}}}$

что эквивалентно

${ displaystyle y_ {i} left [{w ^ {T} phi (x_ {i}) + b} right] geq 1, quad i = 1, ldots, N,}$

где ${ Displaystyle фи (х)}$ является нелинейным отображением исходного пространства в многомерное или бесконечномерное пространство.

Неразделимые данные

В случае, если такой разделяющей гиперплоскости не существует, введем так называемые резервные переменные ${ Displaystyle xi _ {я}}$ такой, что

${ displaystyle { begin {case} y_ {i} left [{w ^ {T} phi (x_ {i}) + b} right] geq 1- xi _ {i}, & i = 1 , ldots, N, xi _ {i} geq 0, & i = 1, ldots, N. end {cases}}}$

Согласно минимизация структурных рисков В принципе, граница риска минимизируется следующей задачей минимизации:

${ displaystyle min J_ {1} (w, xi) = { frac {1} {2}} w ^ {T} w + c sum limits _ {i = 1} ^ {N} xi _{я},}$

${ displaystyle { text {Subject to}} { begin {case} y_ {i} left [{w ^ {T} phi (x_ {i}) + b} right] geq 1- xi _ {i}, & i = 1, ldots, N, xi _ {i} geq 0, & i = 1, ldots, N, end {case}}}$

Результат классификатора SVM

Чтобы решить эту проблему, мы могли бы построить Функция Лагранжа:

${ Displaystyle L_ {1} (ш, б, хи, альфа, бета) = { гидроразрыва {1} {2}} ш ^ {T} ш + с сумма лимиты _ {я = 1} ^ {N} { xi _ {i}} - sum limits _ {i = 1} ^ {N} alpha _ {i} left {y_ {i} left [{w ^ {T} phi (x_ {i}) + b} right] -1+ xi _ {i} right } - sum limits _ {i = 1} ^ {N} beta _ {i} xi _{я},}$

где ${ Displaystyle альфа _ {я} geq 0, бета _ {я} geq 0 (я = 1, ldots, N)}$ являются Лагранжевы множители. Оптимальная точка будет в точка перевала функции Лагранжа, и тогда получим

${ displaystyle { begin {cases} { frac { partial L_ {1}} { partial w}} = 0 quad to quad w = sum limits _ {i = 1} ^ {N} alpha _ {i} y_ {i} phi (x_ {i}), { frac { partial L_ {1}} { partial b}} = 0 quad to quad sum limits _ {i = 1} ^ {N} alpha _ {i} y_ {i} = 0, { frac { partial L_ {1}} { partial xi _ {i}}} = 0 quad to quad 0 leq alpha _ {i} leq c, ; i = 1, ldots, N. end {case}}}$

Подставив ${ displaystyle w}$ выражением его в лагранжиане, сформированном из соответствующей цели и ограничений, мы получим следующую задачу квадратичного программирования:

${ displaystyle max Q_ {1} ( alpha) = - { frac {1} {2}} sum limits _ {i, j = 1} ^ {N} { alpha _ {i} alpha _ {j} y_ {i} y_ {j} K (x_ {i}, x_ {j})} + sum limits _ {i = 1} ^ {N} alpha _ {i},}$

где ${ Displaystyle К (x_ {i}, x_ {j}) = left langle phi (x_ {i}), phi (x_ {j}) right rangle}$ называется функция ядра. Решая эту задачу КП с ограничениями в (8), мы получим гиперплоскость в многомерном пространстве и, следовательно, классификатор в исходном пространстве.

Формулировка SVM методом наименьших квадратов

Версия классификатора SVM методом наименьших квадратов получается переформулировкой задачи минимизации как

${ displaystyle min J_ {2} (w, b, e) = { frac { mu} {2}} w ^ {T} w + { frac { zeta} {2}} sum limits _ {i = 1} ^ {N} e_ {i} ^ {2},}$

с учетом ограничений равенства

${ displaystyle y_ {i} left [{w ^ {T} phi (x_ {i}) + b} right] = 1-e_ {i}, quad i = 1, ldots, N.}$

Приведенная выше формулировка классификатора методом наименьших квадратов (LS-SVM) неявно соответствует регресс интерпретация с двоичными целями ${ displaystyle y_ {i} = pm 1}$.

С помощью ${ displaystyle y_ {i} ^ {2} = 1}$, у нас есть

${ displaystyle sum limits _ {i = 1} ^ {N} e_ {i} ^ {2} = sum limits _ {i = 1} ^ {N} (y_ {i} e_ {i}) ^ {2} = sum limits _ {i = 1} ^ {N} e_ {i} ^ {2} = sum limits _ {i = 1} ^ {N} left (y_ {i} - (w ^ {T} phi (x_ {i}) + b) right) ^ {2},}$

с участием ${ displaystyle e_ {i} = y_ {i} - (w ^ {T} phi (x_ {i}) + b).}$ Обратите внимание, что эта ошибка также имеет смысл при подборе данных методом наименьших квадратов, так что те же конечные результаты сохраняются и для случая регрессии.

Следовательно, формулировка классификатора LS-SVM эквивалентна

${ Displaystyle J_ {2} (ш, б, е) = му E_ {W} + zeta E_ {D}}$

с участием ${ displaystyle E_ {W} = { frac {1} {2}} w ^ {T} w}$ и ${ displaystyle E_ {D} = { frac {1} {2}} sum limits _ {i = 1} ^ {N} e_ {i} ^ {2} = { frac {1} {2} } sum limits _ {i = 1} ^ {N} left (y_ {i} - (w ^ {T} phi (x_ {i}) + b) right) ^ {2}.}$

Результат классификатора LS-SVM

И то и другое ${ displaystyle mu}$ и ${ displaystyle zeta}$ следует рассматривать как гиперпараметры для настройки степени регуляризации по сравнению с квадратичной ошибкой суммы. Решение зависит только от соотношения ${ displaystyle gamma = zeta / mu}$, поэтому в исходной формулировке используются только ${ displaystyle gamma}$ как параметр настройки. Мы используем оба ${ displaystyle mu}$ и ${ displaystyle zeta}$ как параметры, чтобы обеспечить байесовскую интерпретацию LS-SVM.

Решение регрессора LS-SVM будет получено после построения Функция Лагранжа:

${ displaystyle { begin {cases} L_ {2} (w, b, e, alpha) ; = J_ {2} (w, e) - sum limits _ {i = 1} ^ {N} alpha _ {i} left {{ left [{w ^ {T} phi (x_ {i}) + b} right] + e_ {i} -y_ {i}} right }, quad quad quad quad quad ; = { frac {1} {2}} w ^ {T} w + { frac { gamma} {2}} sum limits _ {i = 1} ^ {N} e_ {i} ^ {2} - sum limits _ {i = 1} ^ {N} alpha _ {i} left { left [w ^ {T} phi ( x_ {i}) + b right] + e_ {i} -y_ {i} right }, end {case}}}$

где ${ displaystyle alpha _ {я} in mathbb {R}}$ - множители Лагранжа. Условия оптимальности:

${ displaystyle { begin {cases} { frac { partial L_ {2}} { partial w}} = 0 quad to quad w = sum limits _ {i = 1} ^ {N} alpha _ {i} phi (x_ {i}), { frac { partial L_ {2}} { partial b}} = 0 quad to quad sum limits _ {i = 1} ^ {N} alpha _ {i} = 0, { frac { partial L_ {2}} { partial e_ {i}}} = 0 quad to quad alpha _ {i } = gamma e_ {i}, ; i = 1, ldots, N, { frac { partial L_ {2}} { partial alpha _ {i}}} = 0 quad to quad y_ {i} = w ^ {T} phi (x_ {i}) + b + e_ {i}, , i = 1, ldots, N. end {case}}}$

Устранение ${ displaystyle w}$ и ${ displaystyle e}$ даст линейная система вместо квадратичное программирование проблема:

${ displaystyle left [{ begin {matrix} 0 & 1_ {N} ^ {T} 1_ {N} & Omega + gamma ^ {- 1} I_ {N} end {matrix}} right] left [{ begin {matrix} b alpha end {matrix}} right] = left [{ begin {matrix} 0 Y end {matrix}} right],}$

с участием ${ Displaystyle Y = [y_ {1}, ldots, y_ {N}] ^ {T}}$, ${ Displaystyle 1_ {N} = [1, ldots, 1] ^ {T}}$ и ${ Displaystyle альфа = [ альфа _ {1}, ldots, альфа _ {N}] ^ {T}}$. Вот, ${ displaystyle I_ {N}}$ является ${ Displaystyle N раз N}$ единичная матрица, и ${ displaystyle Omega in mathbb {R} ^ {N times N}}$ матрица ядра, определяемая формулой ${ displaystyle Omega _ {ij} = phi (x_ {i}) ^ {T} phi (x_ {j}) = K (x_ {i}, x_ {j})}$.

Функция ядра K

Для функции ядра K(•, •) обычно есть следующие варианты:

• Линейный ядро: ${ Displaystyle К (х, х_ {я}) = х_ {я} ^ {Т} х,}$
• Полиномиальный ядро степени ${ displaystyle d}$: ${ Displaystyle К (х, x_ {i}) = left ({1 + x_ {i} ^ {T} x / c} right) ^ {d},}$
• Радиальная базисная функция Ядро RBF: ${ Displaystyle К (х, х_ {я}) = ехр влево ({- влево | {х-х_ {я}} вправо | ^ {2} / сигма ^ {2}} вправо ),}$
• Ядро MLP: ${ Displaystyle К (х, x_ {i}) = tanh left ({k , x_ {i} ^ {T} x + theta} right),}$

где ${ displaystyle d}$, ${ displaystyle c}$, ${ displaystyle sigma}$, ${ displaystyle k}$ и ${ displaystyle theta}$ являются константами. Обратите внимание, что условие Мерсера выполняется для всех ${ displaystyle c, sigma in mathbb {R} ^ {+}}$ и ${ displaystyle d in N}$ ценности в многочлен и случай RBF, но не для всех возможных вариантов ${ displaystyle k}$ и ${ displaystyle theta}$ в случае MLP. Параметры шкалы ${ displaystyle c}$, ${ displaystyle sigma}$ и ${ displaystyle k}$ определить масштабирование входов в полиноме, RBF и MLP функция ядра. Это масштабирование связано с пропускной способностью ядра в статистика, где показано, что полоса пропускания является важным параметром обобщающего поведения метода ядра.

Байесовская интерпретация LS-SVM

А Байесовский интерпретация SVM была предложена Smola et al. Они показали, что использование разных ядер в SVM можно рассматривать как определение разных априорная вероятность распределения на функциональном пространстве, как ${ Displaystyle Р [е] пропто ехр влево ({- бета влево | {{ шляпа {P}} f} вправо | ^ {2}} вправо)}$. Вот ${ displaystyle beta> 0}$ является константой и ${ displaystyle { hat {P}}}$ - оператор регуляризации, соответствующий выбранному ядру.

Общая байесовская система доказательств была разработана Маккеем,^[3][4][5] и Маккей использовал это к проблеме регресса, вперед нейронная сеть и классификационная сеть. Предоставляемый набор данных ${ displaystyle D}$, модель ${ Displaystyle mathbb {M}}$ с вектором параметров ${ displaystyle w}$ и так называемый гиперпараметр или параметр регуляризации ${ displaystyle lambda}$, Байесовский вывод построен с 3 уровнями вывода:

• На уровне 1 при заданном значении ${ displaystyle lambda}$, первый уровень вывода определяет апостериорное распределение ${ displaystyle w}$ по байесовскому правилу

${ displaystyle p (w | D, lambda, mathbb {M}) propto p (D | w, mathbb {M}) p (w | lambda, mathbb {M}).}$

• Второй уровень вывода определяет значение ${ displaystyle lambda}$, максимизируя

${ displaystyle p ( lambda | D, mathbb {M}) propto p (D | lambda, mathbb {M}) p ( lambda | mathbb {M}).}$

• Третий уровень вывода в структуре доказательств ранжирует различные модели, исследуя их апостериорные вероятности.

${ displaystyle p ( mathbb {M} | D) propto p (D | mathbb {M}) p ( mathbb {M}).}$

Мы видим, что байесовская система доказательств представляет собой единую теорию для обучение Модель и выбор модели. Квок использовал байесовскую систему доказательств для интерпретации формулировки SVM и выбора модели. И он также применил байесовскую систему доказательств для поддержки векторной регрессии.

Теперь, учитывая точки данных ${ displaystyle {x_ {i}, y_ {i} } _ {i = 1} ^ {N}}$ и гиперпараметры ${ displaystyle mu}$ и ${ displaystyle zeta}$ модели ${ Displaystyle mathbb {M}}$, параметры модели ${ displaystyle w}$ и ${ displaystyle b}$ оцениваются максимизацией апостериорного ${ Displaystyle п (вес, б | D, журнал му, журнал дзета, mathbb {M})}$. Применяя правило Байеса, получаем

${ Displaystyle п (вес, б | D, журнал му, журнал zeta, mathbb {M}) = { гидроразрыва {p (D | w, b, log mu, log zeta, mathbb {M}) p (w, b | log mu, log zeta, mathbb {M})} {p (D | log mu, log zeta, mathbb {M}) }},}$

где ${ Displaystyle р (D | журнал му, журнал zeta, mathbb {M})}$ - нормирующая постоянная, такая как интеграл по всем возможным ${ displaystyle w}$ и ${ displaystyle b}$ равно 1. Полагаем ${ displaystyle w}$ и ${ displaystyle b}$ не зависят от гиперпараметра ${ displaystyle zeta}$, и условно независимы, т. е. полагаем

${ Displaystyle п (вес, б | журнал му, журнал дзета, mathbb {M}) = р (ш | журнал му, mathbb {M}) p (b | журнал сигма _ {b}, mathbb {M}).}$

Когда ${ displaystyle sigma _ {b} to infty}$, распределение ${ displaystyle b}$ приблизит равномерное распределение. Кроме того, мы предполагаем ${ displaystyle w}$ и ${ displaystyle b}$ являются распределением Гаусса, поэтому мы получаем априорное распределение ${ displaystyle w}$ и ${ displaystyle b}$ с участием ${ displaystyle sigma _ {b} to infty}$ быть

${ displaystyle { begin {array} {l} p (w, b | log mu,) = left ({ frac { mu} {2 pi}} right) ^ { frac {n_ {f}} {2}} exp left ({- { frac { mu} {2}} w ^ {T} w} right) { frac {1} { sqrt {2 pi sigma _ {b}}}} exp left ({- { frac {b ^ {2}} {2 sigma _ {b}}}} right) quad quad quad quad quad quad quad propto left ({ frac { mu} {2 pi}} right) ^ { frac {n_ {f}} {2}} exp left ({- { frac { mu} {2}} w ^ {T} w} right) end {array}}.}$

Вот ${ displaystyle n_ {f}}$ - размерность пространства признаков, такая же, как размерность ${ displaystyle w}$.

Вероятность ${ Displaystyle п (D | вес, Ь, журнал му, журнал дзета, mathbb {M})}$ предполагается, что зависит только от ${ displaystyle w, b, zeta}$ и ${ Displaystyle mathbb {M}}$. Мы предполагаем, что точки данных независимо распределены одинаково (i.i.d.), так что:

${ displaystyle p (D | w, b, log zeta, mathbb {M}) = prod limits _ {i = 1} ^ {N} {p (x_ {i}, y_ {i} | w, b, log zeta, mathbb {M})}.}$

Чтобы получить функцию наименьших квадратов стоимости, предполагается, что вероятность точки данных пропорциональна:

${ displaystyle p (x_ {i}, y_ {i} | w, b, log zeta, mathbb {M}) propto p (e_ {i} | w, b, log zeta, mathbb {M}).}$

Для ошибок принято гауссово распределение ${ displaystyle e_ {i} = y_ {i} - (w ^ {T} phi (x_ {i}) + b)}$ так как:

${ displaystyle p (e_ {i} | w, b, log zeta, mathbb {M}) = { sqrt { frac { zeta} {2 pi}}} exp left ({- { frac { zeta e_ {i} ^ {2}} {2}}} right).}$

Предполагается, что ${ displaystyle w}$ и ${ displaystyle b}$ определяются таким образом, что центры классов ${ displaystyle { hat {m}} _ {-}}$ и ${ displaystyle { hat {m}} _ {+}}$ отображаются на цель -1 и +1 соответственно. Прогнозы ${ Displaystyle ш ^ {Т} фи (х) + Ь}$ элементов класса ${ Displaystyle фи (х)}$ следовать многомерному распределению Гаусса, которое имеет дисперсию ${ displaystyle 1 / zeta}$.

Комбинируя предыдущие выражения и пренебрегая всеми константами, правило Байеса становится

${ Displaystyle п (вес, б | D, журнал му, журнал zeta, mathbb {M}) propto exp (- { frac { mu} {2}} w ^ {T} w - { frac { zeta} {2}} sum limits _ {i = 1} ^ {N} {e_ {i} ^ {2}}) = exp (-J_ {2} (w, b )).}$

Оценки максимальной апостериорной плотности ${ displaystyle w_ {MP}}$ и ${ displaystyle b_ {MP}}$ получаются минимизацией отрицательного логарифма (26), так что мы приходим к (10).

использованная литература

Список используемой литературы

• J. A. K. Suykens, T. Van Gestel, J. De Brabanter, B. De Moor, J. Vandewalle, Машины опорных векторов методом наименьших квадратов, World Scientific Pub. Co., Сингапур, 2002 г. ISBN 981-238-151-1
• Суйкенс Дж. А. К., Вандевалле Дж., Метод наименьших квадратов поддерживает векторные машинные классификаторы. Письма нейронной обработки, т. 9, вып. 3, июнь 1999 г., стр. 293–300.
• Владимир Вапник. Природа статистической теории обучения. Springer-Verlag, 1995. ISBN 0-387-98780-0
• Маккей, Д. Дж. С., Вероятные сети и правдоподобные прогнозы - Обзор практических байесовских методов для контролируемых нейронных сетей. Сеть: вычисления в нейронных системах, т. 6, 1995, стр. 469–505.

внешние ссылки

• www.esat.kuleuven.be/sista/lssvmlab/ «Набор инструментов Лаборатории векторной машины поддержки наименьших квадратов (LS-SVMlab) содержит реализации Matlab / C для ряда алгоритмов LS-SVM».
• www.kernel-machines.org «Поддержка векторных машин и методов на основе ядра (Smola & Schölkopf)».
• www.gaussianprocess.org «Гауссовские процессы: моделирование данных с использованием априорных значений гауссовского процесса над функциями регрессии и классификации (Маккей, Уильямс)».
• www.support-vector.net «Поддержка векторных машин и методов на основе ядра (Cristianini)».
• dlib: Содержит реализацию SVM методом наименьших квадратов для крупномасштабных наборов данных.