الدرس 7 من 7 · التحسين الرياضي

محسّن Adam Adam Optimizer

Adam يجمع الزخم (متوسط التدرجات) مع التكييف لكل معامل (متوسط مربعاتها) وتصحيح التحيز؛ فيعطي خطوات بحجم متقارب لكل الأوزان، وهو المحسّن الافتراضي في كثير من نماذج التعلم العميق.

رياضيات التعلم الآلي الصعوبة: متقدم زمن الدراسة: 45 دقيقة
محتويات الدرس
  1. مقدمة
  2. لماذا ندرس هذا الموضوع؟
  3. الشرح النظري
  4. التعريفات الرياضية
  5. المعادلات
  6. مثال محلول
  7. التطبيق في الذكاء الاصطناعي
  8. المختبر التفاعلي
  9. تمارين تدريبية
  10. الملخص
  11. اختبار قصير
  12. دروس مرتبطة

1 مقدمة

Adam (Adaptive Moment Estimation) محسّن يحتفظ بمتوسطين متحركين لكل معامل: الأول للتدرج (العزم الأول)، والثاني لمربع التدرج (العزم الثاني). ثم يقسم الأول على جذر الثاني فيتكيف حجم الخطوة مع كل معامل.

الأهداف التعليمية

  • كتابة معادلات Adam الخمس
  • فهم تصحيح التحيز وسببه
  • تنفيذ خطوة Adam يدوياً
  • مقارنة Adam بـ SGD والتعرف على AdamW

2 لماذا ندرس هذا الموضوع؟

الأوزان المختلفة في الشبكة تتلقى تدرجات بمقاييس مختلفة جداً؛ ومعدل تعلم واحد لا يناسبها جميعاً. Adam يطبّع الخطوة لكل معامل فيقل الاعتماد على الضبط الدقيق لمعدل التعلم، ولذلك يُستخدم على نطاق واسع في المحولات والنماذج التوليدية، وتُستخدم نسخته AdamW (مع فصل اضمحلال الأوزان) في تدريب كثير من النماذج اللغوية.

3 الشرح النظري

المعادلات

\[\begin{aligned} m_t &= \beta_1 m_{t-1} + (1-\beta_1)g_t \\ v_t &= \beta_2 v_{t-1} + (1-\beta_2)g_t^2 \\ \hat m_t &= \frac{m_t}{1-\beta_1^t},\quad \hat v_t = \frac{v_t}{1-\beta_2^t} \\ \theta_t &= \theta_{t-1} - \eta\,\frac{\hat m_t}{\sqrt{\hat v_t} + \epsilon}\end{aligned}\]

القيم الافتراضية الشائعة: \(\beta_1 = 0.9\)، \(\beta_2 = 0.999\)، \(\epsilon = 10^{-8}\)، \(\eta = 10^{-3}\).

لماذا تصحيح التحيز؟

يبدأ \(m_0 = v_0 = 0\)، فتكون المتوسطات في الخطوات الأولى منحازة نحو الصفر. القسمة على \(1 - \beta^t\) تزيل هذا التحيز؛ وأثرها يتلاشى مع زيادة t.

حجم الخطوة

بما أن \(\hat m_t/\sqrt{\hat v_t}\) نسبة بلا وحدة تقريباً، فإن الخطوة الفعلية قريبة من \(\eta\) في المقدار عندما تكون التدرجات ثابتة الإشارة، وأصغر عندما تتذبذب.

AdamW

في Adam الأصلي يُضاف التنظيم L2 إلى التدرج فيتأثر بالتطبيع. أما AdamW فيفصل اضمحلال الأوزان: \(\theta \leftarrow \theta - \eta\lambda\theta\) مباشرة، وهذا ما تستخدمه كثير من وصفات تدريب المحولات.

4 التعريفات الرياضية

