المتغيرات التوضيحية والمتغير الهدف

34 دقيقة
الكتلة 1 — المفردات الأساسية
الهدف
القدرة على تعريف المتغير التوضيحي والمتغير الهدف بدقة، وإتقان مرادفاتهما المتنافسة والتخصص الذي يصدر عنه كل منها، وصياغة ملاحظة كمتجه خصائص في فضاء بُعده p، وتطبيق المعايير المهنية التي تحدد ما إذا كان عمود متاح يمكن تقديمه مشروعاً لنموذج.
المدة المقدَّرة
40 دقيقة
المتطلبات السابقة
الفصول 001 إلى 005
الاختبارات المرتبطة
من 006.1-quiz-relation-features-target.md إلى 006.7-quiz-etudes-de-cas.md

1. بنية مسألة مُوجَّهة: FEATURES → MODÈLE → TARGET

1.1 الصيغة الذهنية

كل مسألة تعلّم مُوجَّه، أيّاً كان المجال التطبيقي أو الخوارزمية المعتمَدة أو حجم البيانات، تُختزَل إلى بنية وحيدة:

يجب حفظ هذه الصيغة حرفياً. وهي تحمل ثلاثة التزامات منهجية:

  1. ما على اليسار معروف لحظة التنبؤ. متغير موضوع كمدخل لن يكون متاحاً في اللحظة التي يجب فيها إصدار التنبؤ يُبطل الجهاز كله. وهذه النقطة تشكّل معيار الانتقاء الأول، المطوَّر في الفقرة 6.
  2. ما على اليمين هو ما نسعى إلى الحصول عليه. المتغير الهدف لا يُقدَّم أبداً للنموذج في مرحلة التنبؤ: فقيمته هي المطلوبة بالضبط.
  3. السهم ليس علاقة سببية. إنه يعبّر عن ارتباط إحصائي مستغَل لأغراض التنبؤ. والتمييز بين الارتباط والسببية معالَج في الفصل 016.

1.2 نظاما التشغيل

تُقرَأ البنية نفسها قراءة مختلفة حسب المرحلة. وهذا مصدر الخلط الأكثر شيوعاً لدى المبتدئين.

المرحلةالمتغيرات التوضيحيةالمتغير الهدفما يُنتَج
التعلّممعروفة، مقدَّمةمعروف، مقدَّمالنموذج
التحقّقمعروفة، مقدَّمةمعروف لكن محجوب عن النموذج، مستعمَل للمقارنةمقياس أداء
التنبؤ في الإنتاجمعروفة، مقدَّمةمجهولتقدير ŷ
المراقبة البعديةمعروفةمرصود بعدئذ، بمهلةمقياس انحراف

نقطة انتباه: في مرحلة التعلّم، الهدف حاضر في مجموعة البيانات بمقام الأعمدة الأخرى. ومع ذلك فهو ذو طبيعة وظيفية مختلفة جذرياً. وخلطه بعمود عادي، أو إغفال سحبه من المدخلات، ينتج نموذجاً يتنبأ بكمال في التعلّم وغير قابل للاستعمال في الإنتاج.

تشبيه — المحقّق وعلاماته

لا يملك محقّق الجواب أبداً. إنه يملك علامات: بصمة، جدولاً زمنياً، شهادة، أثراً مصرفياً. وكل علامة معلومة جزئية، ناقصة، مضلِّلة أحياناً. ولا يمكن للمحقّق أن يستدل إلا على ما جمعه.

والمتغيرات التوضيحية هي هذه العلامات بالضبط: إنها المعلومات الوحيدة التي يملكها النموذج ليصدر حكماً. والمتغير الهدف هو هوية الجاني، أي ما يجب أن تثبته التحقيق.

ثلاث نتائج لهذا التشبيه، كلها دقيقة تقنياً:

  • علامة غير متاحة لا توجد. لا يمكن لمحقّق أن يؤسس استنتاجه على مراقبة فيديو لم تُركَّب قط. ولا يمكن لنموذج أن يستعمل متغيراً لن يُرصَد لحظة التنبؤ.
  • علامة لاحقة للجريمة ليست علامة، إنها اعتراف. إذا «استنتج» المحقّق هوية الجاني من اعتراف موقَّع، فإنه لا يستنتج شيئاً. وهذه آلية تسرّب البيانات (data leakage)، المعالَجة في الفصل 028.
  • جودة العلامات تحدد جودة التحقيق، أكثر من طريقة الاستجواب. تُطوَّر هذه النقطة في الفقرة 6.8.

2. المتغير التوضيحي

2.1 التعريف

تعريف — المتغير التوضيحي (feature، caractéristique)

التعريف الدقيق

مقدار مقيس أو مُنشأ، مرتبط بكل ملاحظة في مجموعة بيانات، تُقدَّم قيمه للنموذج كمدخل ومن خلالها ينتج تقديراً للمتغير الهدف.

صياغة مكافئة في نظرية التعلّم

مكوّن متجه المدخل x المنتمي إلى فضاء الخصائص 𝒳، الذي تُعرَّف عليه دالة التنبؤ f : 𝒳 → 𝒴 التي تختارها خوارزمية التعلّم في صنف فرضيات.

ترجمة إلى اللغة اليومية

معلومة نمنحها للآلة لتساعدها على الإجابة.

طبيعة المفهوم

يشير المتغير التوضيحي إلى دور وظيفي، لا نوع بيانات. فعمود ليس متغيراً توضيحياً بطبيعته: يصبح كذلك بقرار تصميم قابل للنقض. ويمكن أن يكون العمود نفسه توضيحياً في مشروع، وهدفاً في آخر، ومقصياً في ثالث. وتُطوَّر هذه النقطة في الفقرة 4.4.

نقطة انتباه

مصطلح توضيحي مضلِّل إن أُخذ بحرفيته. فمتغير توضيحي لا يفسّر شيئاً بالمعنى السببي: إنه يقدّم معلومة مرتبطة إحصائياً بالهدف. ويمكن لمتغير شديد التنبؤ ألا يقيم أي رابط سببي مع الهدف وألا يكون إلا مؤشراً غير مباشر لسبب مشترك غير مرصود.

2.2 ما ليس المتغير التوضيحي

القول الشائعالوضعالتبرير
«كل عمود في الملف feature»غير صحيحتُقصَى المعرّفات والهدف ومتغيرات التسرّب (الفصل 005، الفقرة 3.2)
«feature تفسّر الهدف»غير صحيح بالمعنى الضيقإنه مرتبط بالهدف؛ والتفسير السببي يندرج تحت إطار منهجي آخر (الفصل 016)
«يجب أن تكون feature عددية»غير صحيحيمكن أن تكون فئوية أو زمنية أو نصية؛ والترميز العددي خطوة لاحقة (الفصلان 022 و023)
«كلما كثرت الـ features تحسّن النموذج»غير صحيحبعد عتبة، إضافة متغيرات تفسد الأداء في التعميم (الفصلان 025 و031)
«feature تقدّمها البيانات»غير دقيق جزئياًجزء مهم من أكثر المتغيرات تنبؤاً يُنشأ، لا يُرصَد (الفصل 024)

2.3 نمطية المرادفات

يجمع المجال مفردات صادرة عن تخصصات متميّزة، صاغ كل منها مصطلحه الخاص للكائن نفسه. والتسميات أدناه متكافئة بصرامة في الممارسة؛ وتختلف بأصلها وسجلها والدلالات التي تحملها.

