ملخص تقني: قابلية التحديد المقابل للواقع خارج نطاق الرتابة العالمية

1. بيان المشكلة

توفر النماذج السببية الهيكلية (SCMs) دلالات موحدة للتدخلات والنتائج المقابلة للواقع (counterfactuals). ومع ذلك، لا يزال هناك تحدٍ جوهري يتمثل في: قابلية تحديد النتائج المقابلة للواقع (counterfactual identifiability). فغالباً ما تكون البيانات الرصدية وحدها غير كافية لتحديد مخرجات الحالة المقابلة للواقع بشكل فريد ما لم تُفرض افتراضات قوية على فئة الآلية.

تاريخياً، اعتمدت نتائج القابلية للتحديد الإيجابية على الرتابة العالمية (global monotonicity) (مثل الضجيج المضاف، أو الهياكل غير الخطية بعد اللاحقة، أو المعلمات المثلثية أحادية الاتجاه). تضمن هذه الافتراضات أن العلاقة بين المتغيرات الخارجية والمتغيرات الداخلية تحافظ على اتجاه ثابت.

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

2. المنهجية والإطار النظري

2.1 فئة النموذج المقترحة: NM-TM-SCM

يقدم المؤلفون النماذج السببية الهيكلية المثلثية غير الرتيبة (NM-TM-SCM). تحتفظ هذه الفئة بالبنية المثلثية التكرارية للنماذج السببية الهيكلية القياسية ولكنها تخفف قيد الرتابة العالمية. بدلاً من ذلك، تفرض شرطين محددين:

1. القابلية للعكس على مستوى الآلية: لكل آلية $i$ ولكل سياق أبوي ثابت $v_{<i}$، يكون الربط من المتغير الخارجي $u_i$ إلى المتغير الداخلي $v_i$ تقابلاً (bijection). يضمن هذا أن عملية الاستنباط الواقعي (استعادة الحالة الخارجية من الملاحظات) فريدة بالنظر إلى الآباء.
2. النقل العكسي المستقل عن السياق: لأي نموذجين متكافئين رصدياً $M$ و $M'$، يجب أن يكون تركيب آليات العكس الخاصة بهما، $(f'_i(v_{<i}, \cdot))^{-1} \circ f_i(v_{<i}, \cdot)$، مستقلاً عن السياق الأبوي $v_{<i}$.

2.2 المساهمات النظرية

تؤسس الورقة سلسلة نظرية تربط هذه الشروط بقابلية التحديد الكاملة للمخرات المقابلة للواقع:

• التمهيدية 1: القابلية للعكس على مستوى الآلية تعني أن خريطة الحل العالمي $\Gamma_M: \Omega_U \to \Omega_V$ هي تقابل (bijection).
• النظرية 1: ضمن فئة النماذج المثلثية ذات الترتيب المشترك، فإن النقل العكسي المستقل عن السياق يكافئ التماثل الخارجي (exogenous isomorphism). يعني التماثل الخارجي أن نموذجين متكافئين رصدياً يتشاركان نفس العوالم الكامنة حتى مع تغيير الإحداثيات في الفضاء الخارجي الذي لا يتغير بتغير السياق.
• النظرية 2: التماثل الخارجي يقتضي قابلية التحديد الكاملة للمخرات المقابلة للواقع. إذا كان النموذجان متماثلين خارجياً، فيجب أن يتفقا على جميع الاستعلامات المقابلة للواقع.
• الخاصية 1 (الحدة): يقدم المؤلفون مثالاً مضاداً بنائياً يوضح أن القابلية للعكس المحلية وحدها غير كافية. إذا كان النقل العكسي يعتمد على السياق (أي أن اتجاه الآلية ينقلب بناءً على الآباء)، فقد تختلف النماذج المتكافئة رصدياً في النتائج المقابلة للواقع. وهذا يثبت أن النقل العكسي المستقل عن السياق هو شرط ضروري، وليس مجرد شرط كافٍ ملائم.

2.3 الخوارزمية: CausalInverter

لتجسيد هذه الشروط النظرية، يقترح المؤلفون CausalInverter، وهو نموذج تعلم مهيكل يتكون من ثلاثة مكونات رئيسية:

1. الطبقات المثلثية القابلة للعكس: نمذجة المعادلات الهيكلية كتدفقات قابلة للعكس.
2. بوابات الاتجاه المعتمدة على السياق: بوابة منفصلة $s_{i,\theta}(v_{<i}) \in \{-1, +1\}$ تسمح للآلية بقلب الإشارات بناءً على السياق الأبوي، مما يتيح عدم الرتابة.
3. تنظيم استقرار النقل: حد خسارة ($L_{tr}$) يعاقب التباينات في النقل العكسي المتعلم عبر مختلف السياقات الأبوية، مما يفرض شرط النقل العكسي المستقل عن السياق.

يجمع هدف التدريب بين احتمالية السلب اللوغاريتمية واتساق الدورة ومنظمات استقرار النقل.