Adam
محسّن يستخدم متوسطين متحركين مصححي التحيز للتدرج ومربعه لتكييف الخطوة لكل معامل.
\[\theta_t = \theta_{t-1} - \eta\,\hat m_t/(\sqrt{\hat v_t}+\epsilon)\]
تصحيح التحيز
قسمة المتوسط المتحرك على \(1-\beta^t\) لإزالة الانحياز نحو الصفر في البداية.
\[\hat m_t = m_t/(1-\beta_1^t)\]
محسّن Adam (Adam Optimizer)
محسّن تكيفي يجمع الزخم ومتوسط مربعات التدرج مع تصحيح التحيز لحساب خطوة مناسبة لكل معامل.
\[\theta_t=\theta_{t-1}-\eta\frac{\hat m_t}{\sqrt{\hat v_t}+\epsilon}\]

5 المعادلات

\[m_t = \beta_1 m_{t-1} + (1-\beta_1)g_t\]
العزم الأول
\[v_t = \beta_2 v_{t-1} + (1-\beta_2)g_t^2\]
العزم الثاني
\[\theta_t = \theta_{t-1} - \eta\,\frac{\hat m_t}{\sqrt{\hat v_t}+\epsilon}\]
التحديث

6 مثال محلول خطوة بخطوة

الخطوة الأولى في Adam

المسألة: معامل \(\theta_0 = 1\) وتدرجه \(g_1 = 2\)، مع \(\eta = 0.1\) و\(\beta_1 = 0.9\) و\(\beta_2 = 0.999\). احسب \(\theta_1\).

  1. \(m_1 = 0.1\cdot2 = 0.2\)، و\(v_1 = 0.001\cdot4 = 0.004\).
  2. تصحيح التحيز: \(\hat m_1 = 0.2/0.1 = 2\)، و\(\hat v_1 = 0.004/0.001 = 4\).
  3. الخطوة: \(0.1\cdot2/(\sqrt4 + 10^{-8}) \approx 0.1\).
  4. \(\theta_1 = 1 - 0.1 = 0.9\).
  5. لاحظ أن الخطوة تساوي η تقريباً مهما كان مقدار التدرج في الخطوة الأولى.

النتيجة: \(\theta_1 \approx 0.9\)

7 تطبيق عملي في الذكاء الاصطناعي

  • المحولات والنماذج اللغوية: تُدرَّب كثيراً بـ AdamW مع إحماء وتخفيض لمعدل التعلم.
  • النماذج التوليدية: Adam خيار شائع لتدريب GANs وVAEs.
  • الخصائص المتفرقة: التكييف لكل معامل يفيد عندما تظهر بعض الخصائص نادراً، كما في التضمينات.

8 مختبر تفاعلي مرتبط بالدرس

محاكاة الانحدار التدرجي والانحدار التدرجي العشوائي وMomentum وAdam على دوال محدبة وغير محدبة، مع التحكم في معدل التعلم ومشاهدة منحنى الخسارة والمسار والتقارب أو التباعد والحد الأدنى المحلي والعام.

افتح مختبر التحسين

9 تمارين تدريبية

أسئلة مراجعة للتفكير

  • ماذا يحدث لحجم خطوة Adam إذا تذبذبت إشارة التدرج من خطوة لأخرى؟
  • لماذا يكون تصحيح التحيز مهماً في الخطوات الأولى فقط؟

أخطاء شائعة

  • حذف تصحيح التحيز فتكون الخطوات الأولى صغيرة جداً.
  • استخدام L2 داخل التدرج مع Adam متوقعين أثر اضمحلال الأوزان نفسه.
  • نسيان ε فيحدث قسمة على صفر.

تدرب على 6 أسئلة من بنك الأسئلة لهذا الدرس

10 ملخص الدرس

  • Adam = زخم + تكييف لكل معامل + تصحيح تحيز.
  • الخطوة قريبة من η في المقدار.
  • AdamW يفصل اضمحلال الأوزان عن التدرج.

11 اختبار قصير

5 أسئلة · 10 دقائق · النجاح من 60% — اجتيازه يُكمل الدرس.