المصطلحالتخصص الأصليالدلالة الخاصةسجل الاستعمال الحالي
Featureالتعرّف على الأشكال والرؤية الحاسوبيةمقدار مستخرَج من الإشارة الخام، منشأ أحياناًسائد في التعلّم الآلي، بما فيه الفرنسية المهنية
خاصيةالترجمة الفرنسية لـ featureمطابقة لـ featureموصى بها كتابةً بالفرنسية؛ استعمال شفهي أقلية
متغير توضيحيالإحصاء التطبيقي، النمذجةيوحي بمساهمة في تفسير الظاهرةمعيار أكاديمي فرنكوفوني
متغير مستقلالإحصاء التجريبي، خطة التجربة، علم النفس التجريبي (إرث Fisher، 1935)يوحي بمتغير يتلاعب به المجرِّبشائع لكنه إشكالي في ML (الفقرة 4)
متغير مدخل، inputالتحكم الآلي، نظرية الأنظمة، الهندسةمحايد: ما يدخل الصندوقشائع جداً، بلا غموض
مُنبئ، predictorالإحصاء التطبيقي، أدبيات الانحداريؤكّد الغاية التنبؤية لا التفسيريةشائع، مناسب خصوصاً لإطار ML
مُنحدِرالاقتصاد القياسيمصطلح نموذج الانحدار، مرتبط بمعاملمحفوظ للنماذج الوسيطية الخطية
متغير مرافق، covariateالإحصاء الحيوي، الوبائيات، التجارب السريريةمتغير يُضبَط أثره لعزل أثر علاجمعيار في البحث السريري
سمةالتعلّم الرمزي، تنقيب البيانات، قواعد البيانات العلائقية (Quinlan، 1986)خاصية وصفية لكيانقديم في ML، حي في قواعد البيانات
واصفالكيمياء القياسية، المعلوماتية الكيميائيةمقدار محسوب يصف بنيةمتخصص
متغير خارجيالاقتصاد القياسي البنيويمحدَّد خارج النظام المنمذَجمتخصص، ذو حمولة نظرية قوية
عاملخطط التجربة، تحليل التباينمتغير فئوي مضبوطغامض: يعني شيئاً آخر في التحليل العاملي

توصية مهنية. كتابةً بالعربية، تُستعمَل متغير توضيحي أو خاصية. شفهياً وفي الشفرة، feature هو الاستعمال الراسخ ولا يجب تجنّبه. وفي سياق التواصل مع محاورين مهنيين، متغير مدخل أو معلومة مقدَّمة للنموذج أكثر الصياغات فهماً فورياً. وتُتجنَّب متغير مستقل للأسباب المعروضة في الفقرة 4.

تعريف — المُنبئ (predictor)

التعريف الدقيق

متغير تُستعمَل قيمه لتقدير قيم متغير آخر، بمعزل عن أي ادّعاء تفسيري أو سببي.

فائدة المصطلح

هذا أصدق المصطلحات إبستمولوجياً للتعلّم الآلي: فهو يسمّي بالضبط ما يُبحَث عنه، أي قدرة تنبؤية، بلا الإيحاء بفهم الآلية الكامنة.

نقطة انتباه

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

تعريف — المُنحدِر والمتغير المرافق

المُنحدِر (اقتصاد قياسي)

متغير يظهر في الطرف الأيمن لمعادلة انحدار، مرتبط بمعامل مقدَّر. وفي النموذج y = β₀ + β₁x₁ + … + βp\beta_p xpx_p + ε، الـ xjx_j هي المُنحدِرات والمتغير المفسَّر y هو المُنحدَر عليه.

والمصطلح لا ينفصل عن نموذج وسيطي صريح. والحديث عن «مُنحدِرات» بخصوص غابة عشوائية إساءة استعمال لغة: لا معامل مرتبطاً بمتغير فيها.

المتغير المرافق (إحصاء حيوي)

متغير مقيس يُؤخَذ أثره في الحسبان في النموذج لعزل أثر متغير اهتمام، عادة علاج. وفي تجربة سريرية تقيّم دواء، عُمر المرضى وجنسهم متغيرات مرافقة: ليست موضوع الدراسة لكنها تؤثّر في النتيجة.

نقطة انتباه

مفردات المتغير المرافق تفترض تراتبية بين المتغيرات: متغير اهتمام، ومتغيرات ضبط. وهذه التراتبية غير موجودة في التعلّم الآلي التنبؤي، حيث لكل المتغيرات التوضيحية الوضع الوظيفي نفسه. واستئناف هذه المفردات في مشروع ML يستورد بنية مفهومية بلا موضوع.

2.4 المعنيان لكلمة feature

يُستعمَل المصطلح في الأدبيات بمدى مختلفين، وخلطهما مصدر خطأ حقيقي.

المعنىما يشير إليهمثال
المعنى الواسعكل عمود وصفي في مجموعة البيانات، بمعزل عن استعمالهdate_souscription «feature في المجموعة»
المعنى الضيقكل مدخل مقدَّم فعلاً للنموذج بعد التحضيرanciennete_jours، مشتق من date_souscription، feature للنموذج

والفجوة بين المعنيين هي بالضبط نطاق feature engineering (الفصل 024) وfeature selection (الفصل 025).

نتيجة الترميز: عدد المتغيرات التوضيحية p لنموذج لا يكاد يساوي أبداً عدد أعمدة الملف الأصلي. وصياغة «مجموعتي فيها 14 feature» بلا تحديد المعنى مصدر سوء تفاهم بين الممارسين.


3. المتغير الهدف

3.1 التعريف

تعريف — المتغير الهدف (target، المتغير المراد التنبؤ به)

التعريف الدقيق

مقدار قيمته مجهولة في اللحظة التي يجب فيها أن يصدر النظام حكماً، وتقديره يشكّل غاية النموذج. وفي التعلّم المُوجَّه، قيمته المرصودة متاحة لملاحظات مجموعة التدريب، وهو ما يجيز تكوين إشارة خطأ وبالتالي التعلّم.

الموقع في الشكلانية

عنصر y من فضاء الخرج 𝒴. والزوج (x, y) يشكّل مثالاً موسوماً؛ ومجموعة التدريب مجموعة من هذه الأزواج مفترَض أنها صادرة عن توزيع مشترك P(X, Y) مجهول وثابت.

ترجمة إلى اللغة اليومية

ما نريد أن تخمّنه الآلة.

المعيار المميّز للتعلّم المُوجَّه

وجود متغير هدف مرصود هو ما يعرّف التعلّم المُوجَّه ويفصله عن التعلّم غير المُوجَّه (الفصل 003). وفي غياب هدف، لا توجد إشارة خطأ، وبالتالي لا شيء لتقليله، وبالتالي لا تعلّم مُوجَّه ممكن.

نقطة انتباه

المتغير الهدف ليس معطى من الطبيعة. إنه مُنشأ بقرار تصميم يثبّت ما يُعدّ الظاهرة المراد التنبؤ بها وبأي أفق. وتُطوَّر هذه النقطة في الفقرة 3.4.

3.2 نمطية المرادفات

المصطلحالتخصص الأصليالمدى الخاصسجل الاستعمال
Target، هدفالتعلّم الآلي الإنجليزيمحايد، كل أنواع الهدفسائد
متغير هدفالترجمة العربية / الفرنسيةمطابقمعيار فرنكوفوني
متغير تابعالإحصاء التجريبي، علم النفس التجريبييوحي بتبعية سببية للمتغيرات المتلاعَب بهاشائع، إشكالي في ML (الفقرة 4)
متغير جواب، response variableالإحصاء، منهجية خطط التجربةما يجيب عن تغيّر مضبوط للمدخلاتمعيار أكاديمي
متغير مفسَّر، متغير واجب التفسيرالإحصاء والاقتصاد القياسي الفرنكوفونياننظير «متغير توضيحي»شائع بالفرنسية
متغير داخلي، régressandeالاقتصاد القياسي البنيويمحدَّد داخل النظام المنمذَجمتخصص
خرج، outputالتحكم الآلي، نظرية الأنظمةمحايد: ما يخرج من الصندوقشائع جداً
Label، وسمالتعلّم المُوجَّه، وسم البياناتمحصور بالأهداف الفئويةسائد في التصنيف
فئةالتعرّف على الأشكال، التصنيفصيغة خاصة للوسمسائد في التصنيف
حقيقة أرضية، ground truthالاستشعار عن بُعد، ثم الرؤية الحاسوبيةالقيمة المرجعية المعتبَرة صحيحة، مقابل التنبؤمعيار في الوسم
معيار ذهبي، gold standardالإحصاء الحيوي، التشخيص الطبيالإجراء المرجعي المستعمَل لإثبات القيمة الصحيحةمعيار في الطب
متغير معيارالقياس النفسي، انتقاء الموظفينالنتيجة التي يسعى الجهاز إلى التنبؤ بهامتخصص
تعريف — الوسم (label)

التعريف الدقيق

قيمة فئوية مسندة إلى ملاحظة، تشير إلى انتمائها إلى إحدى صيغ مجموعة منتهية من فئات معرَّفة مسبقاً.

النقطة المميّزة

Label ليس مرادفاً دقيقاً لـ target. فكل وسم هدف، وكل هدف ليس وسماً.