3. النتائج التجريبية

يقيم المؤلفون CausalInverter على آليات اصطناعية ومهام تفاعل فيزيائي في بيئة MuJoCo (الدفع والباب).

3.1 الاختبارات المرجعية الاصطناعية

• الإعداد: اختبر المؤلفون آليات رتيبة عالمياً، وآليات انقلاب العتبة، وآليات الانقلاب السلس عبر أبعاد وعائلات ضجيج مختلفة.
• النتائج:
  • في الإعدادات ذات الرتابة العالمية، تؤدي جميع النماذج المرجعية المهيكلة أداءً تنافسياً.
  • في الإعدادات غير الرتيبة (حيث تحدث انقلابات في الاتجاه تعتمد على الأب)، تفشل النماذج المرجعية القياسية (ANM، المثلثية أحادية الاتجاه، التدفقات الثنائية السياقية) في تقليل خطأ المخرات المقابلة للواقع.
  • يقلل CausalInverter بشكل كبير من متوسط مربع الخطأ للمخرات المقابلة للواقع (CF-MSE) ويحقق دقة اتجاه عالية (~0.97) في استعادة حقل الاتجاه.
  • يظهر مسح "الجسر" المستمر الذي يغير قوة عدم الرتابة أن تفوق CausalInverter على النماذج المرجعية الرتيبة يتناسب خطياً مع درجة عدم الرتابة.

3.2 مهام التفاعل الفيزيائي (MuJoCo)

يقارن المؤلفون CausalInverter بمجموعة من النماذج المرجعية القائمة على الحالة (الديناميكا الخطية، MLP، الترتيب الذاتي، GRU، Transformer، والتدفق الشرطي) تحت بروتوكول أخذ عينات متوازن للمخرات المقابلة للواقع.

• باب MuJoCo (عدم رتابة قوي):

  • تظهر هذه المهمة ديناميكيات تلامس قوية تعتمد على السياق (درجة NMS $\approx 0.696$).
  • يحقق CausalInverter استعادة مثالية للحدث على مستوى الحدث (نجاح بنسبة 100% في التقسيم الرسمي) وأدنى خطأ زاوية مستمر للمخرات المقابلة للواقع بين النماذج التي تحقق أيضاً دقة حدث مثالية.
  • يظهر استقراراً فائقاً عبر عدة بذور (seeds) مقارنة بنماذج Transformer و Conditional Flow.
  • تؤكد دراسات الاستئصال (Ablation) أن إزالة بوابة الاتجاه تسبب التدهور الأكثر حدة، مما يؤكد ضرورة نمذجة الانقلابات المعتمدة على السياق.

• دفع MuJoCo (عدم رتابة ضعيف):

  • هذه المهمة لها درجة أقل من عدم الرتابة (NMS $\approx 0.175$).
  • هنا، لا يهيمن التحيز الهيكلي لـ CausalInverter. تظل متنبئات الحالة ذات البيانات المنخفضة القوية (مثل الديناميكا الخطية، MLP) تنافسية أو متفوقة.
  • يفسر المؤلفون ذلك بأنه حد التوازن بين التحيز والتباين: يكون القيد الهيكلي مفيداً عندما تكون عدم الرتابة قوية بما يكفي لجعل مسارات المخرات المقابلة للواقع غامضة، ولكنه قد يكون مفرط التنظيم عندما تكون المهمة شبه رتيبة.

4. الأهمية والادعاءات

تدعي الورقة تحديد نطاق قابل للتحديد أوسع يقع بين النماذج المثلثية ذات الرتابة العالمية ونماذج العالم السوداء غير المقيدة.

• البصيرة النظرية: توضح الورقة أن الرتابة العالمية ليست المكون الأساسي لقابلية تحديد المخرات المقابلة للواقع. بدلاً من ذلك، فإن القابلية للعكس على مستوى الآلية مقترنة بـ النقل العكسي المستقل عن السياق (المكافئ للتماثل الخارجي) هما الشرطان الكافيان والحادان.
• الأثر العملي: من خلال تخفيف قيد الرتابة العالمية، يتيح إطار العمل المقترح (NM-TM-SCM) ونموذج CausalInverter استدلالاً موثوقاً للمخرات المقابلة للواقع في الأنظمة الفيزيائية حيث تسبب التلامسات والهندسة انعكاسات في الإشارة.
• الوعي بالحدود: تحدد الورقة صراحة حدود مساهمتها. التحيز الهيكلي يكون أكثر فعالية في النطاقات ذات عدم الرتابة القوية الحساسة للفروع (مثل مهمة الباب). في النطاقات ضعيفة عدم الرتابة (مثل مهمة الدفع)، قد تتفوق المتنبئات الحالة المرنة، مما يسلط الض الضوء على المقايضة بين قيود تحديد المخرات المقابلة للواقع وتعقيد المهمة.

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