تحليل مكونات الحي

يُعد تحليل مكونات الجوار أسلوبًا للتعلم الخاضع للإشراف لتصنيف البيانات متعددة المتغيرات إلى فئات متميزة وفقًا لمقياس مسافة محدد عبر البيانات. من الناحية الوظيفية، يخدم نفس أغراض خوارزمية أقرب الجيران K، ويستفيد بشكل مباشر من مفهوم ذي صلة يُسمى أقرب الجيران العشوائيين .

تعريف

يهدف تحليل مكونات الجوار إلى "تعلم" مقياس المسافة من خلال إيجاد تحويل خطي لبيانات الإدخال بحيث يتم تعظيم متوسط ​​أداء تصنيف "حذف عنصر واحد" (LOO) في الفضاء المُحوَّل. وتكمن الفكرة الأساسية للخوارزمية في أن المصفوفةأ{\displaystyle A}يمكن إيجاد التحويل المقابل من خلال تعريف دالة هدف قابلة للتفاضل لـأ{\displaystyle A}ثم استخدام خوارزمية حل تكرارية مثل خوارزمية التدرج المترافق . إحدى مزايا هذه الخوارزمية هي أن عدد الفئاتك{\displaystyle k}يمكن تحديدها كدالة لـأ{\displaystyle A}، حتى قيمة ثابتة عددية. وبالتالي، فإن استخدام هذه الخوارزمية يعالج مسألة اختيار النموذج .

توضيح

من أجل التعريفأ{\displaystyle A}نُعرّف دالة هدف تصف دقة التصنيف في الفضاء المُحوّل ونحاول تحديدأ*{\displaystyle A^{*}}بحيث يتم تعظيم دالة الهدف هذه.

أ*=argmaxأو(أ){\displaystyle A^{*}={\mbox{argmax}}_{A}f(A)}

تصنيف حذف عنصر واحد (LOO)

لنفترض أننا نتنبأ بتصنيف نقطة بيانات واحدة من خلال توافق آراءك{\displaystyle k}- أقرب الجيران بمقياس مسافة محدد. يُعرف هذا بتصنيف "حذف واحد" . ومع ذلك، فإن مجموعة أقرب الجيرانجأنا{\displaystyle C_{i}}قد تختلف النتائج اختلافًا كبيرًا بعد تطبيق تحويل خطي على جميع النقاط. على وجه التحديد، يمكن أن تخضع مجموعة النقاط المجاورة لنقطة ما لتغييرات منفصلة استجابةً لتغييرات سلسة في عناصرها.أ{\displaystyle A}مما يعني أن أي دالة هدفو(){\displaystyle f(\cdot )}بناءً على جيران نقطة ما، ستكون الدالة ثابتة جزئياً ، وبالتالي غير قابلة للتفاضل .

حل

يمكننا حل هذه الصعوبة باستخدام نهج مستوحى من انحدار التدرج العشوائي . بدلاً من النظر فيك{\displaystyle k}عند كل نقطة مُحوَّلة في تصنيف LOO، سنعتبر مجموعة البيانات المُحوَّلة بأكملها بمثابة أقرب الجيران العشوائيين . نُعرِّف هؤلاء باستخدام دالة softmax للمسافة الإقليدية التربيعية بين نقطة تصنيف LOO مُعطاة وكل نقطة أخرى في الفضاء المُحوَّل.