نوع المسألةالهدفهل يمكن قول «وسم»
تصنيف ثنائي: احتيال / عاديفئوي بصيغتيننعم
تصنيف متعدد الفئات: قط / كلب / حصانفئوي بـ k صيغةنعم
انحدار: سعر باليوروعددي متصللا، باصطلاح الاستعمال

ترجمة إلى اللغة اليومية

التسمية الملصقة على المثال: «هذا بريد مزعج»، «هذا احتيال».

نقطة انتباه

تعبير بيانات موسومة (labeled data) مستعمَل في الأدبيات للإشارة إلى كل مجموعة بيانات تتضمّن هدفاً مرصوداً، حتى في الانحدار. فالاستعمال إذن أوسع من التعريف الضيق للوسم. ويفصّل الفصل 007 الترابط بين الوسم والفئة والترميز العددي.

تعريف — الحقيقة الأرضية (ground truth)

التعريف الدقيق

قيمة المتغير الهدف المعتبَرة دقيقة، مثبَتة بإجراء مرجعي مستقل عن النموذج، وتخدم مرجعاً للتعلّم والتقييم.

أصل المصطلح

يأتي التعبير من الاستشعار عن بُعد: كان التحقّق من تفسيرات صور الأقمار الصناعية يتطلب رصوداً تُجرى على الأرض.

نقطة انتباه كبرى

الحقيقة الأرضية ليست الحقيقة. إنها قياس، ناتج عن بروتوكول قابل للخطأ: وسم بشري معرَّض للاختلاف، تشخيص طبي ناقص، معاملة احتيالية غير مكتشَفة وبالتالي موسومة «عادية». والأداء المقيس لنموذج محدود بجودة الوسم. ولا يمكن لنموذج أن يتعلّم صحيحاً تمييزاً لا ترمّزه وسومه صحيحاً.

النتيجة التشغيلية

قبل إسناد أداء ضعيف للخوارزمية، التحقّق من بروتوكول الوسم: من وسم، وفق أي تعريف، وبأي معدّل اتفاق بين الموسِّمين.

3.3 وحدانية الهدف وتعدده

التكوينبنية الهدفالتسميةالإحالة
عمود هدف واحد، قيمة فريدة لكل ملاحظةy ∈ ℝ أو y ∈ {c₁, …, ckc_k}الحالة المعياريةالفصل 010
يمكن أن تنتمي ملاحظة إلى عدة فئات معاًy ∈ {0,1}k\{0,1\}^kتصنيف متعدد الوسومالفصل 011
عدة أهداف عددية يُتنبَّأ بها معاًy ∈ Rm\mathbb{R}^mانحدار متعدد المخارجالفصل 048
هدف فئوي بصيغ مرتَّبةy ∈ {c₁ < … < ckc_k}تصنيف ترتيبيالفصل 011

نقطة انتباه: وجود عدة أعمدة مرشَّحة لدور الهدف في ملف لا يجيز معاملتها كهدف وحيد. فهدفان متميّزان يعرّفان مسألتين متميّزتين، تتطلب كل منهما نموذجها ومقاييسها وتحقّقها.

3.4 الهدف إنشاء، لا معطى طبيعي

لا ينتج أي نظام تشغيلي تلقائياً عموداً اسمه «a_resilie». وينتج هذا العمود عن سلسلة قرارات صريحة.

القرارالأثر على المشروع
تعريف الحدثيحدد نسبة الموجبات، وبالتالي درجة الاختلال (الفصل 050)
الأفق الزمنييحدد صعوبة المسألة والفائدة التشغيلية للتنبؤ
المجتمع المعنييحدد نطاق صلاحية النموذج وتحيزات الانتقاء
تاريخ الملاحظةيحدد أي متغيرات توضيحية متاحة مشروعاً (الفقرة 6.1)

المبدأ الموجِّه: متغير هدف سيئ التعريف لا يمكن تعويضه بأي تهذيب خوارزمي. وصياغة الهدف هي الخطوة الأولى لدورة حياة مشروع (الفصل 012)، وهي تندرج تحت نقاش مع المجال، لا قرار تقني.


4. المتغير التابع والمتغير المستقل

4.1 أصل الاصطلاح

تعريف — المتغير المستقل والمتغير التابع

التعريف الدقيق في الإطار التجريبي الأصلي

في خطة تجربة، المتغير المستقل هو المقدار الذي يثبّت المجرِّب قيمه عمداً، بمعزل عن أي عامل آخر في الجهاز؛ والمتغير التابع هو المقدار المقيس الذي يُسعَى إلى إثبات ما إذا كان يتغيّر تبعاً للأول.

السياق التاريخي

يأتي هذا الاصطلاح من المنهجية التجريبية التي صاغها Ronald Fisher (The Design of Experiments، 1935) ونشرها علم النفس التجريبي. وهو يفترض جهازاً يتلاعب فيه المجرِّب بمتغير، ويضبط الآخرين ويعشّئ إسناد الوحدات، وهو ما يجيز استدلالاً سببياً.

ترجمة إلى اللغة اليومية

ما نضبطه بأنفسنا، وما نرصده تبعاً لذلك.

نقطة انتباه

هذه الشروط لا تجتمع عملياً أبداً في التعلّم الآلي التطبيقي، الذي يعمل على بيانات رصدية جُمعت بلا خطة تجربة. وتبقى المفردات، وقد اختفى تبريرها.

4.2 لماذا هذا الاصطلاح مضلِّل في التعلّم الآلي

الصعوبةما يوحي به المصطلحما هو عليه في التعلّم الآلي
الاستقلال الإحصائيستكون المتغيرات التوضيحية مستقلة فيما بينهاهي شبه دائماً مرتبطة فيما بينها. والارتباط القوي بين متغيرات توضيحية له اسم، التعدد الخطي (multicollinearity)، ويشكّل مشكلة معالَجة في الفصل 017
التلاعب التجريبيسيثبّت المحلّل قيم متغيرات المدخلإنها مرصودة، لا متلاعَب بها. لا أحد «يثبّت» عُمر زبون أو مساحة مسكن
التبعية السببيةسيتغيّر الهدف بسبب متغيرات المدخليلتقط النموذج ارتباطاً. والاستدلال السببي يتطلب إطاراً خاصاً، لا نموذجاً تنبؤياً (الفصل 016)
خاصية جوهريةسيكون متغير مستقلاً أو تابعاً بطبيعتهالوضع دور يسنده المشروع، قابل للعكس من مشروع إلى آخر
التناظر المنطقيستكون قراءة واحدة ممكنةاتجاه السهم خيار تصميم، مقيَّد بالتوافر الزمني، لا بالمنطق

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

4.3 الدور وظيفي، لا جوهري

يتغيّر دور المقدار نفسه حسب السؤال المطروح. والعمود لا يتغيّر ؛ المشروع يتغيّر.

المقدارمشروع يكون فيه هدفاًمشروع يكون فيه توضيحياً
مبلغ معاملةتوقّع متوسط السلةكشف احتيال مصرفي
درجة رضا زبونالتنبؤ بالرضا بعد المكالمةالتنبؤ بالانقطاع
مدة الاستشفاءتخطيط القدرة الاستشفائيةالتنبؤ بخطر إعادة القبول
حرارة محملتوقّع حراري لمعدّاتكشف عطل وشيك
أجرتقدير أجري عند التوظيفدرجة منح ائتمان

4.4 توصية اصطلاحية

الوضعالصياغة الموصى بهاالصياغة الواجب تجنّبها
تقرير تقني بالعربيةمتغيرات توضيحية / متغير هدفمتغيرات مستقلة / تابع
شفرة ووثائق تقنيةfeatures / target، X / y
عرض لجمهور مهنيمعلومات مقدَّمة / قيمة مراد التنبؤ بهاكل مصطلح مطلّب غير مترجَم
مقال علمي في الإحصاءمُنبئات / متغير جواب
مقابلة توظيفمتغيرات توضيحية، مع الإشارة إلى معرفة المرادفاتاستعمال مصطلح واحد بلا مسافة نقدية

الموقف المهني المتوقَّع: معرفة المرادفات، والقدرة على ترجمتها من سجل إلى آخر، والقدرة على تفسير لماذا متغير مستقل إرث غير ملائم للإطار الرصدي للتعلّم الآلي.


5. متجه الخصائص وفضاء الخصائص

5.1 من الصف إلى المتجه

تعريف — متجه الخصائص (feature vector)

التعريف الدقيق

