تجادل هذه الورقة بأن تحقيق النشر الخالي من المخاطر للوكلاء القائمين على النماذج اللغوية الكبيرة يتطلب تركيزاً منهجياً على اختبار وتصحيح مسارات تنفيذهم لمعالجة تحديات مثل عدم الحتمية ومشكلة المرجع (the oracle problem)، مما يوفر في النهاية قائمة مرجعية عملية ويحدد المشكلات المفتوحة الرئيسية لدمج الوكلاء الموثوقين.
تخيل نوعاً جديداً من العمال لا يكتفي فقط باتباع قائمة صارمة من التعليمات، بل يفكر ويخطط ويعمل من تلقاء نفسه. هؤلاء العمال الرقميون، الذين يُطلق عليهم غالباً اسم "الوكلاء" (agents)، مبنيون على نماذج لغوية قوية يمكنها قراءة الطلب، وتحديد الأدوات التي ستستخدمها، ثم تنفيذ سلسلة من الإجراءات لحل مشكلة ما. إنهم يُستخدمون بالفعل في كتابة الأكواد البرمجية، والموافقة على القروض، وإدارة تدفقات العمل المعقدة في البنوك. وخلافاً للبرامج الحاسوبية التقليدية التي تتصرف مثل الآلة الحاسبة — حيث تعطي دائماً نفس الإجابة الدقيقة لنفس المدخلات — فإن هؤلاء الوكلاء يتسمون بالاستجابة؛ فهم يراقبون محيطهم، ويتخذون القرارات بناءً على ما يرونه، ثم يتصرفون، مما يخلق سلسلة من الأحداث يمكن أن تمتد لعشرات أو حتى مئات الخطوات. هذه المرونة تجعلهم مفيدين للغاية، لكنها تجعلهم أيضاً غير قابلين للتنبؤ. فعندما يتعطل برنامج قياسي، فإنه عادة ما يتوقف فوراً مع رسالة خطأ واضحة، أما عندما يفشل الوكيل، فقد يهيم في المسار الخاطئ بصمت لفترة طويلة قبل أن ينتج في النهاية نتيجة خاطئة أو غير آمنة أو ضارة. ولأن هذه الأخطاء قد تكون مخفية في أعماق سلسلة القرارات الطويلة، فإن المؤسسات تتردد في السماح لهؤلاء الوكلاء بإدارة أهم عملياتها التجارية دون وجود وسيلة لضمان عدم تسببهم في المشاكل.
اقترح فريق من الباحثين من سنغافورة والولايات المتحدة طريقة جديدة لجعل هؤلاء الوكلاء آمنين بما يكفي للاستخدام في العالم الحقيقي. ويرى الفريق أن المفتاح لفهم هؤلاء العمال الرقميين وإصلاحهم يكمن في تسجيل عملية تفكيرهم بأكملها، خطوة بخوة. ويطلقون على هذا السجل اسم "المسار" (trajectory). تماماً كما قد يحتفظ الإنسان بمذكرات يومه لفهم سبب ارتكابه لخطأ ما، فإن مسار الوكيل هو سجل كامل لكل ما فكر فيه، وكل أداة حاول استخدامها، وكل ملاحظة كونها من العالم الخارجي. وقد وجد الباحثون أن العديد من الإخفاقات تكون غير مرئية إذا نظرت فقط إلى الإجابة النهائية؛ فخطأ ما قد يُرتكب في الخطوة الأولى من المهمة قد لا يظهر حتى الخطوة الخمسين، وبحلول ذلك الوقت، يكون الضرر قد وقع بالفعل. ومن خلال التركيز على هذا السجل الكامل للأحداث، طور الفريق نهجاً منهجياً لاختبار وتصحيح أخطاء الوكلاء، يعامل "المسار" باعتباره المصدر الأساسي للحقيقة.
حدد الباحثون عدة عقبات رئيسية حالت دون نشر هؤلاء الوكلاء بشكل آمن. إحدى أكبر المشكلات هي أنه غالباً ما يكون من الصعب معرفة ما إذا كانت إجابة الوكيل صحيحة حقاً. ففي البرمجيات العادية، يمكنك التحقق مما إذا كانت المخرجات تطابق نتيجة متوقعة محددة، ولكن مع هؤلاء الوكلاء، قد تكون هناك طرق مختلفة عديدة لحل المشكلة، ويمكن أن تتغير "الإجابة الصحيحة" بناءً على السياق أو بناءً على من يسأل. وهذا يجعل من الصعب وضع اختبار يقول: "هذا نجاح، وذاك فشل". علاوة على ذلك، ولأن هؤلاء الوكلاء يستخدمون نماذج تولد إجابات بنوع من العشوائية، فإن تشغيل الاختبار نفسه مرتين قد يؤدي إلى نتيجتين مختلفتين. هذا التنبؤ يجعل من الصعب إعادة إنتاج الأخطاء وإصلاحها. كما لاحظ الباحثون أن أدوات الاختبار الحالية مصممة للبرامج البسيطة ولا يمكنها بسهولة فحص الرحلات المعقدة متعددة الخطوات التي يسلكها هؤلاء الوكلاء. ووجدوا أن معظم الاختبارات الحالية تركز فقط على النتيجة النهائية، متجاهلة الانعطافات الخطيرة التي قد يسلكها الوكيل للوصول إليها.
ولحل هذه المشكلات، رسم الفريق إطار عمل جديد يعامل رحلة الوكيل ككائن الدراسة الرئيسي. ويقترحون أنه بدلاً من مجرد التحقق من النتيجة النهائية، يجب على المطورين بناء اختبارات تنظر إلى المسار الكامل الذي اتخذه الوكيل. ويتضمن ذلك التحقق مما إذا كان الوكيل قد اختار الأدوات الصحيحة، وما إذا كان منطقه منطقياً في كل خطوة، وما إذا كان قد استجاب بشكل صحيح للبيئة. كما وصفوا كيفية تصحيح أخطاء هذه الأنظمة عن طريق تتبع الفشل وصولاً إلى سببه الجذري ضمن سلسلة الأحداث الطويلة. فإذا فشل الوكيل، يجب أن يكون النظام قادراً على النظر في المسار المسجل، والعثور على اللحظة الدقيقة التي ساء فيها القرار، وإما إصلاح المحاولة الحالية أو التعلم من الخطأ حتى لا يتكرر. وأظهر الباحثون أن هذا النهج يسمح للوكلاء بالتعافي من الأخطاء في الوقت الفعلي، وحتى تحسين مهاراتهم بمرور الوقت من خلال تذكر ما نجح وما لم ينجح.
يختتم البحث بقائمة مراجعة عملية للمؤسسات التي ترغب في استخدام هؤلاء الوكلاء. فقبل أن يُسمح للوكيل بالعمل على مهمة تجارية حقيقية، يجب على المؤسسة التأكد من امتلاكها نظاماً لتسجيل كل خطوة يتخذها الوكيل. ويجب عليهم تحديد قواعد واضحة لما تبدو عليه "الرحلة الناجحة"، وليس فقط "النتيجة النهائية الناجحة". كما يتعين عليهم اختبار الوكيل في بيئة آمنة تحاكي العالم الحقيقي، ومراقبة أي إخفاقات خفية في منتصف العملية. وبمجرد تشغيل الوكيل، يجب مراقبته باستمرار، مع جاهزية البشر للتدخل إذا بدأ الوكيل في الانحراف عن المسار. وأخيراً، يجب على المؤسسة استخدام الدروس المستفادة من كل فشل لتحديث ذاكرة الوكيل، مما يجعله أكثر ذكاءً وأماناً مع كل مهمة يكملها. ويؤكد الباحثون أنه رغم الوعود الكبيرة التي يحملها هؤلاء الوكلاء، إلا أنهم ليسوا مستعدين بعد للثقة العمياء بهم. ومن خلال التركيز على السجل الكامل لأفعالهم، يمكننا بناء أساس من الثقة يسمح لهذه الأدوات القوية بالعمل جنباً إلى جنب معنا دون المخاطرة بسلامة واستقرار أنظمتنا الحيوية.
ملخص تقني: نحو نشر وكلاء الذكاء الاصطنا-ي بلا مخاطر
بيان المشكلة
مع انتقال الوكلاء القائمين على النماذج اللغوية الكبيرة (LLMs) من النماذج الأولية البحثية إلى العمليات التجارية الأساسية للمؤسسات، فإنهم يفرضون مخاطر كبيرة تتعلق بالأمن، والامتثال، والوظائف. وبخلاف البرمجيات التقليدية الحتمية، فإن الوكلاء أنظمة تفاعلية غير حتمية تعمل من خلال مسارات طويلة الأمد تتضمن الاستنتاج، واستدعاء الأدوات، والملاحظة البيئية.
تحدد الورقة أن ممارسات النشر الحالية غالبًا ما تكون مرتجلة، وتفتقر إلى طرق منهجية للكشف عن المخاطر والتخفيف من حدتها. وتشمل التحديات المحددة ما يلي:
مشكلة "أوراكل" الاختبار (The Test Oracle Problem): يصعب تحديد الصحة لأن مخرجات الوكيل غالبًا ما تكون توزيعية وليست قيمًا نقطية، حيث تختلف عبر التنفيذات حتى لنفس المدخلات.
عدم الحتمية (Non-determinism): يؤدي الاستدلال العشوائي للنماذج اللغوية الكبيرة إلى سلوكيات "متقلبة" حيث يصعب إعادة إنتاج الفشل وعزله.
تعقيد المسار (Trajectory Complexity): غالبًا ما تنبع الإخفاقات من أخطاء استنتاج مبكرة تتوالى عبر عشرات الخطوات، مما يجعل عزو السبب الجذري أمرًا صعبًا.
نقص مقاييس الكفاية (Lack of Adequacy Metrics): لا تلتقط مقاييس تغطية الكود التقليدية السلوكيات الخاصة بالوكيل مثل مسارات اختيار الأدوات، أو أنماط التفويض، أو آثار التتبع الاستنتاجي.
عدم كفاية الأدوات: أطر الاختبار الحالية (مثل PyTest) ليست مصممة للتعامل مع تأكيدات المسار، أو المخرجات غير الحتمية، أو الآثار الجانبية للبيئة.
المنهجية والإطار العملي
يقترح المؤلفون نهجًا منهجيًا يرتكز على مسار الوكيل (Agent Trajectory) — وهو التسلسل المسجل لخطوات الاستنتاج، واستدعاءات الأدوات، والملاحظات البيئية. وقد هيكلوا منهجيتهم حول ثلاث ركائز: اختبار الوكيل، تصحيح أخطاء الوكيل، وجاهزية النشر.
1. اختبار الوكيل (Agent Testing)
تحدد الورقة استراتيجية اختبار شاملة تتجاوز التحقق من المخرج النهائي إلى تحليل مستوى المسار:
التعامل مع عدم الحتمية: يقترح المؤلفون تكييف تقنيات مثل الاختبار القائم على الخصائص والاختبار التحويلي للتركيز على الخصائص العلاقاتية بدلاً من التكافؤ الدقيق للمخرجات.
التحقق من المسار: يجب أن يتضمن الاختبار تأكيدات على الحالات الوسيطة، ومسارات اختيار الأدوات، وآثار التتبع الاستنتاجي. يتطلب هذا بنية تحتية تعامل المسارات كأهداف اختبار أساسية.
المتطلبات غير الوظيفية (NFRs): يشدد الإطار على اختبار الأمن (مثل حقن الأوامر)، والأداء، والمرونة (مثل حقن الأخطاء) والتي لا تزال ممثلة بشكل غير كافٍ في اختبار الوكيل.
الاختبار من البداية إلى النهاية (E2E): يدعو المؤلفون إلى اختبارات E2E تتحقق من سير العمل الكامل، بما في ذلك الآثار الجانبية على الخدمات الخارجية وقواعد البيانات، مع الإقرار بصعوبة تحديد "الأوراكل" في هذه البيئات المعقدة.
مقاييس الكفاية: تجادل الورقة بضرورة وجود مقاييس جديدة قائمة على التغطية السلوكية والتفاعلية (مثل أنماط استخدام الأدوات، وحالات الذاكرة) بدلاً من مجرد تغطية الكود.
2. تصحيح أخطاء الوكيل (Agent Debugging)
يتم تنظيم عملية تصحيح الأخطاء في ثلاث مراحل بناءً على المسار:
إدارة المسار: التقاط وهيكلة بيانات التنفيذ الخام. يسلط المؤلفون الضوء على الحاجة إلى تنسيقات معيارية (مثل OpenTelemetry) وتقنيات تقليل الضوضاء مثل تقطير الذاكرة لإدارة المهام طويلة الأمد.
تشخيص الفشل: يتضمن ذلك توصيف أنماط الفشل (مثل الاستنتاج غير المتماسك، أو الانحراف عن الخطة) والعزو الآلي للفشل. تراجع الورقة مناهج مثل Who&When وAgentRx وRootSE التي تحاول تحديد الخطوة المحددة في المسار الطويل التي نشأ فيها الفشل، وهي مهمة تزداد تعقيدًا بسبب "السلاسل السببية الطويلة والمشوشة" لتنفيذ الوكيل.
الإصلاح والتطور الذاتي:
الإصلاح داخل المهمة (Intra-task repair): تصحيح مسار الوكيل أثناء التنفيذ باستخدام التغذية الراجعة (مثل Reflexion وAgentDebug).
التطور الذاتي بين المهام (Inter-task self-evolution): استخراج المعرفة القابلة لإعادة الاستخدام من المسارات السابقة لتحسين الأداء المستقبلي دون إعادة التدريب (مثل SE-Agent وSkillRL).
3. قائمة التحقق من جاهزية النشر (Deployment Readiness Checklist)
يلخص المؤلفون أبحاثهم في قائمة تحقق عملية للمؤسسات، مقسمة إلى ثلاث مراحل:
ما قبل النشر: إنشاء أنظمة التقاط المسار، وتوصيف أنماط الفشل الخاصة بالمجال، وتحديد معايير القبول بناءً على خصائص المسار، وتنفيذ اختبارات E2E في بيئة الاختبار (Staging).
النشر المبكر: مراقبة خصائص المسار بحثًا عن الشذوذ، وإنشاء حلقات التغذية الراجعة للأخطاء المبلغ عنها من المستخدمين، وتنفيذ التدخلات على المسارات الفاشلة (مثل التصحيح الذاتي) قبل إعادة النشر.
النشر المستدام: تخزين الدروس المستفادة كمهارات قابلة لإعادة الاستخدام وقياس كفاية الاختبار من خلال تنوع المسار وتغطية أنماط الفشل.
المساهمات الرئيسية
النموذج المرتكز على المسار: تجادل الورقة بأن المسار هو الأثر الأساسي لكل من اختبار وتصحيح أخطاء الوكلاء، وهو أمر ينطبق على أي نوع من الوكلاء (البرمجة، سير العمل المؤسسي) بغض النظر عن النموذج الأساسي (سواء كانت الأوزان مفتوحة أو مغلقة).
تصنيف منهجي للتحديات: تصنف الورقة العقبات المحددة في اختبار الوكيل (مشكلة الأوراكل، عدم الحتمية، التحقق من المسار) وتصحيح الأخطاء (العزو، الإصلاح، التطور الذاتي)، مع تمييزها عن مشاكل هندسة البرمجيات التقليدية.
مراجعة أحدث ما توصل إليه العلم: تستعرض الورقة الأدوات والأبحاث الحالية (مثل LangSmith وMAST وRootSE وReflexion) لرسم المشهد الحالي لموثوقية الوكيل.
قائمة تحقق عملية للنشر: توفر قائمة تحقق ملموسة قائمة على المراحل للمؤسسات لتقييم الجاهزية، مما يسد الفجوة بين البحث النظري والتطبيق الصناعي.
تحديد المشكلات المفتوحة: تحدد الورقة صراحة ثلاثة فجوات بحثية حرجة:
مقاييس الكفاية الرسمية: الحاجة إلى مقاييس رسمية صارمة لتحديد متى تكون مجموعة اختبار الوكيل كافية.
عزو السبب الجذري: تحدي عزو الفشل بدقة في المسارات الطويلة والعشوائية.
موثوقية الوكلاء ذاتية التطور: المخاطر المرتبطة بالوكلاء الذين يتعلمون من مساراتهم الخاصة، بما في ذلك تدهور المهارات وانتهاك ثوابت السلامة.
النتائج والادعاءات
لا تقدم الورقة نتائج تجريبية جديدة أو خوارزمية مبتكرة من تطوير المؤلفين. بدلاً من ذلك، فإن "نتائجها" هي توليف للحالة الراهنة للمجال وحجة مهيكلة لاتجاه بحثي جديد.
الادعاء: يزعم المؤلفون أن النشر الخالي من المخاطر لا يمكن تحقيقه إلا إذا كان الاختبار وتصحيح الأخطاء مرتكزين على مسار الوكيل.
الادعاء: الممارسات الحالية غير كافية لأنها تعتمد على طرق مرتجلة وتفتقر إلى مقاييس كفاية رسمية.
الادعاء: توفر القائمة المنهجية والمنهجية المقترحة أساسًا ضروريًا للمؤسسات لدمج الوكلاء بأمان في سير العمل التجاري.
التواضع: يقر المؤلفون بأنه بينما تظهر أدوات مثل AgentRx وRootSE وعودًا، فإن حتى النماذج الرائدة تحقق فقط دقة "بائسة" على مستوى الخطوة في تحديد موقع الفشل. ويؤكدون على ضرية وجوب معالجة المشكلات المحددة لتمكين النشر الموثوق حقًا.
الأهمية
تضع الورقة نفسها كخارطة طريق لمجتمعي هندسة البرمجيات والذكاء الاصطناعي. تكمن أهميتها في تحويل التركيز من أداء الوكيل المنعزل إلى الإدارة المنهجية لدورة الحياة. ومن خلال صياغة المسار كأثر مركزي، يوفر المؤلفون عدسة موحدة يمكن من خلالها رؤية الاختبار وتصحيح الأخطاء والنشر. ويجادلون بأنه بدون معالجة التحديات المحددة المتمثلة في عدم الحتمية والاستنتاج طويل الأمد، فإن "تحويل الوكلاء" (agentification) لسير العمل المؤسسي سيظل مصدرًا لمخاطر غير مدارة. وتعد الورقة دعوة للعمل لتطوير بنى تحتية للاختبار الصارم ومقاييس رسمية لدعم الاعتماد المستدام والآمن للذكاء الاصطناعي الوكيل.