Outcome Monitors: Recovery Affordances for Silent Tool Failures
تقدم هذه الورقة "مراقب النتائج" (Outcome Monitors)، وهي آلية تكتشف حالات فشل الأدوات الصامتة من خلال التحقق من عقود النتائج وإصدار إيصالات مع أدوات الاسترداد، مما يحسن معدلات إتمام المهام في تقييمات الوكلاء بشكل كبير، مع تسليط الضوء على أن الكشف الحالي يعتمد بشكل كبير على المفردات المستخرجة.
تخيل مساعداً رقمياً يمكنه التحدث مع برامج حاسوبية أخرى لإنجاز المهام. قد يطلب من خدمة الطقس توقعات، أو يتحقق من مخزون متجر لسلعة معينة، أو يحجز رحلة طيران. هذه المساعدات قوية لأن قدرتها تمتد إلى ما هو أبعد بكثير من ذاكرتها الخاصة، لكنها تعتمد على ثقة هشة: فهي تفترض أن الإجابات التي تتلقاها حقيقية. عادةً، إذا فشل برنامج في تقديم إجابة، يدرك المساعد أن هناك خطأ ما. ولكن في بعض الأحيان، تصل الإجابة وهي تبدو طبيعية تماماً، رغم أنها كذبة. قد يعيد الحاسوب صفحة خطأ مخبأة (cached) تبدو وكأنها استجابة صالحة، أو سعراً سالباً بسبب خلل تقني. والمساعد، برؤيته رقماً منسقاً بشكل مثالي، يقبل الأمر كحقيقة ويبني خطواته التالية على أساس من الرمال. هذا هو الفشل الصامت، وهو خطأ يحدث دون صوت، مما يؤدي بالمساعد إلى إنتاج هراء بكل ثقة.
لقد طور باحثون في جامعة جنوب ميسيسيبي وسيلة للإمساك بهذه الأكاذيب الصامتة دون إيقاف المساعد في مساره. وقد أطلقوا على اختراعهم اسم "مراقبات النتائج" (Outcome Monitors). وبدلاً من محاولة إجبار المساعد على أن يكون مثالياً أو منع أفعاله، يعمل المراقب كمراقب هادئ يتحقق من الإجابات فور وصولها. فهو يقارن النتيجة مقابل مجموعة من القواعد المتوقعة، أو "العقود"، التي تعلمها من مراقبة النظام أثناء عمله بشكل صحيح في الماضي. وإذا كسرت الإجابة قاعدة ما — مثل سعر سالب لسلعة ينبغي أن تكلف مالاً — فإن المراقب لا يتولى السيطرة؛ فهو لا يحذف الإجابة السيئة ولا يجبر المساعد على المحاولة مرة أخرى. بدلاً من ذلك، يمرر ملاحظة داخل المحادثة. هذه الملاحظة، التي تسمى "الإيصال" (receipt)، تشير إلى الخطأ المحدد وتقترح قائمة بالأدوات الأخرى التي يمكن للمساعد استخدامها لإصلاح المشكلة. ثم يقرر المساعد ما سيفعله بعد ذلك، مسلحاً بالمعرفة بأن الإجابة السابقة كانت معيبة وخريطة لكيفية التعافي.
اختبر الباحثون هذا النظام على سلسلة من المهام الصعبة حيث قاموا عمداً بحقن هذه الأخطاء الصامتة. وراقبوا كيف أدت نماذج حاسوبية مختلفة مهامها عندما تُتركت لتتعامل مع الأخطاء بمفردها مقابل تزويدها بهذه الإيصالات المفيدة. كانت النتائج واضحة: عندما تلقت النماذج الإيصالات، نجحت في إكمال مهام أكثر بكثير. في مجموعة واحدة من الاختبارات الصعبة، قفز معدل الإكمال من حوالي أحد عشر بالمائة إلى ثمانية وعشرين بالمائة. وقد ظل هذا التحسن ثابتاً عبر أنواع مختلفة من النماذج الحاسوبية من شركات متنوعة. وكان مفتاح هذا النجاح ليس فقط معرفة وقوع خطأ ما، بل معرفة الأدوات الأخرى المتاحة بدقة لحل المشكلة. وعندما أزال الباحثون قائمة أدوات التعافي من الإيصال، تلاشى التحسن، مما أثبت أن الاقتراح المحدد لما يجب فعله لاحقاً كان الجزء الأكثر قيمة في الرسالة.
ومع ذلك، فإن النظام ليس علاجاً سحرياً لكل مشكلة. فقد وجد الباحثون أن الفائدة كانت أكثر وضوحاً عندما كان الخطأ شديداً بما يكفي لإيقاف المهمة تماماً. أما إذا كان الخطأ طفيفاً أو إذا كان من الممكن إكمال المهمة رغم الخطأ، فإن الإيصال لم يغير النتيجة كثيراً. وفي بعض الحالات، قام النظام أيضاً بتمييز أخطاء لم تكن موجودة في الواقع، مما أدى أحياناً إلى إرباك المساعد وأدى إلى نتائج أسوأ، وإن كانت هذه الحالات نادرة. كما أظهرت الدراسة أن النظام يعمل بشكل أفضل عندما تكون الأخطاء التي يكتشفها مشابهة لتلك التي تعلم التعرف عليها. فعندما أدخل الباحثون نوعاً جديداً تماماً من الأخطاء لم يره النظام من قبل، انخفضت قدرته على اكتشاف المشكلة بشكل كبير. وهذا يشير إلى أنه بينما يعد المراقب أداة قوية لرصد أنواع الأعطال المعروفة، فإنه لا يستطيع بعد اكتشاف كل طريقة ممكنة قد يكذب بها الحاسوب.
في نهاية المطاف، يعيد هذا العمل صياغة طريقة تفكيرنا في إصلاح المساعدات الرقمية المعطلة. فبدلاً من بناء جدار صلب لمنع الأخطاء، يقترح الباحثون نظاماً يسلط الضوء على المشكلة ويقدم مساراً للمضي قدماً، تاركاً القرار النهائي للمساعد نفسه. وتُظهر الدراسة أن منح الوكيل إشارة واضحة حول ما حدث خطأً وقائمة ملموسة من البدائل يمكن أن يحسن بشكل كبير قدرته على التعافي من الفشل الصامت. وبينما لا تزال هذه التكنولوجيا غير مثالية ولا يمكنها رصد كل خطأ ممكن، إلا أنها تقدم طريقة عملية وفعالة لجعل هذه الأنظمة الذكية أكثر متانة وموثوقية في العالم الحقيقي.
تواجه الوكلاء اللغويون الذين يدمجون استدعاءات الأدوات الخارجية ثغرة أمنية حرجة: الإخفاقات الصامتة. فبينما يسهل اكتشاف الأخطاء الصريحة (مثل انتهاء المهلة)، غالبًا ما يتلقى الوكلاء نتائج تصل بالتنسيق المتوقع ولكنها تحتوي على بيانات غير صحيحة دلاليًا، أو قديمة، أو مستحيلة فيزيائيًا (مثل صفحة خطأ مخزنة مؤقتًا أو سعر سالب). في هذه الحالات، يستهلك الوكيل البيانات المعيبة كحقائق، مما يؤدي إلى "تلفيق واثق" وفشل المهمة.
تعتمد حلقات الوكلاء الحالية على النموذج اللغوي الكبير (LLM) لاستنتاج التناقضات من الملاحظات الخام، وهي عملية غالبًا ما تفشل. ومن ناحية أخرى، فإن الضوابط الصارمة وقت التشغيل التي تفرض الإصلاحات تحجب ما إذا كان التحسن في السلوك ناتجًا عن تحسين الاستدلال أم عن تدخل الضابط. هناك حاجة لآلية تكتشف الانتهاكات دون تقييد مساحة إجراءات الوكيل أو القيام بعملية الاسترداد نفسها.
المنهجية
يقدم المؤلفون مراقبات المخرجات (Outcome Monitors)، وهو نظام حتمي يفصل بين الاكتشاف والاسترداد.
المكونات الأساسية
عقود المخرجات (Outcome Contracts): وهي ثوابت تحدد العلاقات المتوقعة بين استدعاءات الأدوات ونتائجها. وهي مشتقة من مصدرين:
العقود المستخرجة (Mined Contracts): المستخرجة من مسارات المهام المنفصلة والنموذجية (النظيفة) باستخدام خوارزمية قبول متحفظة (على سبيل المثال، التحقق من الإيجابية، النطاقات الفئوية، وعلاقات الحفظ الأفيني).
المخططات العامة (Public Schemas): المشتقة من مخططات استجابة واجهة برمجة التطبيقات (API) العامة (المستخدمة في AppWorld).
الكاشف (The Detector): وهو فاحص وقت التشغيل الذي يقيم نتيجة الأداة (yt) مقابل العقد ذي الصلة. إذا تم العثور على انتهاك، فإنه ينشئ مجموعة من سجلات الانتهاك Vt.
الإيصال الاستشاري (The Advisory Receipt): عند حدوث انتهاك، يقوم النظام بإلحاق إيصال غير ملزم بسياق الوكيل. يحتوي هذا الإيصال على:
شاهد تشخيصي (Diagnostic Witness): (مثل "المتوقع ≥0، الملاحظ $-3$").
قائمة من إمكانيات الاسترداد (Recovery Affordances): أدوات استرداد عامة (بدائل أو مسارات بديلة) متاحة للوكيل.
الأهم من ذلك، أن الإيصال لا يفرض قيودًا على الإجراءات، ولا ينفذ الإصلاحات، ولا يكشف عن تسميات الاختبار، ولا يستشير مقيمًا. يظل الوكيل حرًا في تجاهل الإيصال أو اختيار أي إجراء.
بنية النظام
يتبع الواجهة نمط "الاكتشاف والاستشارة" (الشكل 1).
المدخلات: استدعاء الأداة at، والنتيجة yt.
العملية: يقوم الفاحص C برسم الخرائط من (at,yt) إلى الانتهاكات Vt. إذا كانت Vt غير فارغة، يقوم المشفر Es بإنشاء إيصال ρt يحتوي على Vt ومجموعة من أدوات الاسترداد Rt (المشتقة من خرائط الأدوات العامة، وليس حلول المهام).
المخرجات: يتلقى الوكيل النتيجة الأصلية yt مع تعزيزها بـ ρt. وتظل مجموعة الإجراءات At دون تغيير.
المساهمات الرئيسية
تصميم واجهة مبتكر: يقترح البحث واجهة تشير إلى الانتهاكات عبر إيصال استشاري يحتوي على إمكانيات الاسترداد، بدلاً من فرض إصلاح محدد أو حظر التنفيذ. هذا يحافظ على استقلالية الوكيل مع توفير توجيه مهيكل.
بناء غير معتمد على "الأوراكل" (Non-Oracle Construction): يتم استخراج العقود من مسارات نظيفة منفصلة أو مخططات عامة، مما يضمن أن النظام لا يعتمد على حلول المهام، أو التسلسلات الذهبية، أو مسارات الاسترداد المخفية أثناء البناء أو وقت التشغيل.
التحقق التجريبي: تقيم الدراسة النهج عبر ثلاث عائلات من المزودين (DeepSeek, Qwen, MiniMax) وبيئتين (ToolMaze, τ-bench).
النتائج
يسجل البحث تحسينات كبيرة في معدلات إكمال المهام عند تفعيل مراقبات المخرجات، وتحديدًا في السيناريوهات التي تعيق فيها الأعطال الإكمال الأساسي.
تأكيد ToolMaze: عبر أربعة نماذج (DeepSeek V4 Flash/Pro, Qwen 3.7 Plus/Max)، ارتفعت معدلات الإكمال من 10.9% (الأساسي) إلى 28.1% (الاستشاري)، وهي زيادة قدرها +17.2 نقطة مئوية (p<.00001). أظهرت عملية إعادة إنتاج منفصلة مع MiniMax M3 زيادة مماثلة (+18.75 نقطة).
τ-bench Retail: في بيئة تجزئة ذات حالة (stateful)، تحسن الإكمال بمقدار +14.0 نقطة (DeepSeek V4 Flash) و +12.0 نقطة (DeepSeek V4 Pro). تركزت المكاسب في انتهاكات الحالة الفئوية (+28.0 نقطة) لكنها لم تظهر تأثيرًا كبيرًا على انتهاكات الحفظ الأفيني حيث كان الإكمال الأساسي مرتفعًا بالفعل.
آلية العمل: كشفت دراسات الاستبعاد (Ablation studies) أن قائمة أدوات الاسترداد هي المكون النشط الذي يقود المكاسب. أدى حذف قائمة الأدوات إلى إلغاء التحسن، بينما لم تؤدِ إضافة تحذيرات عامة أو تفاصيل تشخيصية بدون قائمة الأدوات إلى أي فائدة ملموسة.
المقارنة مع المراجعين: تفوق مراقب المخرجات على آلية "الوكيل المعزز" (الذي يستخدم نموذجًا لغويًا كبيرًا مراجعًا) من حيث معدلات الإكمال والتكلفة (إضافة ~7% تكلفة مقابل ~498% للمراجع).
محدودية الاكتشاف:
حدود المفردات: عند الاختبار على أعطال مشتقة من حوادث صُممت لتكون عمياء عن مفردات العقد، انخفضت معدلات الكشف إلى 46%، خاصة بالنسبة للفساد داخل السلاسل النصية المعقولة.
حركة المرور النظيفة: في مسارات العمل النظيفة (غير المضطربة)، أصدر النظام إيصالات إيجابية كاذبة في حوالي 1.4% من الحالات، مما أدى إلى تأثير صافي صفري على الإكمال (الإنقاذات توازنت مع الأضرار).
السيناريوهات ذات المعدل الأساسي المرتفع: في البيئات التي أكمل فيها الأساس معظم المهام رغم الأعطال (مثل AppWorld)، كانت المكاسب الصافية ضئيلة.
الأهمية والادعاءات
يزعم البحث أن مراقبات المخرجات تصيغ استرداد الفشل الصامت كـ مشكلة قابلية الملاحظة (Observability). وتشير النتائج إلى أن إجراءات الاسترداد الممكنة موجودة بالفعل ضمن مجموعة أدوات الوكيل ولكنها ليست "مقروءة" للنموذج بدون إشارة صريحة.
ادعاءات متواضعة: يؤكد المؤلفون أن النظام غير ملزم؛ فهو لا يضمن السلامة أو يمنع جميع الأضرار (لوحظت خسائر مزدوجة). المكاسب مركزة حيث تعيق الأعطاء الإكمال فعليًا؛ فالنظام ليس مفيدًا بشكل عالمي في جميع السياقات.
التحديات المفتوحة: يذكر البحث صراحة أن توسيع نطاق الاكتشاف إلى ما وراء مفردات العقد المستخرجة يظل مشكلة مفتوحة. يعتمد النظام الحالي على التوافق بين الأعطال المحقونة والثوابت المستخرجة؛ واسترداد الأعطال الطبيعية غير المتوقعة ليس محل حل بعد.
فلسفة التصميم: من خلال الفصل بين الاكتشاف والاسترداد، يسمح النهج للوكيل اللغوي باستخدام قدراته الاستدلالية الخاصة لاختيار أفضل مسار استرداد، بدلاً من الاعتماد على ضابط صارم وقت التشغيل.
باختصار، توفر مراقبات المخرجات آلية حتمية لا تتطلب تدريبًا لتحسين متانة الوكيل ضد إخفاقات الأدوات الصامتة، وذلك عبر إبراز انتهاكات العقود وأدوات الاسترداد المتاحة، مما يحقق مكاسب كبيرة في الإكمال في السيناريوهات المليئة بالأعطاء دون المساس باستقلالية الوكيل.