تمثيل ملاحظة على شكل p-صف مرتَّب من القيم، واحدة لكل متغير توضيحي محتفَظ به:

x=(x1,x2,,xp)Rp\displaystyle x = (x_{1}, x_{2}, \dots , x_p)^{\top} \in \mathbb{R} ^p

حيث p يشير إلى عدد المتغيرات التوضيحية وxjx_j القيمة التي يأخذها المتغير الجيمي لهذه الملاحظة.

ثلاث خصائص مقيِّدة

  1. الترتيب ثابت ودال. المكوّن الجيمي يقابل دائماً المتغير نفسه، لكل الملاحظات. وتبديل بين التدريب والتنبؤ ينتج تنبؤات صحيحة عددياً وعبثية دلالياً.
  2. البعد ثابت. كل الملاحظات موصوفة بعدد المكوّنات نفسه. وملاحظة ينقصها متغير لا يمكن معالجتها كما هي: تتطلب إسناداً أو إقصاء (الفصل 019).
  3. المكوّنات عددية. يجب أن تكون المتغيرات الفئوية قد رُمِّزت مسبقاً (الفصل 022).

ترجمة إلى اللغة اليومية

صف الجدول، مختزَل إلى الأعمدة المفيدة ومحوَّل إلى سلسلة أعداد.

تعريف — مصفوفة التصميم (design matrix، X)

التعريف الدقيق

مصفوفة X ∈ Rn×p\mathbb{R}^{\text{n×p}} صفها الـ i هو متجه الخصائص xᵢᵀ للملاحظة الـ i وعمودها الـ j متجه القيم التي يأخذها المتغير التوضيحي الجيمي على الـ n ملاحظة.

والمتجه الهدف المرتبط هو y ∈ Yn\mathcal{Y}^n، حيث 𝒴 = ℝ في الانحدار و 𝒴 = {c₁, …, ckc_k} في التصنيف.

أصل المصطلح

يأتي Design matrix من أدبيات خطط التجربة، حيث كانت صفوف المصفوفة تصف التكوين التجريبي لكل تجربة. و المصطلح محفوظ في الانحدار والتعلّم الإحصائي.

اصطلاح الترميز

X بحرف كبير للمصفوفة، y بحرف صغير لمتجه الهدف: حالة الأحرف تشير إلى اختلاف الأبعاد، بعدان مقابل واحد. وهذا الاصطلاح عالمي في الأدبيات وفي المكتبات البرمجية.

الكائنالترميزالبعدالمحتوى
مجموعة تدريب(X, y)n زوج (ملاحظة، هدف)
مصفوفة المتغيرات التوضيحيةXn × pقيم عددية
متجه الهدفynقيمة لكل ملاحظة
متجه خصائص ملاحظةxᵢpالصف i من X
قيمة متغير لملاحظةxijx_{ij}عدديالخلية (i, j)
متجه متغير على كامل المجموعةX[:, j]nالعمود j من X
تنبؤ لملاحظةŷᵢعددي أو متجهخرج النموذج

5.2 فصل X وy في الممارسة

python
import pandas as pd

df = pd.read_csv("clients_telecom.csv")

cible = "a_resilie"
identifiants = ["client_id"]

X = df.drop(columns=[cible] + identifiants)
y = df[cible]

print("X :", X.shape)
print("y :", y.shape)
print()
print(X.dtypes)
X : (10000, 7)
y : (10000,)

age                    int64
anciennete_mois        int64
type_forfait             str
engagement               str
facture_mensuelle    float64
nb_appels_support      int64
satisfaction         float64
dtype: object

التفسير. تتضمّن المجموعة n = 10 000 ملاحظة. وتتضمّن مصفوفة X سبعة أعمدة، بعد سحب الهدف والمعرّف. ويؤكّد شكل y، (10000,)، أنه متجه ببعد واحد لا مصفوفة بعمود واحد: وهذا التمييز مصدر تحذيرات و أخطاء في عدة مكتبات.

نقطة انتباه: يجب كتابة df.drop(columns=[cible]) قبل أي تحويل آخر. وكل خطوة تحضير محسوبة على مجموعة لا تزال تتضمّن الهدف تعرّض لتسرّب (الفصل 028).

5.3 متجه خصائص ملاحظة

python
print(X.iloc[0])
age                       49
anciennete_mois           80
type_forfait          Mobile
engagement           12_mois
facture_mensuelle      43.81
nb_appels_support          3
satisfaction             4.0
Name: 0, dtype: object

هذا الصف ليس بعد متجه Rp\mathbb{R}^p: مكوّنان نصيان. وينتج ترميز المتغيرات الفئوية التمثيل العددي المقدَّم فعلاً للنموذج.

python
X_encode = pd.get_dummies(X, columns=["type_forfait", "engagement"])
X_num = X_encode.astype(float)

print("Nombre de colonnes avant encodage :", X.shape[1])
print("Nombre de colonnes après encodage :", X_encode.shape[1])
print(list(X_encode.columns))
print("Type :", X_num.to_numpy().dtype, "| forme :", X_num.to_numpy().shape)
print("Vecteur de caractéristiques de la première observation :")
print(X_num.to_numpy()[0])
Nombre de colonnes avant encodage : 7
Nombre de colonnes après encodage : 11
['age', 'anciennete_mois', 'facture_mensuelle', 'nb_appels_support',
 'satisfaction', 'type_forfait_Fibre', 'type_forfait_Fibre+TV',
 'type_forfait_Mobile', 'engagement_12_mois', 'engagement_24_mois',
 'engagement_Sans_eng']
Type : float64 | forme : (10000, 11)
Vecteur de caractéristiques de la première observation :
[49.   80.   43.81  3.    4.    0.    0.    1.    1.    0.    0.  ]

التفسير. الملاحظة، الموصوفة ابتداءً بسبعة أعمدة متغايرة، أصبحت نقطة في ℝ¹¹. والمكوّنات الخمس الأولى هي المتغيرات العددية الأصلية؛ والست التالية مؤشرات ثنائية ترمّز صيغ المتغيرين الفئويين. والقيم 1 في الموضعين الثامن والتاسع تشير إلى باقة Mobile بالتزام اثني عشر شهراً.

درسان عامان:

  • p ≠ عدد أعمدة الملف. هنا، تنتج سبعة أعمدة أحد عشر بعداً. ومع متغيرات فئوية بعدد صيغ مرتفع، تصبح الفجوة كبيرة: متغير «بلدية» بـ 400 صيغة يضيف وحده 400 بعد في ترميز المؤشرات.
  • المقاييس متغايرة. يتراوح anciennete_mois من 1 إلى 120، وfacture_mensuelle من 15 إلى 95، والمؤشرات تساوي 0 أو 1. وهذا التغاير بلا أثر على شجرة قرار وحاسم لكل نموذج قائم على مسافات أو على نزول تدرّجي (الفصل 023).

5.4 فضاء الخصائص

تعريف — فضاء الخصائص (feature space)

التعريف الدقيق

مجموعة 𝒳 لكل القيم الجائزة لمتجه الخصائص. وفي الحالة المعتادة لـ p متغيراً بقيم حقيقية، 𝒳 ⊆ Rp\mathbb{R}^p، مزوَّد ببنية فضاء متجهي منظَّم تتيح تعريف مسافة بين الملاحظات.

الصياغة الهندسية

كل ملاحظة نقطة في هذا الفضاء؛ وكل متغير توضيحي محور؛ ومجموعة البيانات سحابة n نقطة في فضاء بُعده p. وتقوم مهمة التعلّم على تحديد بنية في هذا الفضاء — حد يفصل مناطق في التصنيف، وسطح جواب في الانحدار — تعيد إنتاج الرابط بين الموقع و قيمة الهدف صحيحاً.

ترجمة إلى اللغة اليومية

مجموعة كل البطاقات الإشارية الممكنة، منظوراً إليها كنقاط على خريطة بـ p بعداً.

نقطة انتباه

الحدس الهندسي المكتسَب في البعد 2 أو 3 يتوقف عن الوثوقية بعده. وفي البعد العالي، يتركّز الحجم في المناطق المحيطية، و تصبح المسافات بين أزواج النقاط شبه متكافئة كلها، و يفقد مفهوم الجوار قدرته التمييزية. وهذه الظاهرة، المسماة لعنة الأبعاد، تؤثّر خصوصاً في الطرائق القائمة على المسافات (الفصل 040).

تشبيه — الخريطة ونقاط القياس

