Decoupled Entropic-Geometric Planning (DEGP): Verified Conditioning and a Measured Contact-Prediction Boundary in Latent World Models
تقدم هذه الورقة "التخطيط الهندسي-الإنتروبي المنفصل" (DEGP)، وهو إطار عمل يعالج المقايضة بين الإدراك القوي وتحسين المسار المستقر في التخطيط ضمن الفضاء الكامن، وذلك عبر الجمع بين الفصل المعماري والحدود الطيفية التحليلية والقياس عن بُعد لوقت التشغيل لتحديد الحدود التشغيلية للتنبؤ المشروط بالتلامس.
تواجه الروبوتات التي يمكنها التعامل مع الأشياء في العالم الحقيقي تناقضاً جوهرياً. فلكي تتمكن الروبوتات من رؤية وفهم بيئة متغيرة، تحتاج إلى فهم مرن وعالي المستوى للعالم، فهم يمكنه التعامل مع التغيرات غير المتوقعة في الإضاءة أو الملمس. وهذا النوع من الإدراك يزدهر بفضل البيانات الغنية والمعقدة التي تلتقط كل تفصيل ممكن. ومع ذلك، لكي يتمكن الروبوت فعلياً من التحرك وتخطيط مسار عبر هذا العالم، فإنه يحتاج إلى بنية رياضية صلبة وقابلة للتنبؤ. فالمعادلات التي توجه ذراع الروبوت يجب أن تكون مستقرة ومنضبطة، وإلا سيفقد الروبوت توازنه ويفشل. لسنوات طويلة، حاول الباحثون بناء نظام واحد يقوم بالأمرين معاً: شبكة عصبية تتعلم رؤية العالم وفي الوقت نفسه تتعلم فيزياء كيفية حركة ذلك العالم. وكان الأمل هو أن يتمكن نموذج واحد من التعامل مع واقع الإدراك الفوضوي ومتطلبات التحكم الصارمة في آن واحد.
شرع باحث في اختبار ما إذا كان نهج النموذج الواحد هذا يمكن أن ينجح، وما إذا كان بإمكانه إثبات رياضياً أن نظامه سيظل مستقراً. فقام بتطوير إطار عمل جديد يسمى "التخطيط الهندسي-الإنتروبي المنفصل" (Decoupled Entropic-Geometric Planning). وبدلاً من إجبار شبكة واحدة على القيام بكل شيء، قام بتقسيم المهمة إلى جزأين متميزين. الجزء الأول، وهو محرك "الإدراك"، تم تدريبه فقط على تنظيم المعلومات المرئية في تنسيق نظيف ومنظم، متجاهلاً كيفية تحرك العالم. أما الجزء الثاني، وهو محرك "التحكم"، فقد تم تدريبه بشكل منفصل للتنبؤ بكيفية تغير تلك المعلومات المنظمة بمرور الوقت، مع قواعد صارمة لضمان بقاء تنبؤاته الرياضية مستقرة. كما بنى نظام سلامة، يشبه بمثابة مراقب رقمي، يتحقق باستمرار من الرياضيات لضمان أن الخريطة الداخلية للروبوت لا تصبح مشوهة للغاية بحيث يصعب استخدامها.
بدأ الباحث بإثبات أن نهجه المنفصل يعمل تماماً كما تتنبأ الرياضيات. ففي عمليات محاكاة محكومة، أظهر أنه من خلال الحفاظ على فصل أجزاء الإدراك والتحكم، استطاع منع عدم الاستقرار الرياضي الذي يعيب هذه الأنظمة عادةً. وقام بقياس خاصية محددة لخريطة الروبوت الداخلية، تُعرف باسم "رقم الحالة" (condition number)، والذي يعمل كمقياس لمدى سهولة حساب الروبوت للمسار. وفي نظامه، ظل هذا الرقم منخفضاً ومستقراً، بغض النظر عن مدى تعقيد الخريطة أو مدى بُعد المستقبل الذي يحاول الروبوت التخطيط له. وقد أكد هذا أن انفصال البنية التحتية لديه نجح في عزل العمل الفوضوي للرؤية عن العمل الدقيق للحركة. كما تحقق من أن فحوصات السلامة الخاصة به يمكنها اكتشاف متى كان النظام على وشك الخروج عن الحدود، مما أثبت أن الضمانات النظرية صمدت في الممارسة العملية.
ومع ذلك، عندما انتقل الباحث من المحاكاة إلى مهمة في العالم الحقيقي تتضمن ذراع روبوت تتعامل مع كتلة على شكل حرف T، كانت النتائج مختلفة تماماً. فرغم امتلاك الروبوت لخريطة داخلية مثالية ومستقرة، إلا أنه فشل في إتمام المهمة في كل محاولة. لقد أجروا خمسين تجربة تحت ظروف مختلفة، ولم ينجح الروبوت في تحريك الكتلة إلى هدفها في أي منها. كانت خريطة الروبوت الداخلية مستقرة، لكنها كانت عديمة الفائدة للمهمة. أمضى الباحث وقتاً طويلاً في التحقيق في سبب حدوث ذلك، معتبراً الفشل ليس خطأً برمجياً، بل اكتشافاً لحدود خفية. فقام باستبدال أجزاء مختلفة من النظام بشكل منهجي، مجرباً خوارزميات تخطيط مختلفة، وطرقاً مختلفة لتغذية البيانات للروبوت، وحتى نسخاً مختلفة من محرك التحكم.
كشف التحقيق عن فجوة محددة بين ما يمكن للروبوت رؤيته وما يمكنه استخدامه. فقد كان محرك الإدراك لدى الروبوت يلتقط بنجاح معلومات حول موقع الكتلة وتلامسها مع الطاولة؛ وكانت هذه المعلومات موجودة في خريطة الروبوت الداخلية. ومع ذلك، فإن الجزء من النظام المسؤول عن التنبؤ بالمستقبل كان أعمى تماماً عن هذه المعلومات. فقد فشل في تعلم أنه عندما تلمس الكتلة الطاولة، فإن حركتها ستتغير. توقع النموذج الداخلي للروبوت أن الكتلة ستنزلق بسلاسة إلى الأبد، حتى عندما كانت محجوزة مادياً. علاوة على ذلك، وجد الباحث أن الطريقة التي يترجم بها الخريطة الداخلية للروبوت مرة أخرى إلى هدف فيزيائي كانت معيبة أيضاً. فحتى عندما استبدل النموذج المتعلم بمحرك فيزياء مثالي ومعروف، ظل الروبوت يفشل إذا استخدم نفس طريقة الترجمة المعيبة. أثبت هذا أن الفشل لم يكن يتعلق فقط بقدرة الروبوت على التنبؤ بالمستقبل، بل أيضاً بكيفية تفسيره لحالته الداخلية. وتحديداً، حددت الدراسة تفسيراً ذا جزأين للفشل: فجوة في التنبؤ بالديناميكيات المشروطة بالتلامس، بالإضافة إلى قصور في "تكلفة الاستقصاء المفسرة" (probe-decoded cost) المستخدمة لتوجيه أفعال الروبوت.
يخلص البحث إلى أن مجرد فصل أنظمة الإدراك والتحكم ليس كافياً لحل مشكلة التعامل مع الأشياء بواسطة الروبوتات. فبينما نجح الباحث في بناء نظام مستقر وموثق رياضياً، فقد كشف عن قضية أعمق: المعلومات المطلوبة لحل المهمة كانت موجودة في إدراك الروبوت، لكن عملية التعلم فشلت في تعليم نظام التحكم كيفية استخدامها. كان الروبوت يعرف مكان الكتلة، لكنه لم يكن يعرف كيف يحركها عندما تصطدم بعائق. لم يجد الباحث حلاً لهذا الفشل المحدد في هذه الدراسة؛ بدلاً من ذلك، قام برسم الخريطة الدقيقة للحدود التي تنهار عندها التكنولوجيا الحالية. لقد أثبت أن بإمكان الروبوت امتلاك خريطة داخلية مثالية ومستقرة ومع ذلك يفشل في التصرف لأن الخريطة لا تحتوي على القواعد الفيزيائية المحددة التي يجب أن يلتزم بها. إن هذا العمل يعد تشخيصاً دقيقاً، يوضح أن الطريق نحو التعامل الناجح للروبوتات لا يتطلب فقط رياضيات مستقرة، بل يتطلب أيضاً وسيلة لضمان أن فهم الروبوت للعالم يتضمن بالفعل القيود الفيزيائية التي يجب أن يمتثل لها.
تفرض متطلبات الإدراك والتحكم الروبوتي متطلبات متضاربة على التمثيلات المتعلمة. تتطلب النماذج الأساسية للرؤية (Vision backbones) المستخدمة في البيئات الصناعية سمات عالية الإنتروبيا وفائقة الاكتمال (overcomplete) لتجاوز تحولات النطاق (وهو ما يتم تحقيقه غالباً عبر أهداف التعلم الذاتي). وفي المقابل، تتطلب المخططات القائمة على التدرج (gradient-based planners) هندسات مشروطة بدقة لتمرير الاشتقاق (backpropagate) عبر نماذج الديناميكيات المتعلمة دون انفجار أرقام الحالة (condition numbers) عبر آفاق زمنية طويلة. إن تدريب كليهما ضمن شبكة واحدة يخلق توتراً جوهرياً: فالجزاءات الهندسية تشوه التمثيل، بينما تؤدي حرية التمثيل إلى زعزعة استقرار شرطية المخطط. ويتجلى هذا تجريبياً في شكل انهيار تمثيلي أو فشل في التخطيط.
يعالج DEGP هذا التوتر من خلال الفصل المعماري الصارم بدلاً من التسوية. يفصل الإطار العملي النظام إلى ثلاث مكونات متميزة:
المُشفر الإنتروبي (fθ): يتم تدريبه باستخدام هدف "الإدراك الأعمى" باستخدام فقد التباين والتباين المشترك فقط (المعادلة 1). وهو يفرض تغايرًا كرويًا لمنع الانهيار، لكنه لا يحتوي على أي حدود إعادة بناء أو تنبؤ أو ثبات. وبناءً على ذلك، فهو يحافظ على المعلومات ولكنه لا ينظمها للهياكل ذات الصلة بالديناميكيات (مثل التلامس).
المتنبئ الهندسي (gϕ): يتم تدريبه على تمثيلات كامنة منفصلة (إيقاف التدرج من المُشفر) باستخدام هدف "التحكم الحاد". يستخدم بارامتريّة متبقية (g(z,a)=z+f(z,a)) مُهيأة بالقرب من الهوية، مدمجة مع جزاء جاكوبي (λ2) لفرض ∥Jg−I∥F≈0. وهذا يضمن بقاء المتنبئ خطياً محلياً وذا حالة جيدة.
المخطط غير المتماثل: يقوم بتحسين تكلفة شبه مترية مقيدة. تتضمن دالة التكلفة إسقاط فرق ReLU لخلق عدم تماثل، وحد [μ] للرباط (μ∥zT−zgoal∥2) لضمان الاستقرار ومنع المخطط من الدخول في "المخاريط العمياء" حيث تتلاشى تدرجات التكلفة.
عقد وقت التشغيل: يستخدم النظام عقداً تشغيلياً قائماً على القياس عن بُعد يتضمن بوابات ما قبل النشر (التحقق من رقم الحالة κ، والحدود الطيفية ϵ، ومقياس الكامن)، والمراقبة المستمرة لميزانيات الشرطية، وآلية مراقبة/احتياط (watchdog/fallback).
المساهمات الرئيسية
1. البنية والنظرية
المكدس المنفصل: فصل رسمي بين المُشفر (الحفاظ على التباين) والمتنبئ (فرض الهندسة) مع عزل إيقاف التدرج.
نظريات الشرطية:
النظرية 1: تثبت أنه تحت شرط ∥Jg−I∥F≤ϵ<1، فإن رقم الحالة لجاكوبي الحالة غير المفتوح محكوم بـ (1−ϵ1+ϵ)2T، وبشكل مستقل عن البعد الكامن K.
الاستنتاج 2: يضع ميزانية ϵ⋅T، موضحاً أن استقرار التخطيط يتم الحفاظ عليه فقط إذا ظل حاصل ضرب الحد الطيفي والأفق الزمني تحت عتبة معينة (على سبيل المثال، ϵ⋅T≲0.5).
النظرية 2: تثبت أن الرباط μ يضمن وجود مُقلل عالمي فريد وانكماش هندسي للخطأ، مما يمنع نقاط الثبات خارج كرة الرباط المحددة.
2. القياس والتحقق من الشرطية
التسطح الإحصائي: تؤكد النتائج التجريبية أن رقم الحالة κ يظل مسطحاً إحصائياً عبر الأبعاد الكامنة K∈{64,128,256} (تم التحقق عبر اختبار التكافؤ TOST مع 30 بذرة مزدوجة)، بينما تظهر النماذج المرجعية غير المنفصلة نمواً أسياً.
مجموعة التحقق القابلة للتنفيذ: تقوم مجموعة أدوات برمجية مكونة من اثني عشر فحصاً برسم خرائط لكل نتيجة نظرية إلى اختبار نجاح/فشل، مما يتحقق من عزل التدرج، وهندسة الرباط، وحدود جاكوبي مع وثائق المدخلات والتفاوتات.
3. حدود النشر المنسوبة (النتائج السلبية)
تقرير البحث دراسة نشر مسجلة مسبقاً في بيئة Push-T حيث تم دحض جميع فرضيات النجاح (0/50 نجاح عبر جميع الظروف).
بطارية الإسناد: عزلت بطارية تشخيصية مكونة من 18 حالة أسباب الفشل.
النتائج: يُعزى الفشل إلى فجوة مكونة من عنصرين:
فجوة التنبؤ المشروط بالتلامس: تحتفظ التمثيلات الكامنة ذاتية الإشراف (المعادلة 1) بمعلومات التلامس (يمكن فك تشفيرها عبر مسبار بنسبة R2≈0.65−0.70)، ولكن المتنبئات المتعلمة تفشل في استغلال هذه المعلومات بشكل انتقائي (نسبة الانتقائية ≈1.0، مما يشير إلى عمى التلامس).
محدودية التكلفة المفككة بالمسبار: حتى مع وجود ديناميكيات مثالية (oracle dynamics)، فإن استخدام تكلفة مفككة بمسبر خطي قد كبح الحركة، مما يشير إلى أن صياغة التكلفة نفسها هي عامل محدد.
العوامل غير الملزمة: وجدت الدراسة أن عائلة المخطط/الرتبة، ومدخلات الإدراك، ورباط الشرطية لم تكن عوامل الفشل الملزمة في هذا النطاق.
ملخص النتائج
المرحلة 1 (اصطناعي/التحقق): يُظهر المتنبئ المعتمد شرطية ثابتة الأبعاد وتستوفي ميزانية ϵ⋅T، بينما تفشل المخططات بالعينات (CEM) عند الأبعاد العالية.
المرحلة 2 (صور حقيقية/النقل): عند تطبيقه على صور حقيقية (MimicGen)، يشغل تكوين "المُشفر المجمد + متنبئ DEGP" "ركن القابلية للنشر" من حيث الوحدوية والشرطية، رغم أنه يتجاوز قليًلًا إرشادات ميزانية ϵ⋅T ($0.54مقابل0.5$).
المرحلة 3 (النشر/الإسناد):
معدل النجاح: 0/50 حلقة نجحت في بيئة Push-T لجميع الظروف المختبرة (CEM, PGD، نسخ مختلفة من التكلفة، ونماذج مختلفة).
الحركة: كانت حركة كتلة T ضئيلة جداً (0.0–1.1 بكسل).
رحلة النموذج: أدت تكرار المتنبئ (من v1 إلى v4) إلى تحسين نسب التقاط التلامس (من نقص التنبؤ إلى المبالغة في التضخيم) لكنها فشلت في تحقيق الانتقائية (استمر عمى التلامس).
الضوابط: إزالة الرباط (B1b) انتهك ميزانية الشرطية ولكنه لم يغير نتيجة النشر (0/10 نجاح)، مما يؤكد أن شهادة الشرطية وحدها لا تضمن الكفاءة في المهمة في هذا النطاق.
الأهمية والادعاءات
يضع البحث مساهمته كإسهام منهجي وتشخيصي بدلاً من كونه عرضاً للنجاح في المهمة.
الشرطية المتحقق منها: يوفر DEGP إطاراً حيث يمكن التصريح عن ادعاءات الشرطية، والتحقق منها عبر فحوصات قابلة للتنفيذ، ومراقبتها أثناء وقت التشغيل.
الحد المقاس: المساهمة الرئيسية هي الحدود التجريبية المخططة للنشر. تُظهر الدراسة أن الفصل الهيكلي والشرطية الهندسية غير كافيين لسد الفجوة بين "وجود المعلومات" في التمثيل وبين "استخدام المعلومات" بواسطة متنبئ ديناميكيات متعلم.
النتائج السلبية كبيانات: يعامل البحث معدل الفشل 0/50 ليس كإغفال، بل كمعطى مقاس، مستخدماً بطارية تشخيصية مسجلة مسبقاً لتحديد موقع الفشل في التفاعل بين أخطاء التنبؤ المشروط بالتلامس وإشارة التكلفة.
الأسئلة المفتوحة: تظل ضرورة المترية غير المتماثلة وضرورة شرطة النشر لشهادة الشرطية أسئلة مفتوحة. يحدد البحث المشكلة التقنية التالية في تطوير أهداف تجعل معلومات التلامس القابلة للفك قابلة للتعلم من قبل المتنبئات عبر تمثيلات عالية الإنتروبيا.
يخلص البحث إلى أنه بينما ينجح DEGP في عزل تداخل التدرج وضمان الخصائص الهندسية، فإنه لا يحل تلقائياً مشكلة تعلم الديناميكيات التي تستغل تلك الخصائص في عمليات المناولة الغنية بالتلامس.