Did It Happen? Counterfactual Evaluation of LLM Agent Recovery from Ambiguous Tool Outcomes
تقدم هذه الورقة معياراً مضاداً للواقع يوضح أنه في حين تفرض مهلات الأدوات الغامضة سقف نجاح بنسبة 50% على استعادة وكيل النماذج اللغوية الكبيرة، فإن تنفيذ عقود التكرار المتماثل المستقرة يتيح استعادة كاملة، بينما لا يؤدي الاعتماد فقط على معلومات الحالة إلا إلى تحسن جزئي.
تخيل مساعداً رقمياً لا يكتفي فقط بالإجابة على الأسئلة، بل يمكنه أيضاً تنفيذ مهام في العالم الحقيقي: مثل إنشاء حسابات، أو نقل البيانات، أو نشر تحديثات البرامج. تُعرف هذه الأنظمة باسم "الوكلاء الذكيين" (AI agents). لسنوات طويلة، ركز الباحثون على ما إذا كان بإمكان هؤلاء الوكلاء اختيار الأدوات الصحيحة واتباع التعليمات. ولكن مع انتقال هذه الأنظمة من نوافذ الدردشة إلى البنية التحتية الحيوية، ظهرت مشكلة جديدة وأكثر خطورة. لا يتعلق الأمر بما إذا كان الوكيل يعرف ما يجب فعله، بل بما إذا كان يعرف ما الذي حدث بالفعل. في واقع شبكات الكمبيوتر الفوضوي، قد تفشل أداة في البدء، أو قد تبدأ بنجاح ثم تفقد اتصالها قبل إرسال رسالة "النجاح". بالنسبة للوكيل، يبدو كلا السيناريوهين متطابقين تماماً: صمت، أو انتهاء مهلة زمنية (timeout). هذا يخلق نقطة عمياء؛ فإذا خمن الوكيل خطأً وحاول مرة أخرى، فقد يتسبب بالخطأ في إنشاء حسابين بدلاً من واحد. وإذا خمن التوقف، فقد يترك مهمة غير مكتملة. السؤال الجوهري لمستقبل الأتمتة الموثوقة هو كيفية التنقل عبر هذا الصمت دون التسبب في فوضى.
قام باحث في جامعة شانغهاي جياو تونغ بوضع منهجية لقياس مدى جودة تعامل النماذج الذكية الحالية مع هذا النوع المحدد من الارتباك. لقد بنى بيئة اختبار محكومة مصممة لمحاكاة السيناريو الأسوأ: لحظة يتوقف فيها نظام الكمبيوتر عن الاستجابة، مما يترك الذكاء الاصطناعي غير متأكد مما إذا كان الإجراء الذي طلبه قد تم بالفعل أم لا. لم يكتفِ الباحث بسؤال الذكاء الاصطناعي للتخمين، بل صمم تجربة صارمة حيث كانت كل حالة اختبار عبارة عن زوج من الحقائق الخفية. في نسخة واحدة من الاختبار، لم يحدث الإجراء أبداً. وفي النسخة الأخرى، حدث الإجراء بشكل مثالي، لكن التأكيد فُقد. والأهم من ذلك، أن الذكاء الاصطناعي رأى نفس رسالة "انتهاء المهلة" في كلتا النسختين. الفرق الوحيد كان الحقيقة الخفية لما فعله نظام الكمبيوتر بالفعل. كان الهدف هو معرفة ما إذا كان بإمكان الذكاء الاصطناعي التعافي بشكل صحيح في كلا العالمين، أم أنه محكوم بالفشل في أحدهما.
اختبرت الدراسة ثلاث طرق مختلفة لمساعدة الذكاء الاصطناعي على التعافي من هذا الصمت. النهج الأول كان ببساطة إعطاء الذكاء الاصطناعي أمراً (prompt) يطلب منه أن يكون حذراً وموثوقاً. النهج الثاني منح الذكاء الاصطناعي أداة للتحقق من حالة النظام، مما يسمح له برؤية ما إذا كان الإجراء قد حدث بالفعل. أما النهج الثالث فقد غيّر قواعد الأداة نفسها، بجعل تكرار الإجراء آمناً دون التسبب في تكرارات، وهو مفهوم يُعرف باسم "التماثل" (idempotency). أجرى الباحث هذه الاختبارات عبر واحد وثمانين سيناريو مختلفاً لهندسة البرمجيات، تتراوح من إنشاء ملف واحد إلى إدارة سلاسل معقدة من الموارد. استخدم نموذجاً ذكياً محدداً، وهو qwen-plus، كعينة اختبار أساسية، حيث أجرى التجربة مئات المرات لضمان أن النتائج لم تكن مجرد ضربة حظ.
كانت النتائج صارخة وكاشفة. عندما تم إعطاء الذكاء الاصطناعي مجرد تذكير مهذب بأن يكون حذراً، لم يكن أداؤه أفضل من رمي العملة المعدنية. لقد نجح في حوالي نصف الحالات، وهو الحد الأقصى النظري عندما لا تملك أي معلومات عما حدث. لم يستطع الذكاء الاصطناعي التمييز بين محاولة فاشلة وبين تأكيد مفقود، لذا فإما كرر إجراءً نجح بالفعل أو استسلم تجاه إجراء فشل. وعندما منح الباحث الذكاء الاصطناعي وسيلة للتحقق من حالة النظام، تحسن الأداء بشكل ملحوظ، ليصل إلى حوالي ثمانين بالمائة من النجاح. ومع ذلك، لم يكن هذا حلاً مثالياً؛ ففي بعض تدفقات العمل المعقدة التي تتضمن سلسلة من الخطوات، كان الذكاء الاصطناعي يتحقق من الحالة بنجاح ولكنه لا يزال يفشل في اختيار الخطوة التالية الصحيحة، مما يظهر أن امتلاك المعلومات لا يضمن القدرة على استخدامها بشكل صحيح.
كان الحل الأكثر فعالية هو الثالث: تغيير الأداة نفسها لتكون آمنة ضد التكرار. عندما صُممت الأداة بحيث أن تكرار الإجراء باستخدام نفس المعرّف سيؤدي ببساطة إلى تجاهله إذا كان قد تم تشغيله بالفعل، حقق الذكاء الاصطناعي معدل نجاح مثالي. كان بإمكانه إعادة المحاولة عدة مرات كما يلزم دون خوف من التكرار، وسينتهي النظام دائماً بالحالة الصحيحة. يشير هذا الاكتشاف إلى أن المسار الأكثر موثوقية للمستقبل ليس الاعتماد على قدرة الذكاء الاصطناعي على التفكير للخروج من نقطة عمياء، بل بناء آليات السلامة مباشرة داخل الأدوات التي يستخدمها. كما لاحظ الباحث أنه حتى عندما يصل الذكاء الاصطناعي إلى الحالة النهائية للنظام بشكل صحيح، فإنه يفشل أحياناً في اتباع قواعد التنسيق الصارمة المطلوبة من البرنامج، مما يثبت أن النتيجة الصحيحة والتقرير الصحيح شيئان مختلفان.
تخلص الدراسة إلى أن مشكلة نتائج الأدوات الغامضة ليست مشكلة "أمر" (prompting) يمكن حلها بتحسينات في التعليمات. إنها مشكلة هيكلية تتطلب إما معلومات واضحة أو سلامة مدمجة. وجد الباحث أنه بدون وسيلة لرؤية الحالة الخفية أو أداة تمنع التكرارات، يظل الذكاء الاصطناعي محدوداً بشكل جوهري بمعدل نجاح قدره خمسون بالمائة في هذه السيناريوهات المحددة. وبينما يساعد منح الذكاء الاصطناعي ميزة التحقق من الحالة، إلا أنها ليست حلاً سحرياً، إذ لا يزال بإمكان الذكاء الاصطناعي ارتكاب أخطاء في تفسير ما يراه. الطريقة الوحيدة التي ضمنت نتيجة مثالية في محاكاتهم هي تصميم الأدوات بحيث تكون إعادة المحاولة غير ضارة. يوفر هذا العمل خارطة طريق واضحة للمهندسين الذين يبنون الجيل القادم من الوكلاء الأذكياء: إذا كنت تريد لنظامك أن يكون موثوقاً، فعليك إما إعطاؤه عيوناً ليرى ما حدث، أو بناؤه بحيث لا يمكنه إيذاء نفسه بمجرد المحاولة مرة أخرى.
ملخص تقني: "هل حدث ذلك؟ التقييم المقابل للواقع لتعافي وكيل النماذج اللغوية الكبيرة من نتائج الأدوات الغامضة"
بيان المشكلة
مع تزايد قيام وكلاء النماذج اللغوية الكبيرة (LLM agents) بإجراء عمليات ذات آثار جانبية في أنظمة خارجية (مثل إنشاء مشكلات، أو نشر موارد، أو تحديث حالات)، يظهر نمط فشل حرج: نتائج الأدوات الغامضة. وتحديداً، عندما يتلقى الوكيل مهلة زمنية (timeout) بعد طلب إجراء غير قابل لإعادة التنفيذ (non-idempotent action)، تكون الملاحظة متوافقة مع تاريخين خفيين متنافيين:
H=0 (لم يتم التنفيذ): لم يصل الطلب إلى الأداة أو فشل قبل التنفيذ.
H=1 (تم التنفيذ، فُقد الرد): نُفذ الإجراء بنجاح، ولكن فُقد الرد أثناء النقل.
تتطلب هاتان الحالتان استراتيجيتي تعافي متضادتين: تتطلب H=0 إعادة المحاولة، بينما تتطلب H=1 التوقف لتجنب التكرار. ومع ذلك، نظرًا لأن الوكيل لا يلاحظ سوى المهلة الزمنية المتطابقة، فإنه لا يستطيع التمييز بينهما. إعادة المحاولة بشكل أعمى تعالج H=0 ولكنها تكرر H=1؛ والتوقف بشكل أعمى يعالج H=1 ولكنه يترك H=0 غير مكتملة. تفشل الاختبارات المعيارية الحالية غالباً في عزل هذا الغموض، إما باختبار حالات الفشل ما قبل التنفيذ فقط (مما يكافئ إعادة المحاولة العمياء) أو بالفشل في ضبط عشوائية النموذج عند مقارنة استراتيجيات التعافي.
المنهجية
تصميم الاختبار المعياري المقابل للواقع
يقدم البحث اختباراً معيارياً مزدوجاً مقابلاً للواقع حيث تتكون كل وحدة تجريبية من عالمين خفيين (H=0 و H=1) يصدران نفس النص العام تماماً (مهلة زمنية) حتى يتباين رد الأداة المرئي.
معدل النجاح المتوازن لمرة واحدة بالضبط (BEOSR): يُعرف المقياس الأساسي بـ B=(Y0+Y1)/2، حيث Yh تساوي 1 إذا وصل العالم الخفي h إلى الحالة المستهدفة بدقة. يقيم هذا المقياس ما إذا كان يمكن لسياسة واحدة النجاح في كلا التاريخين الخفيين في آن واحد.
السقف النظري: يثبت المؤلف أنه بدون وسيلة إيضاح تحمل معلومات (مثل التحقق من الحالة) أو عقد ثبات (idempotency contract) مستقر، فإن أي سياسة مشتركة لها حد أقصى نظري لـ BEOSR يبلغ 0.5. وذلك لأن السياسة يجب أن تختار إما "التوقف" أو "إعادة المحاولة"، وهو ما ينجح في أحد العالمين الخفيين فقط.
الإعداد التجريبي
مجموعة المهام: 81 نموذجاً للهندسة البرمجية مشتقة من 27 سياقاً واقعياً (GitHub، Kubernetes، Stripe، AWS EC2) موزعة عبر ثلاث توبولوجيات للحالة:
الإنشاء لمرة واحدة (Create-once): خطر إنشاء كيانات مكررة.
الانتقال المرتب (Ordered-transition): خطر تجاوز المراحل أو التوقف.
الحجز ثم الربط (Reserve-then-link): خطر الاستهلاك الزائد، أو الموارد اليتيمة، أو التخصيصات غير المربوطة.
ظروف الواجهة: تدرس الدراسة أربعة ظروف:
C0/C1 (الأساسي/المطالبة فقط): لا توجد وسيلة إيضاح صريحة للتعافي؛ تعتمد على نصائح المطالبة (prompt advice).
C2 (استعلام الحالة): تسمح أداة للقراءة فقط للوكيل بالاستعلام عن الحالة الخفية (قابلة للملاحظة ولكن تتطلب تفسيراً صحيحاً).
C3 (مفتاح الثبات المستقر): يقوم عقد الأداة بمنع تكرار المحاولات تلقائياً (آمن من حيث التصميم).
خلايا الخدمة: يستخدم التقييم الرئيسي qwen-plus من Alibaba Cloud (756 زوجاً). وتستخدم عمليات التكرار الاتجاهي والخلايا الاستكشافية نماذج GLM-5.2، وDeepSeek-v4-pro، وMiniMax، ونماذج مستضافة في SJTU.
التقييم: يعتمد التسجيل على حالة المحاكي النهائية الدقيقة، وليس الادعاءات باللغة الطبيعية. يتحقق "الدرجة القائمة على الحالة فقط" من حالة النظام، بينما تتحقق "الدرجة المشتركة" من الحالة والالتزام الصارم بالبروتوكول.
النتائج الرئيسية
1. سقف المعلومات والتعافي
المطالبة فقط (C1): حققت BEOSR قدره 0.4979، مما يؤكد السقف النظري 0.5. لم تستطع الوكلاء التمييز بين الحالات الخفية وفشلوا في تحقيق النجاح "لمرة واحدة بالضبط" في كلا العالمين في آن واحد.
استعلام الحالة (C2): حققت BEOSR قدره 0.8066. رغم إزالة حاجز المعلومات، لم يكن النجاح مضموناً. وكان التباين الرئيسي (Δ) بين C2/C3 و C1 هو 0.4053، وهو ما يتجاوز العتبة المعلنة مسبقاً وهي 0.10.
الثبات المستقر (C3): حققت BEOSR قدره 1.0000. من خلال نقل منطق منع التكرار إلى واجهة الأداة، ضمن النظام التعافي الآمن بغض النظر عن الحالة الخفية.
2. الفشل المعتمد على التوبولوجيا
بينما نجحت C3 عالمياً، تباين أداء C2 بشكل كبير حسب التوبولوجيا:
الإنشاء لمرة واحدة: 0.8889 BEOSR.
الحجز ثم الربط: 0.9877 BEOSR.
الانتقال المرتب:0.5432 BEOSR.
التحليل: في توبولوجيا الانتقال المرتب، قام الوكلاء بالاستعلام عن الحالة في كل الحالات التي تم تقييمها (100% استخدام) ومع ذلك حققوا 0.5432 BEOSR فقط. وقع الفشل في مرحلة اتخاذ القرار: في 74 من أصل 81 حالة، حيث أعاد استعلام الحالة بشكل صحيح "المرحلة القديمة"، فشل الوكيل في ترجمة هذه المعلومة إلى إجراء "التقدم" المطلوب، واختار "التوقف" بشكل خاطئ بدلاً من ذلك. يوضح هذا أن توافر المعلومات لا يضمن الاستخدام الصحيح للمعلومات.
3. صحة الحالة مقابل صحة البروتوكول
تميزت الدراسة بين تحقيق الحالة النظامية الصحيحة والالتزام ببروتوكولات المخرجات الصارمة.
في الخلية الرئيسية، كان النجاح القائم على الحالة فقط مرتفعاً، لكن الالتزام بالبروتوكول الصارم تباين.
في بعض خلايا التكرار (مثل SJTU MiniMax)، وجد تباين إيجابي في الحالة فقط بالتزامن مع تباين سلبي في الدرجة المشتركة (الحالة + البروتوكول). يشير هذا إلى أن الوكيل يمكنه استعادة الحالة الخارجية بشكل صحيح مع الاستمرار في انتهاك عقود التنسيق (مثل تنسيق المخرجات)، مما يسلط الض الضوء على أن التعافي الآمن للحالة والإنتاج المتوافق مع البروتوكول هما صفتان مختلفتان.
4. التكرار
حافظت عمليات التكرار الاتجاهي عبر نماذج مختلفة (GLM، DeepSeek، MiniMax) وبيئات الخدمة على الاتجاه الإيجابي للتباين القائم على الحالة فقط (جميع Δ>0.35)، وإن اختلفت القيم.
الأهمية والادعاءات
يدعي البحث أنه يوفر تقييماً سلوكياً محكماً يفصل بين توافر المعلومات، واستخدام المعلومات، والإنفاذ أثناء التشغيل كطبقات متميزة من الموثوقية.
صلاحية الاختبار المعياري: يحل التصميم المزدوج المقابل للواقع مشكلة الصلاحية في تقييم الوكلاء من خلال ضمان أن "حد المعلومات" دقيق لكل زوج، مما يمنع عشوائية النموذج من خلط مقارنات التعافي.
الآثار الهندسية:
المطالبة غير كافية: بدون وسيلة إيضاح تحمل معلومات، يظل التعافي مقيداً بسقف نجاح قدره 0.5.
الملاحظة ضرورية ولكنها ليست كافية: توفير نقاط نهاية للحالة (C2) يحسن النجاح ولكنه يتطلب من الوكلاء تفسير البيانات والعمل بناءً عليها بشكل صحيح، وهي نقطة فشل تم تحديدها في سير عمل الانتقال المرتب.
الإنفاذ هو الأمثل: نقل منع التكرار إلى حدود الأداة/وقت التشغيل عبر مفاتيح الثبات المستقرة (C3) يضمن التعافي دون الاعتماد على استنتاج الوكيل.
حدود النطاق: صرح المؤلف صراحة بأن الدراسة تقدر التأثيرات تحت نتائج غامضة محكومة. وهي لا تدعي قياس حدوث الإنتاج، أو آليات النموذج الداخلية، أو تأثيرات الأجهزة، أو الضمانات العالمية عبر جميع الأنظمة البرمجية. النتماء لـ 81 نموذجاً ثابتاً وتكوينات الخدمة المختبرة.
في الختن، يجادل البحث بأن تقييم الوكيل يجب أن يتجاوز مجرد صحة "الإجابة النهائية" لتقييم موثوقية العملية التي أنتجت تلك الحالة، وتحديداً اختبار قدرة الوكلاء على التنقل بين الملاحظات الغامضة وإجراءات التعافي الآمنة.