لخريطة مستوية محوران، طول وعرض. وتشغل كل مدينة فيها نقطة فريدة. ومدينتان متجاورتان على الخريطة كذلك في الواقع: للقرب في فضاء التمثيل معنى.

وفضاء الخصائص هذه الخريطة، بـ p محوراً بدل اثنين. وزبونان متجهَا خصائصهما قريبان زبوناان «متشابهان» بمعنى المتغيرات المحتفَظ بها.

ثلاثة تمديدات دقيقة للتشبيه:

  • تغيير المتغيرات يعود إلى تغيير الخريطة. خريطة تضاريس و خريطة شبكات سكك حديد تضع المدن نفسها على قرب مختلف. وهذا رهان هندسة الخصائص: بناء الخريطة التي يصبح عليها الظاهرة مقروءة.
  • تغيير الوحدة يشوّه الخريطة. إذا دُرِّج محور بالأمتار و الآخر بالكيلومترات، هيمن مفهوم القرب الأول. وهذا تبرير التوحيد القياسي (الفصل 023).
  • خريطة بـ 300 محور غير قابلة للمراجعة بالعين. وتتطلب المعاينة إسقاطاً في بعدين أو ثلاثة، وهي عملية تفقد حتماً معلومة (الفصل 015).

5.5 النموذج كدالة على فضاء الخصائص

العنصرالشكلانيةالقراءة
ملاحظةx ∈ 𝒳 ⊆ Rp\mathbb{R}^pنقطة
الهدف الحقيقيy ∈ 𝒴القيمة الصحيحة
النموذجf : 𝒳 → 𝒴دالة معرَّفة على الفضاء كله
التنبؤŷ = f(x)القيمة المسندة إلى النقطة
الخطأ على ملاحظةℓ(y, ŷ)الفرق المقيس بدالة خسارة
هدف التعلّمتقليل 𝔼[ℓ(Y, f(X))]تقليل الخطأ المتوقَّع على التوزيع، لا على العيّنة

نقطة أساسية. النموذج معرَّف على الفضاء كله، بما فيه المناطق التي لم تُرصَد فيها أي ملاحظة. وسينتج تنبؤاً لمتجه خصائص واقع خارج المجال الذي غطاه التدريب، بلا الإشارة إلى أن هذه المنطقة لم تُرصَد قط. وهذا الاستقراء الصامت مصدر فشل رئيسي في الإنتاج و يبرر مراقبة انحراف البيانات (الفصل 082).


6. معايير انتقاء متغير توضيحي

امتلاك عمود لا يجيز استعماله. وتنطبق أربعة مرشّحات متتالية، بهذا الترتيب، قبل أي اعتبار للأداء.

6.1 المعيار الأول: التوافر لحظة التنبؤ

تعريف — التوافر لحظة التنبؤ

التعريف الدقيق

متغير متاح في لحظة التنبؤ tpredt_{\mathrm{pred}} إذا كانت قيمته مرصودة ومتاحة ونهائية في أنظمة المعلومات في تلك اللحظة، لكل ملاحظة يجب أن يصدر النموذج حكماً عليها.

الصياغة التشغيلية

ليكن tpredt_{\mathrm{pred}} اللحظة التي يجب فيها إصدار التنبؤ وtobst_{\mathrm{obs}} اللحظة التي تصبح فيها قيمة المتغير معروفة فعلاً. والمتغير مقبول إذا وفقط إذا:

tobst_{\mathrm{obs}}tpredt_{\mathrm{pred}}، لكل الملاحظات، بلا استثناء

ترجمة إلى اللغة اليومية

هل سأملك هذه المعلومة فعلاً لحظة وجوب الإجابة، أم فقط في تاريخي لأنني أنظر إلى الماضي؟

نقطة انتباه

مجموعة البيانات التاريخية مكوَّنة بعدئذ: إنها تتضمّن طبيعياً معلومات تراكمت بعد لحظة القرار. ولا شيء في الملف يميّز متغيراً متاحاً عن متغير لاحق. والمعرفة وحدها بالعملية المهنية تتيح الحسم. ولا يمكن أتمتة هذا التحقّق.

حالة الاستعمالمتغير مرشَّحtobst_{\mathrm{obs}} بالنسبة إلى tpredt_{\mathrm{pred}}الحكم
انقطاع زبون عند 90 يوماًأقدمية بالأشهرسابقمقبول
انقطاع زبون عند 90 يوماًتاريخ الإلغاءلاحق، ومعرَّف بالحدثإقصاء، تسرّب ظاهر
انقطاع زبون عند 90 يوماًسبب المغادرة الذي أدخله المستشارلاحقإقصاء
انقطاع زبون عند 90 يوماًعدد مكالمات الدعم في الأشهر الستة الأخيرةسابق إذا كانت النافذة محدودة عند tpredt_{\mathrm{pred}}مقبول بشرط نوافذ صارمة
منح ائتماندخل معلَن عند الطلبسابقمقبول
منح ائتمانعدد حوادث الدفع على القرض الممنوحلاحقإقصاء
تقدير سعر بيع مسكنمساحة، سنة بناءسابقمقبول
تقدير سعر بيع مسكنمدة العرض للبيعلاحق للعرض، معروف بعدئذ فقطإقصاء
صيانة تنبؤية عند 7 أياماهتزاز متوسط للـ 24 ساعة الأخيرةسابقمقبول
صيانة تنبؤية عند 7 أيامرمز شذوذ تشخيص العطللاحقإقصاء
تشخيص طبي عند القبولثوابت حيوية عند الوصولسابقمقبول
تشخيص طبي عند القبولعلاج مقدَّملاحق، ونتيجة التشخيصإقصاء

ثلاثة أشكال لعدم التوافر، اثنان منها غالباً ما يُغفَلان:

الشكلالوصفمثال
عدم توافر زمنيالقيمة غير موجودة بعد عند tpredt_{\mathrm{pred}}المبلغ الإجمالي المفوتر في السنة الجارية
عدم توافر بكمونالقيمة موجودة لكنها لا تُوحَّد في الأنظمة إلا بمهلة تفوق نافذة القراردرجة خارجية تُحدَّث شهرياً، مستغَلة في تقييم فوري
عدم توافر بالنطاقالقيمة موجودة لمجتمع التاريخ لا لمجتمع الهدفمتغير مرصود فقط لزبائن فرع مُدمَج

نقطة انتباه على الكمون. نموذج مُتحقَّق منه على تاريخ كامل يمكن أن ينهار في الإنتاج لأن متغيراً يصل بتأخير ثمان وأربعين ساعة ويظهر إذن منهجياً كناقص لحظة التنبؤ. وينصبّ التحقّق لا على وجود المتغير فحسب، بل على توافره الفعلي في النظام المستدعي، بالحداثة المطلوبة.

والآلية الكاملة التي يفسد بها متغير غير متاح مشروعاً، وأشكاله الدقيقة وبروتوكولات الكشف معالَجة في الفصل 028.

6.2 المعيار الثاني: غياب التسرّب

تعريف — تسرّب البيانات (data leakage)

التعريف الدقيق

حضور، ضمن المعلومات المستعمَلة لبناء النموذج، لمعلومة لن تكون متاحة مشروعاً لحظة التنبؤ، أو محدَّدة بقيمة الهدف، مما ينتج مبالغة في تقدير الأداء المقيس وفشلاً في الإنتاج.

ترجمة إلى اللغة اليومية

رأى النموذج الجواب، مباشرة أو غير مباشرة، أثناء تعلّمه.

العائلتان الكبيرتان

العائلةالآليةالكشف
تسرّب بالمتغيرعمود يرمّز الهدف كله أو جزءاً منهأداء مرتفع بشكل غير طبيعي، أهمية مركَّزة على متغير
تسرّب بالبروتوكولإحصائية محسوبة على مجموع البيانات قبل الفصل تلوّث مجموعة الاختبارفجوة ضعيفة بين التحقّق والاختبار، انهيار في الإنتاج

إشارة التنبيه الأكثر وثوقية

أداء أعلى بوضوح من توقعات المجال. ونموذج يبلغ 0,99 AUC على مسألة مشهورة بالصعوبة يجب الاشتباه بتسرّبه قبل الاحتفاء به.

نقطة انتباه

التسرّب لا يثير أي خطأ تنفيذ. إنه ينتج نتائج ممتازة. وهذا بالضبط ما يجعله خطيراً: لا شيء يدعو إلى البحث عنه.

