Learning from the Test: Self-Referential Differential Testing for Deep RL Agents
تقترح الورقة البحثية إطار عمل "دلتا" (Delta)، وهو إطار عمل مبتكر يعالج مشكلة "أوراكل الاختبار" (testing oracle) في التعلم التعزيزي العميق من خلال الجمع بين اختبار السلامة والتعلم التعزيزي غير المتصل لتوليد وكلاء متحدٍّين للاختبار التفاضلي، مما يساهم بفعالية في تحديد كل من إخفاقات السلامة الحرجة وأخطاء المثالية في وكلاء التعلم التعزيزي العميق.
المؤلفون الأصليون:Junda He, Jieke Shi, Zhou Yang, Mingfei Cheng, David Lo
يُعد التعلم المعزز العميق فرعاً من فروع الذكاء الاصطناعي حيث تتعلم برامج الكمبيوتر كيفية اتخاذ القرارات من خلال التفاعل مع العالم، تماماً مثل طفل يتعلم ركوب الدراجة الهوائية عبر السقوط والمحاولة مرة أخرى. هذه البرامج، التي تُسمى "الوكلاء"، تتلقى تغذية راجعة في شكل مكافآت أو عقوبات بناءً على أفعالها، مما يشكل استراتيجية تدريجياً لتحقيق أفضل نتيجة ممكنة بمرور الوقت. لقد انتقلت هذه التكنولوجيا من مختبرات الأبحاث إلى العالم الحقيقي، لتشغل كل شيء بدءاً من الأذرع الروبوتية في المصانع وصولاً إلى أنظمة الملاحة في السيارات ذاتية القيادة. ومع ذلك، بينما تتحمل هذه الأنظمة المزيد من المسؤولية، يبرز سؤال حاسم: كيف نعرف أنها ليست آمنة فحسب، بل إنها تؤدي أفضل عمل ممكن أيضاً؟ وبينما ركز المهندسون لفترة طويلة على ضمان عدم اصطدام هؤلاء الوكلاء أو تسببهم في ضرر، كانت هناك نقطة عمياء فيما يتعلق بما إذا كانوا يتخذون الخيارات الأكثر كفاءة أو مثالية. قد يتجنب الروبوت جداراً بنجاح، ولكن إذا سلك مساراً متعرجاً ومستنزفاً للطاقة للقيام بذلك، فهو يفشل في اختبار من نوع آخر. وتكمن الصعوبة في معرفة ما يبدو عليه "الكمال"؛ ففي البيئات المعقدة والمتغيرة، غالباً ما يكون الحل المثالي مجهولاً، مما يجعل من المستحيل تقريباً معرفة ما إذا كان الوكيل جيداً فحسب أم أنه الأفضل حقاً.
ولمعالجة هذه الفجوة، طور باحثون في جامعة سنغافورة للإدارة وجامعة ألبرتا إطار عمل جديد للاختبار يسمى "دلتا" (Delta). وبدلاً من محاولة تخمين الحل المثالي، يستخدم "دلتا" شكلاً ذكياً من المقارنة الذاتية. تبدأ العملية باختبار سلامة قياسي، حيث يتم وضع الوكيل الخاضع للفحص في سلسلة من السيناريوهات الصعبة لمعرفة ما إذا كان سيصطدم أو ينتهك قواعد السلامة. والأهم من ذلك، أن الباحثين لا يكتفون بمراقبة الإخفاقات فحسب؛ بل يسجلون كل حركة يقوم بها الوكيل خلال مرحلة الاختبار العصيبة هذه، مما يخلق سجلاً مفصلاً لسلوكه. يصبح هذا السجل كنزاً من البيانات، يحتوي على كل من المناورات الناجحة والأخطاء التي ارتكبها الوكيل. ثم يستخدم الباحثون هذه البيانات المسجلة لتدريب وكيل ثانٍ منافس. هذا الوكيل الجديد، الذي يسمونه "المتحدي"، يتعلم حصرياً من تاريخ الوكيل الأصلي. ولأنه مدرب على مزيج من النجاحات والإخفاقات، فإنه يتعلم محاكاة الأجزاء الجيدة مع تجنب الأجزاء السيئة، ليصبح فعلياً نسخة أكثر ذكاءً من الوكيل الأصلي.
بمجرد أن يصبح "المتحدي" جاهزاً، يتم وضعه في منافسة مباشرة مع الوكيل الأصلي. يوضع الاثنان في نفس المواقف البدئية، ويتم قياس أدائهما من خلال إجمالي المكافآت التي يجمعها كل منهما. إذا حقق "المتحدي" باستمرار درجة أعلى من الوكيل الأصلي، فإن النظام يصنف ذلك كـ "خطأ في المثالية" (optimality bug). يعالج هذا النهج مشكلة رئيسية في الاختبار: فهو لا يتطلب معرفة الحل الأمثل نظرياً مسبقاً. فإذا تمكن "المتحدي" من إيجاد طريقة أفضل للمهمة، فهذا يثبت أن الوكيل الأصلي لم يكن يبذل قصارى جهده. اختبر الباحثون هذه الطريقة عبر خمس بيئات مختلفة، تتراوح من موازنة عمود على عربة إلى التحكم في روبوت قافز محاكى. ووجدوا أن وكلاء "المتحدي"، وخاصة أولئك الذين تم تدريبهم باستخدام طريقة تعلم محددة تسمى (BCQ)، كانوا فعالين للغاية في رصد حالات عدم الكفاءة الخفية هذه. وفي المتوسط، كشف النظام عن أكثر من 2500 مشكلة في المثالية لكل بيئة، مما وجد عدداً أكبر بكثير من المشكلات مقارنة بطرق الاختبار الحالية.
إن قيمة هذا الاكتشاف تتجاوز مجرد العثور على الأخطاء؛ فهي تقدم مساراً واضحاً للتحسين. فقد أظهر الباحثون أن الاستراتيجيات المتفوقة التي حددها "المتحدي" يمكن استخدامها لصقل الوكيل الأصلي، مما يجعله أكثر كفاءة ومتانة. وفي عدة حالات، لم تؤدِ هذه العملية إلى تحسين درجة الوكيل فحسب، بل قضت أيضاً على إخفاقات السلامة تماماً، محولةً نظاماً كان آمناً فحسب إلى نظام آمن ومثالي في آن واحد. وتؤكد الدراسة أن البيانات التي يتم جمعها أثناء اختبار السلامة، والتي غالباً ما تُعتبر نتاجاً ثانوياً، هي في الواقع مورد حيوي لبناء وكلاء أفضل. ومن خلال تحويل عملية الاختبار إلى فرصة للتعلم، يوفر "دلتا" وسيلة عملية لضمان أن الأنظمة الذكية في المستقبل ليست موثوقة فحسب، بل ممتازة حقاً في المهام التي صُممت لأدائها.
بيان المشكلة حقق التعلم التعزيزي العميق (DRL) نجاحاً كبيراً في مجالات اتخاذ القرار المعقدة مثل الرعاية الصحية، والقيادة الذاتية، والروبوتات. ومع ذلك، مع نشر هذه الأنظمة في تطبيقات العالم الحقيقي، فإن ضمان جودتها وموثوقيتها أمر بالغ الأهمية. تركز منهجيات الاختبار الحالية بشكل أساسي على اكتشاف الإخفاقات الحرجة للسلامة (مثل الاصطدامات أو انتهاكات القيود)، وغالباً ما تهمل مثالية السياسة (policy optimality). فالقرارات غير المثالية يمكن أن تؤدي إلى انخفاض الكفاءة، وخسائر اقتصادية، وعدم ثقة المستخدمين. علاوة على ذلك، يمكن لمشكلات المثالية غير المحلولة أن تتصاعد لتصبح مخاطر على السلامة.
يتمثل التحدي الجوهري في اختبار مثالية التعلم التعزيزي العميق في مشكلة أوراكل الاختبار (testing oracle problem): ففي البيئات الديناميكية المعقدة، غالباً ما يكون الحل الأمثل النظري (الحقيقة الأرضية/ground truth) غير معروف أو يصعب تحليله رياضياً. وبدون وجود سياسة مثالية معروفة تعمل كمعيار للمقارنة، يصبح من الصائع تقييم ما إذا كانت قرارات الوكيل دون المستوى بشكل كمي. وبينما يمكن للتقييم اليدوي من قبل الخبراء أن يكون ممكناً، إلا أنه غير قابل للتوسع. وتواجه الأساليب المؤتمتة الحالية صعوبة في توليد وكلاء مقارنة مناسبين دون تكبد تكالين حوسبية باهظة مرتبطة بإعادة التدريب من الصوفر.
المنهجية: إطار عمل دلتا (Delta) لمعالجة هذه الفجوات، يقترح المؤلفون دلتا (Delta) (الاختبار التفاضلي لوكلاء التعلم التعزيزي العميق)، وهو إطار عمل موحد يحدد تلقائياً كلاً من الإخفاقات الحرجة للسلامة ومشكلات المثالية. يستخدم دلتا نهجاً ذاتي المرجعية يتكون من مرحلتين:
مرحلة اختبار السلامة:
يتم تقييم الوكيل قيد الاختبار (AUT) عبر سيناريوهات متنوعة لتحديد الإخفاقات الكارثية. يستخدم المؤلفون CureFuzz، وهو أسلوب fuzzing متطور يعتمد على الصندوق الأسود (black-box fuzzing)، لهذه المرحلة.
والأهم من ذلك، خلال هذه العملية، يقوم "دلتا" بتسجيل مسارات تفاعل الوكيل (أزواج الحالة-الإجراء-المكافأة-الحالة التالية). تشكل هذه السجلات مجموعة بيانات ثابتة D تلتقط طيفاً واسعاً من السلوكيات، بما في ذلك الحالات الحدية والسيناريوهات النادرة التي غالباً ما يتم إغفالها أثناء التدريب القياسي.
مرحلة اختبار المثالية:
تدريب الوكيل المنافس (Challenger Agent Training): بدلاً من إعادة التدريب من الصفر، يستخدم "دلتا" التعلم التعزيزي غير المتصل (Offline Reinforcement Learning) لتدريب "وكيل منافس" حصرياً على مجموعة البيانات D التي تم جمعها من اختبار سلامة الوكيل الأصلي. يستفيد هذا النهج من تاريخ اتخاذ القرار عالي الجودة للوكيل الأصلي (سواء النجاحات أو الإخفاقات) لبدء تدريب الوكيل المنافس بسرعة.
الفحص التفاضلي (Differential Fuzzing): يعمل الوكيل المنافس المدرب كـ أوراكل اختبار ذاتي المرجعية. يقوم "دلتا" بإجراء الفحص التفاضلي عن طريق مقارنة المكافآت التراكمية للوكيل الأصلي (AUT) والوكيل المنافس بدءاً من نفس الحالات الأولية.
شرط الأوراكل: يتم وضع علامة على "خطأ المثالية" (optimality bug) إذا حقق الوكيل المنافس مكافأة تراكمية أعلى من الوكيل الأصلي (Rchallenger>RAUT+δ).
البحث الموجه بالطاقة (Energy-Guided Search): لتوسيع نطاق استكشاف فضاء الحالة بكفاءة، يستخدم "دلتا" دالة طاقة لإعطاء الأولوية لطفرات البذور (seed mutations). هذه الطاقة هي مجموع موزون لثلاثة مقاييس:
التنوع (Diversity): يُقاس عبر آلية الفضول (الخطأ في التنبؤ بين شبكة هدف ثابتة ومتنبئ قابل للتدريب) لتحديد الحالات الجديدة.
الندم (Regret): الفرق الأسي في الأداء بين الوكيل المنافس والوكيل الأصلي، مما يسلط الضوء على السيناريوهات التي يكون فيها الوكيل الأصلي دون المستوى بشكل كبير.
عدم الاتساق (Inconsistency): يُقاس عبر التجزئة الحساسة للمحلية (LSH) لقياس التباين السلوكي بين الوكيلين.
المساهمات الرئيسية
أوراكل مبتكر ذاتي المرجعية: يقترح البحث طريقة لتجاوز مشكلة الأوراكل عبر تدريب وكيل منافس على بيانات التفاعل الخاصة بالوكيل الأصلي، مما يتيح اختبار المثالية المؤتمت دون الحاجة إلى حل "حقيقة أرضية" محدد مسبقاً.
إطار عمل موحد (Delta): خط إنتاج مكون من مرحلتين يدمج اختبار السلامة (باستخدام CureFuzz) مع اختبار المثالية التفاضلي، مما يسمح بتقييم شامل لوكلاء التعلم التعزيزي العميق في سير عمل واحد.
التحقق التجريبي: تجارب واسعة النطاق عبر خمس بيئات (CartPole, MountainCar, Acrobot, Hopper, Walker2D) وثلاث خوارزميات للتعلم التعزيزي غير المتصل (BC, BCQ, CQL).
النتائج التجريبية
فعالية الخوارزمية: من بين خوارزميات التعلم التعزيزي غير المتصل المختبرة، أثبتت خوارزمية BCQ (التعلم العميق لـ Q المقيد بالدفعات) أنها الأكثر فعالية في تدريب الوكلاء المنافسين. وقد حددت الوكلاء المنافسة المدربة بـ BCQ أكبر عدد من أخطاء المثالية عبر جميع البيئات.
اكتشاف الأخطاء: باستخدام BCQ، كشف "دلتا" عن متوسط 2,518 مشكلة مثالية لكل بيئة.
المقارنة مع الخطوط المرجعية: تفوق "دلتا" بشكل كبير على أساليب اختبار السلامة المرجعية (MDPFuzz, CureFuzz, و GMT) عند استخدامه للاختبار التفاضلي. في المتوسط، حدد "دلتا" أخطاء مثالية أكثر بنسبة 50.2% من أفضل الخطوط المرجعية أداءً. كما أظهر قدرة فائقة في العثور على مجموعة متنوعة من الأخطاء الفريدة (الأخطاء المتميزة).
فائدة الأخطاء: استُخدمت أخطاء المثالية المكتشفة لضبط الوكيل الأصلي (AUT) باستخدام خوارزمية (CQL). أظهر هذا الإصدار "المحسن للوكيل الأصلي" (AUT-Improved) مكاسب أداء متسقة (على سبيل المثال، تحقيق الدرجة القصوى النظرية في CartPole) وقلل بشكل كبير من إخفاقات السلامة (بنسبة تصل إلى 100% في بعض الحالات) مقارنة بالوكيل الأصلي.
دراسات الاستئصال (Ablation Studies): أكدت الدراسة أن جميع المكونات الثلاثة لدالة الطاقة (التنوع، الندم، عدم الاتساق) حيوية. وتحديداً، تم تحديد الندم (Regret) كأهم عامل لتعظيم إجمالي عدد الأخطاء المكتشفة، بينما كان التنوع (Diversity) حاسماً في العثور على حالات أخطاء فريدة.
الأهمية والادعاءات يزعم البحث أن "دلتا" يسد بفعالية الفجوة بين تقييم السلامة وتقييم المثالية في أنظمة التعلم التعزيزي العميق. ومن خلال إعادة توظيف بيانات اختبار السلامة لتدريب وكيل منافس، يسهل إطار العمل عملياً مشكلة الأوراكل، مما يجعل اختبار المثالية المؤتمت ممكناً دون الحاجة إلى إعادة تدريب مكلفة أو تدخل بشري من الخبراء. ويؤكد المؤلفون أن هذا النهج يقدم قيمة بغض النظر عن النتيجة: فالوكيل المنافس المتفوق يكشف عن مجالات محددة لتحسين السياسة، بينما يوفر الوكيل المنافس الذي يفشل في التفوق على الوكيل الأصلي تأكيداً تجريبياً على أداء الوكيل الأصلي القريب من المثالية. يضع هذا العمل "دلتا" كأداة شاملة لتعزيز موثالية وكلاء التعلم التعزيزي العميق وكفاءتهم في عمليات النشر في العالم الحقيقي.