صأناج={هـ-||أxأنا-أxج||2كأناهـ-||أxأنا-أxك||2،لو جأنا0،لو ج=أنا{\displaystyle p_{ij}={\begin{cases}{\frac {e^{-||Ax_{i}-Ax_{j}||^{2}}}{\sum _{k\neq i}e^{-||Ax_{i}-Ax_{k}||^{2}}}},&{\mbox{if }}j\neq i\\0,&{\mbox{if }}j=i\end{cases}}}

احتمالية تصنيف نقطة البيانات بشكل صحيحأنا{\displaystyle i}هي احتمالية تصنيف نقاط كل من جيرانها ضمن نفس الفئةجأنا{\displaystyle C_{i}}:

صأنا=ججأناصأناج{\displaystyle p_{i}=\sum _{j\in C_{i}}p_{ij}\quad }أينصأناج{\displaystyle p_{ij}}احتمال تصنيف الجارج{\displaystyle j}نقطةأنا{\displaystyle i}.

حدد دالة الهدف باستخدام تصنيف LOO، هذه المرة باستخدام مجموعة البيانات بأكملها كأقرب الجيران العشوائيين:

و(أ)=أناججأناصأناج=أناصأنا{\displaystyle f(A)=\sum _{i}\sum _{j\in C_{i}}p_{ij}=\sum _{i}p_{i}}

لاحظ أنه في ظل أقرب الجيران العشوائيين، فإن فئة التوافق لنقطة واحدةأنا{\displaystyle i}هي القيمة المتوقعة لفئة نقطة ما في حالة عدد لا نهائي من العينات المسحوبة من التوزيع على جيرانها.ججأنا{\displaystyle j\in C_{i}}أي:P(جلأss(Xأنا)=جلأss(Xج))=صأناج{\displaystyle P(Class(X_{i})=Class(X_{j}))=p_{ij}}وبالتالي، فإن الفئة المتوقعة هي مزيج خطي من فئات كل نقطة أخرى، مرجحة بدالة softmax لكل منها.ججج{\displaystyle j\in C_{j}}أينجج{\displaystyle C_{j}}وهي الآن مجموعة البيانات المحولة بالكامل.

يُفضّل اختيار دالة الهدف هذه لأنها قابلة للتفاضل بالنسبة إلىأ{\displaystyle A}(دلxأناج=xأنا-xج{\displaystyle x_{ij}=x_{i}-x_{j}}):

وأ=-2أأناججأناصأناج(xأناجxأناجتي-كصأناكxأناكxأناكتي){\displaystyle {\frac {\partial f}{\partial A}}=-2A\sum _{i}\sum _{j\in C_{i}}p_{ij}\left(x_{ij}x_{ij}^{T}-\sum _{k}p_{ik}x_{ik}x_{ik}^{T}\right)}

=2أأنا(صأناكصأناكxأناكxأناكتي-ججأناصأناجxأناجxأناجتي){\displaystyle =2A\sum _{i}\left(p_{i}\sum _{k}p_{ik}x_{ik}x_{ik}^{T}-\sum _{j\in C_{i}}p_{ij}x_{ij}x_{ij}^{T}\right)}

الحصول على تدرج لـأ{\displaystyle A}يعني هذا أنه يمكن إيجادها باستخدام خوارزمية حل تكرارية مثل خوارزمية التدرج المترافق . تجدر الإشارة إلى أنه عمليًا، تُصبح معظم الحدود الداخلية للتدرج ذات تأثير ضئيل نظرًا لتناقص تأثير النقاط البعيدة عن النقطة محل الاهتمام بسرعة. هذا يعني أنه يمكن اقتطاع المجموع الداخلي للتدرج، مما يُؤدي إلى أوقات حساب معقولة حتى مع مجموعات البيانات الكبيرة.

تركيبة بديلة

"تحقيق أقصى قدر منو(){\displaystyle f(\cdot )}يعادل تقليلل1{\displaystyle L_{1}}المسافة بين التوزيع المتوقع للفئات والتوزيع الحقيقي للفئات (أي: حيثصأنا{\displaystyle p_{i}}ناتج عنأ{\displaystyle A}(جميعها تساوي 1). البديل الطبيعي هو تباعد KL، والذي ينتج عنه دالة الهدف والتدرج التاليين: (Goldberger 2005)

ز(أ)=أناسجل(ججأناصأناج)=أناسجل(صأنا){\displaystyle g(A)=\sum _{i}\log \left(\sum _{j\in C_{i}}p_{ij}\right)=\sum _{i}\log(p_{i})}

زأ=2أأنا(كصأناكxأناكxأناكتي-ججأناصأناجxأناجxأناجتيججأناصأناج){\displaystyle {\frac {\partial g}{\partial A}}=2A\sum _{i}\left(\sum _{k}p_{ik}x_{ik}x_{ik}^{T}-{\frac {\sum _{j\in C_{i}}p_{ij}x_{ij}x_{ij}^{T}}{\sum _{j\in C_{i}}p_{ij}}}\right)}

عملياً، تحسينأ{\displaystyle A}يؤدي استخدام هذه الوظيفة عادةً إلى نتائج أداء مماثلة لتلك التي تم الحصول عليها باستخدام الوظيفة الأصلية.

التاريخ والخلفية

تم تطوير تحليل مكونات الجوار بواسطة جاكوب غولدبيرغر، وسام رويس، ورسلان سالاخوتدينوف ، وجيوف هينتون في قسم علوم الحاسوب بجامعة تورنتو في عام 2004.

انظر أيضاً

مراجع

  • ج. غولدبيرغر، ج. هينتون، س. رويس، ر. سالاخوتدينوف. (2005) تحليل مكونات الجوار. مؤرشف بتاريخ 23 فبراير 2005 على موقع Wayback Machine . التقدم في أنظمة معالجة المعلومات العصبية. 17، 513-520، 2005.

برمجة