نوع المتغير المشبوهسؤال التحكّممثال
متغير نتيجةهل تُنتَج القيمة لأن الحدث وقع؟date_resiliation، motif_annulation، montant_rembourse
متغير معالجةهل تعكس القيمة فعلاً أُطلِق بمعرفة النتيجة؟offre_de_retention_proposee، dossier_transmis_au_contentieux
متغير مجمَّع بلا نوافذهل يغطي المجموع فترة لاحقة لـ tpredt_{\mathrm{pred}}؟nb_transactions_total، moyenne_annuelle
متغير وكيل شبه كاملهل الارتباط بالهدف مشبوه بالتفاهة؟statut_compte = "clos" للتنبؤ بالانقطاع
معرّف حامل لترتيبهل يرمّز المعرّف ضمنياً التسلسل الزمني أو المجموعة؟أرقام تسلسلية مسندة حسب دفعة، دفعة لكل فئة

6.3 المعيار الثالث: المعقولية المهنية

متغير مرتبط إحصائياً بالهدف بلا آلية معقولة يجب فحصه قبل الاحتفاظ به. وثلاث نتائج ممكنة.

التشخيصطبيعة الرابطالمسلك
آلية مهنية محدَّدةارتباط مؤسَّسإبقاء
متغير غير مباشر لسبب غير مرصودارتباط حقيقي لكنه هشإبقاء بتحفّظ، توثيق، مراقبة الاستقرار
ارتباط عرضي خاص بالعيّنةارتباط بلا أساسإقصاء؛ لن يتكرر
أثر اصطناعي للجمعيأتي الارتباط من عملية تكوين البياناتإقصاء وتصحيح الجمع

نقطة انتباه: المعقولية المهنية مرشّح، لا دليل. فمتغير معقول يمكن أن يكون عديم الفائدة، ومتغير آليته غير مفهومة يمكن أن يكون تنبؤياً أصيلاً. والمعيار يخدم تحديد المتغيرات الواجب فحصها، لا الحسم وحده.

نقطة انتباه على الاستقرار. متغير يتطور توزيعه أو تعريفه مع الزمن — إعادة صياغة تسمية، تغيّر نظام جمع، تعديل قاعدة إدارة — يفسد النموذج بلا أن ينطلق أي تنبيه تقني. ومراقبة هذه التطورات معالَجة في الفصل 082.

6.4 المعيار الرابع: المشروعية والأخلاقيات

الفئةالوضعالصعوبة الخاصة
متغيرات حسّاسة مباشرة: أصل، دين، آراء سياسية، صحة، توجه جنسياستعمال مؤطَّر بصرامة أو محظور حسب الولايات والغاياتتحديد سهل
متغيرات غير مباشرة شديدة الارتباط بمتغير حسّاسحظر غالباً ما يُلتف عليه بلا قصديمكن أن يحل الرمز البريدي محل الأصل؛ والاسم الأول محل الجنس
متغيرات صادرة عن جمع بلا أساس قانونيغير قابلة للاستغلالتتبّع المصدر مطلوب
متغيرات ينتجها نموذج آخرقابلة للاستغلال بحذرتبعية متسلسلة، شفافية أقل، انتشار تحيزات

نقطة انتباه: سحب المتغيرات الحسّاسة لا يكفي لإنتاج نموذج عادل. فالمتغيرات غير المباشرة تعيد تكوين المعلومة المحذوفة. ويُجرى تدقيق العدالة على تنبؤات النموذج، لا على قائمة مدخلاته وحدها (الفصل 080).

6.5 شبكة تحكّم في ثمانية أسئلة

#السؤالإذا كان الجواب غير مواتٍ
1هل سيُرصَد المتغير لحظة التنبؤ، لكل مجتمع الهدف؟إقصاء
2هل قيمته نهائية في تلك اللحظة، أم تُراجَع لاحقاً؟إقصاء أو نوافذ صريحة
3هل قيمته نتيجة للحدث المراد التنبؤ به؟إقصاء لتسرّب
4هل يتجاوز مجموع يتضمّنه الفترة اللاحقة؟إعادة حساب بنافذة محدودة
5هل آلية مهنية معقولة تربط هذا المتغير بالهدف؟فحص معمَّق
6هل تعريفه وتوزيعه مستقران مع الزمن؟مراقبة معزَّزة
7هل استعماله مشروع بالنظر إلى الغاية والتنظيم؟إقصاء
8هل تكلفة اكتسابه في الإنتاج متوافقة مع الاستعمال المستهدَف؟موازنة

تسبق هذه الأسئلة الثمانية كل قياس إحصائي. وطرائق الانتقاء القائمة على الأهمية أو الارتباط أو الأداء تتدخل بعد هذا الترشيح، وهي معالَجة في الفصل 025.

6.6 أولوية المتغيرات التوضيحية على اختيار الخوارزمية

المعاينة، الموثَّقة على نطاق واسع بالممارسة الصناعية و مسابقات النمذجة، هي التالية: عند مجموعة بيانات معطاة، يتجاوز الكسب المحصَّل بإثراء المعلومة المقدَّمة عموماً الكسب المحصَّل باستبدال خوارزمية بأخرى.

والمثال أدناه قابل لإعادة الإنتاج. البيانات محاكاة، والآلية المولِّدة معروفة: السعر هو جداء المساحة في سعر المتر المربع المحلي، مصحَّح بالتقادم. وتتضمّن المجموعة أيضاً ستة متغيرات ضجيج بلا رابط مع الهدف.

python
import numpy as np
import pandas as pd
from sklearn.model_selection import train_test_split
from sklearn.linear_model import LinearRegression
from sklearn.ensemble import HistGradientBoostingRegressor
from sklearn.metrics import r2_score

rng = np.random.default_rng(7)
n = 600

surface = rng.uniform(20, 160, n)
prix_m2_commune = rng.uniform(2000, 7000, n)
annee_construction = rng.integers(1900, 2021, n)
age_bien = 2024 - annee_construction

# الآلية المولِّدة: السعر جداء، مصحَّح بالتقادم
prix = surface * prix_m2_commune * (1 - 0.0025 * age_bien) + rng.normal(0, 40000, n)

X_brut = pd.DataFrame({
    "surface_m2": surface,
    "prix_m2_commune": prix_m2_commune,
    "annee_construction": annee_construction,
})
for j in range(6):
    X_brut[f"var_bruit_{j+1}"] = rng.normal(0, 1, n)

X_enrichi = X_brut.copy()
X_enrichi["valeur_theorique"] = surface * prix_m2_commune
X_enrichi["age_bien"] = age_bien

configurations = [("Variables brutes", X_brut), ("Variables enrichies", X_enrichi)]
modeles = [("Regression lineaire", LinearRegression()),
           ("Gradient boosting", HistGradientBoostingRegressor(random_state=0))]

for nom_config, X in configurations:
    X_tr, X_te, y_tr, y_te = train_test_split(X, prix, test_size=0.3, random_state=0)
    for nom_modele, modele in modeles:
        modele.fit(X_tr, y_tr)
        r2 = r2_score(y_te, modele.predict(X_te))
        print(f"{nom_config:20s} | {nom_modele:20s} | p = {X.shape[1]:2d} | R2 = {r2:.3f}")
Variables brutes     | Regression lineaire  | p =  9 | R2 = 0.898
Variables brutes     | Gradient boosting    | p =  9 | R2 = 0.927
Variables enrichies  | Regression lineaire  | p = 11 | R2 = 0.946
Variables enrichies  | Gradient boosting    | p = 11 | R2 = 0.929
المقارنةفرق R²القراءة
تغيّر الخوارزمية، عند متغيرات خام ثابتة+0,029كسب محصَّل باستبدال الانحدار الخطي بـ gradient boosting
إثراء المتغيرات، عند خوارزمية خطية ثابتة+0,048كسب محصَّل بإضافة متغيرين مُنشأين
نموذج خطي مثرى مقابل gradient boosting خام+0,019 لصالح الخطيالنموذج الأبسط، المُعلَم صحيحاً، يتجاوز النموذج الأقوى سيئ الإعلام

التفسير. الآلية المولِّدة جدائية. ونموذج خطي لا يمكنه تمثيل جداء متغيرين: إنه عاجز بنيوياً ما لم يُقدَّم له هذا الجداء. وما إن يُنشأ المتغير valeur_theorique، تعود المسألة خطية ويبلغ النموذج الأبسط أفضل أداء في المجموعة. وgradient boosting، الذي يقارب الجداء بمجموع أشجار، ينجح جزئياً، بتكلفة حسابية أعلى وثمن قابلية تفسير أقل.

مدى البرهان وحدوده. هذه النتيجة مبنية على بيانات محاكاة آليتها معروفة؛ وهي توضّح مبدأ ولا تشكّل قياساً قابلاً للتعميم. وعلى بيانات حقيقية، يعتمد الفرق على المسألة: توجد حالات يهيمن فيها تغيّر الخوارزمية. والمبدأ الموجِّه مع ذلك راسخ بقوة.

لا يمكن لخوارزمية، أيّاً كانت، أن تستغل إلا المعلومة المتضمَّنة في المتغيرات المقدَّمة لها. ولا يعوّض أي تهذيب خوارزمي معلومة غائبة.

رافعة التحسينالأثر النموذجيالتكلفةالأولوية
تصحيح تعريف الهدفحاسمضعيفة، لكنها تتطلب اتفاقاً مهنياً1
إزالة التسرّبات والمتغيرات غير المتاحةحاسم للصلاحيةضعيفة2
اكتساب مصدر بيانات جديد وذي صلةغالباً مرتفعمرتفعة3
إنشاء متغيرات مشتقة ملائمة للآليةغالباً مرتفعمعتدلة4
زيادة حجم الملاحظاتمتغيّر، متناقصمعتدلة إلى مرتفعة5
تغيّر الخوارزميةمعتدلضعيفة6
تحسين المعاملات الفائقةضعيف إلى معتدلمعتدلة7

7. ثلاث حالات عملية موسومة

7.1 الانقطاع في الاتصالات

client_idageanciennete_moistype_forfaitfacture_mensuellenb_appels_supportsatisfactiondate_resiliationmotif_departa_resilie
C-00001348Mobile29,90040
C-000026745Fibre64,90320
C-00003292Mobile19,9012025-01-14Prix1
C-000045261Fibre+TV89,90050
C-000054117Fibre49,90712024-11-22Service1
العنصرالتحديد
المتغير الهدفa_resilie، ثنائي، إلغاء مرصود في الـ 90 يوماً التالية لتاريخ الملاحظة
نوع المسألةتصنيف ثنائي
المتغيرات التوضيحية المحتفَظ بهاage، anciennete_mois، type_forfait، facture_mensuelle، nb_appels_support، satisfaction
أعمدة مقصاة كمعرّفاتclient_id
أعمدة مقصاة لتسرّبdate_resiliation وmotif_depart: كلاهما لا يُرصَد إلا إذا وقع الإلغاء. وحضورهما وحده يحدد الهدف
البعد بعد الترميزp = 8: خمسة عددية وثلاثة مؤشرات لـ type_forfait
نقطة انتباه على النوافذيجب حساب nb_appels_support على نافذة محدودة بتاريخ الملاحظة. وعدّ على كامل عمر الزبون يتضمّن المكالمات اللاحقة، ولا سيما مكالمة الإلغاء نفسها

تشخيص تسرّب بنسبة القيم الناقصة. عمود motif_depart فارغ لكل الملاحظات غير الملغاة. وعمود تتطابق نسبة اكتماله تماماً مع نسبة موجبات الهدف متغير تسرّب إلى أن يثبت العكس. وهذا التحكّم قليل التكلفة ويكشف جزءاً واسعاً من التسرّبات بالمتغير.

7.2 تقدير سعر عقاري

annonce_idcommunesurface_m2nb_piecesannee_constructionclasse_energieascenseurduree_mise_en_vente_jnb_visitesprix_vente
A-10471Lyon 3e6831972D14712331 000
A-10472Villeurbanne4222015B12219218 500
A-10473Lyon 6e10551930E01188712 000
A-10474Bron7741988D06311249 000
A-10475Lyon 3e3112019A11524189 900
العنصرالتحديد
المتغير الهدفprix_vente، عددي متصل موجب صرفاً
نوع المسألةانحدار
المتغيرات التوضيحية المحتفَظ بهاcommune، surface_m2، nb_pieces، annee_construction، classe_energie، ascenseur
أعمدة مقصاة كمعرّفاتannonce_id
أعمدة مقصاة لعدم التوافرduree_mise_en_vente_j وnb_visites: هذه القيم لا تُعرَف إلا بعد البيع. والاستعمال المستهدَف هو التقدير عند العرض للبيع، وهي لحظة تساوي فيها صفراً أو تكون غير معرَّفة
متغيرات تُنشأage_bien = annee_vente − annee_construction؛ prix_m2_median_commune محسوب على فترة التدريب فقط؛ surface_par_piece
البعد بعد الترميزيعتمد على عدد صيغ commune؛ وترميز مؤشرات على 60 بلدية يرفع p إلى ما بعد 65

نقطة انتباه على المتغير المُنشأ prix_m2_median_commune. هذا المتغير أقوى رافعة أداء في المسألة، و في الوقت نفسه ناقل تسرّب. ومحسوباً على مجموع مجموعة البيانات، يدمج أسعار بيع مجموعة الاختبار في مدخلات التدريب. ويجب تقديره حصراً على مجموعة التدريب، ثم تطبيقه على المجموعات الأخرى، وهو ما يفرض دمجه في خط أنابيب (الفصلان 079 و092) لا حسابه مسبقاً.

نقطة انتباه على الاعتماد الزمني. ينحرف المستوى العام للأسعار. وإذا كان الاستعمال المستهدَف تقدير معاملات مستقبلية، فيجب أن يكون الفصل زمنياً (الفصل 027) ووضع مراقبة الانحراف (الفصل 082).

7.3 صيانة تنبؤية على معدّات صناعية

capteur_idmachine_idhorodatagetemperature_cvibration_rmspression_barheures_fonctionnementjours_depuis_maintenancecode_defaut_diagpanne_sous_7j
S-0001M-142025-03-02 06:0062,41,824,1018 420340
S-0002M-142025-03-02 07:0071,93,474,0818 42134E-2071
S-0003M-222025-03-02 06:0058,11,443,956 210120
S-0004M-222025-03-02 07:0058,61,513,966 211120
S-0005M-072025-03-02 06:0079,24,914,4241 003961
العنصرالتحديد
المتغير الهدفpanne_sous_7j، ثنائي، وقوع توقف غير مخطَّط في السبعة أيام
نوع المسألةتصنيف ثنائي بهدف شديد الاختلال
ماذا تمثّل ملاحظةقراءة ساعية لآلة، لا آلة. والآلة نفسها تشغل آلاف الصفوف
المتغيرات التوضيحية المحتفَظ بهاtemperature_c، vibration_rms، pression_bar، heures_fonctionnement، jours_depuis_maintenance، إضافة إلى مجاميع زمنية تُنشأ
أعمدة مقصاة كمعرّفاتcapteur_id؛ ويُحفَظ machine_id كـ مفتاح تجميع، لا كمتغير توضيحي
أعمدة مقصاة لتسرّبcode_defaut_diag: يصدر هذا الرمز عن التشخيص المجرى لحظة العطل. وحضوره يحدد الهدف آلياً
متغيرات تُنشأمتوسطات وانحرافات معيارية وميلان vibration_rms على نوافذ منزلقة 6 و24 و72 ساعة؛ فرق عن القيمة المرجعية حسب الآلة

نقطة انتباه على بنية المجموعة. فصل عشوائي سيضع قراءات الآلة نفسها واليوم نفسه في التدريب والاختبار معاً. فيحفظ النموذج توقيع الآلة بدل آلية التدهور، وسيكون الأداء المقيس مبالَغاً فيه بقوة. ويجب إجراء الفصل حسب مجموعة آلات و احترام التسلسل الزمني (الفصل 027).

نقطة انتباه على نوافذ المجاميع. يجب أن تكون كل نافذة منزلقة سابقة صرفاً للختم الزمني للملاحظة. ومتوسط متمركز على اللحظة الجارية يدمج قياسات مستقبلية وينتج تسرّباً لن يظهر إلا في الإنتاج.

المجالالتسرّب الأكثر شيوعاًمتغير التوافر الأكثر حرجاً
انقطاع اتصالاتأعمدة مرصودة فقط للمغادرينمجاميع اتصالات الدعم، بنافذة محدودة
عقاريإحصاءات أسعار محسوبة على كامل المجموعةمتغيرات تصف مجرى البيع
صيانة صناعيةرموز تشخيص لاحقة للعطلمجاميع على نوافذ منزلقة سابقة صرفاً

8. أخطاء استدلال شائعة

خطأ — معالجة كل عمود متاح كمتغير توضيحي

توافر عمود في ملف تاريخي لا يثبت لا توافره لحظة التنبؤ، ولا مشروعيته. والمعرّفات، ومتغيرات النتيجة والمتغيرات الموحَّدة متأخراً يجب استبعادها قبل أي نمذجة.

الصياغة الصحيحة: «يصبح العمود متغيراً توضيحياً بعد استيفاء أربعة معايير: التوافر لحظة التنبؤ، غياب التسرّب، المعقولية المهنية والمشروعية.»

خطأ — تفسير «متغير مستقل» كشرط استقلال متبادل

الصفة تأتي من الإطار التجريبي حيث يثبّت المتغير المجرِّب بمعزل عن الجهاز. ولا تفرض أي استقلال إحصائي بين متغيرات المدخل، وهي عموماً مرتبطة.

الصياغة الصحيحة: «مصطلح مستقل إرث خطة التجربة؛ والارتباط بين المتغيرات التوضيحية ظاهرة متميّزة، التعدد الخطي، المعالَجة في الفصل 017.»

خطأ — خلط label وtarget

يشير Label إلى قيمة فئوية مسندة إلى ملاحظة. وهدف عددي متصل target بلا أن يكون label. والحديث عن «وسم» مسألة انحدار إساءة استعمال لغة تشير إلى إتقان ناقص للمفردات.

الصياغة الصحيحة: «الهدف وسم في التصنيف و قيمة عددية في الانحدار؛ يغطي target الحالتين، وlabel الأولى فقط.»

خطأ — افتراض أن دور المتغير جوهري

لا مقدار توضيحياً أو هدفاً بطبيعته. فمبلغ معاملة هدف في مشروع توقّع متوسط السلة وتوضيحي في مشروع كشف احتيال.

الصياغة الصحيحة: «دور المتغير يسنده السؤال المطروح، لا المتغير نفسه.»

خطأ — اعتبار أن إضافة متغيرات تحسّن النموذج آلياً

زيادة متغيرات غير إعلامية تزيد بُعد فضاء الخصائص، وترفع تباين التقدير، وتفضّل فرط التخصيص وتثقّل سلسلة الإنتاج. والعلاقة بين عدد المتغيرات والأداء في التعميم ليست رتيبة.

الصياغة الصحيحة: «المعلومة ذات الصلة تحسّن النموذج؛ و عدد الأعمدة، في ذاته، لا يحسّنه.»

خطأ — استنتاج فضاء الخصائص من عدد أعمدة الملف

ترميز المتغيرات الفئوية وإنشاء متغيرات مشتقة و الانتقاء تعدّل البعد p. ويمكن لسبعة أعمدة مصدر أن تنتج أحد عشر بعداً، أو عدة مئات مع متغيرات بعدد صيغ مرتفع.

الصياغة الصحيحة: «يشير p إلى عدد مكوّنات المتجه المقدَّم فعلاً للنموذج، بعد التحضير.»

خطأ — البحث عن كسب أداء في اختيار الخوارزمية قبل فحص المتغيرات

ترتيب الروافع ثابت: تعريف الهدف، إزالة التسرّبات، إثراء المعلومة، ثم فقط اختيار الخوارزمية و تحسين المعاملات الفائقة. وعكس هذا الترتيب يقود إلى استهلاك ميزانية مهمة لكسب هامشي.

الصياغة الصحيحة: «قبل تغيير النموذج، التحقّق من أن المعلومة اللازمة للتنبؤ حاضرة فعلاً في المدخلات.»

خطأ — اعتبار الحقيقة الأرضية دقيقة بالتعريف

الوسم ناتج عن بروتوكول قابل للخطأ. واختلافات الموسِّمين والتشخيصات الخاطئة والاحتيالات غير المكتشَفة تُدخل ضجيجاً في الهدف يحدّ الأداء القابل للبلوغ.

الصياغة الصحيحة: «الحقيقة الأرضية قياس مرجعي، لا الحقيقة؛ وجودة الوسم تشترط سقف أداء النموذج.»


9. خلاصة

الصيغة الذهنية
    FEATURES  →  MODÈLE  →  TARGET
    ما هو معروف         الدالة         ما يُبحَث عنه
    في اللحظة t_pred    المتعلَّمة      ومجهول عند t_pred

المتغير التوضيحي — مرادفات وأصول
    feature، خاصية            تعرّف على الأشكال
    متغير توضيحي              إحصاء تطبيقي
    متغير مستقل               خطة تجربة (Fisher، 1935)
    متغير مدخل، input         تحكم آلي، نظرية أنظمة
    مُنبئ                      إحصاء الانحدار
    مُنحدِر                    اقتصاد قياسي
    متغير مرافق               إحصاء حيوي، تجارب سريرية
    سمة                       تنقيب بيانات، قواعد علائقية
    واصف                      كيمياء قياسية

المتغير الهدف — مرادفات وأصول
    target، هدف               تعلّم آلي
    متغير تابع                إحصاء تجريبي
    متغير جواب                خطط تجربة
    متغير مفسَّر              إحصاء فرنكوفوني
    متغير داخلي               اقتصاد قياسي
    output، خرج               تحكم آلي
    label، وسم                تصنيف فقط
    حقيقة أرضية               استشعار عن بُعد، ثم رؤية
    gold standard             إحصاء حيوي

اصطلاح تابع / مستقل
    إرث خطة التجربة، غير ملائم لـ ML الرصدي.
    «مستقل» لا يعني مستقلاً عن المتغيرات الأخرى.
    «تابع» لا يعني محدَّداً سببياً.
    الدور وظيفي وقابل للعكس من مشروع إلى آخر.

الشكلانية
    x = (x1, …, xp)ᵀ ∈ ℝ^p        متجه خصائص
    X ∈ ℝ^(n×p)                   مصفوفة تصميم
    y ∈ 𝒴^n                       متجه هدف
    f : 𝒳 → 𝒴                     النموذج
    ŷ = f(x)                      التنبؤ
    p ≠ عدد أعمدة الملف المصدر

المرشّحات الأربعة، بهذا الترتيب
    1. التوافر لحظة التنبؤ              → وإلا إقصاء
    2. غياب التسرّب                    → وإلا إقصاء
    3. المعقولية المهنية               → وإلا فحص
    4. المشروعية والأخلاقيات           → وإلا إقصاء
    الانتقاء الإحصائي لا يتدخل إلا بعدئذ.

المعيار الأول
    t_obs ≤ t_pred، لكل الملاحظات، بلا استثناء.
    ثلاثة أشكال لعدم التوافر: زمني، كمون، نطاق.

تراتبية الروافع
    هدف معرَّف جيداً > غياب تسرّب > معلومة جديدة
    > متغيرات مُنشأة > حجم > خوارزمية > معاملات فائقة

قول الخلاصة

تشكّل المتغيرات التوضيحية كامل المعلومة التي يملكها النموذج والمتغير الهدف المقدار الذي يجب أن يقدّره؛ و تسميتها تتغيّر حسب التخصص الأصلي دون أن يتغيّر المفهوم، و اصطلاح الإحصاء في التبعية والاستقلال إرث تجريبي غير ملائم للإطار الرصدي للتعلّم الآلي. و تُمثَّل ملاحظة كمتجه Rp\mathbb{R}^p والنموذج كدالة معرَّفة على هذا الفضاء. ولا يصبح عمود متغيراً توضيحياً إلا بعد استيفاء أربعة معايير، أولها توافره الفعلي في اللحظة التي يجب فيها إصدار التنبؤ؛ و جودة هذه المعلومة تحدد الأداء القابل للبلوغ أكثر من اختيار الخوارزمية.


اختبارات مرتبطة

  • 006.1-quiz-relation-features-target.md
  • 006.2-quiz-variable-explicative.md
  • 006.3-quiz-variable-cible.md
  • 006.4-quiz-dependante-independante.md
  • 006.5-quiz-vecteur-espace-caracteristiques.md
  • 006.6-quiz-criteres-de-selection.md
  • 006.7-quiz-etudes-de-cas.md

الفصل التالي: 007-x-et-y-label-classe.md