ملخص تقني: SkillZip
1. بيان المشكلة
تتحسن الوكلاء ذاتية التطور من خلال إلحاق الإجراءات الناجحة، وإصلاحات الفشل، والتحذيرات بقطع المهارات الخاصة بها. ومع ذلك، تؤدي هذه العملية إلى عدم تطابق منهجي بين النمو النصي والنمو الإجرائي. فمع تطور الوكلاء، غالبًا ما يُعاد صياغة المتطلبات نفسها عبر مسارات، وأمثلة، وتحذيرات متعددة، كما تُنسخ تسلسلات العمل الشائعة بدلاً من إعادة استخدامها.
يؤدي هذا إلى "تضخم المهارة" (skill bloat)، حيث يزداد طول المهارة بشكل كبير (لوحظ بمعدل 5.2 ضعف في التجارب) حتى بعد استقرار المحتوى الإجرائي الجديد فعليًا. وتواجه الحلول الحالية قيودًا:
- ضغط المطالبات العام (Generic Prompt Compression): يعامل المهارات كنصوص مسطحة، فاشلًا في مراعاة الطبيعة الهيكلية للمهارات (الواجهات، سير العمل، العقود، والقواعد النطاقية). وغالبًا ما يزيل الرموز (tokens) بناءً على صلة الاستعلام بدلاً من الضرورة الإجرائية.
- الضغط الموجه بالتقييم (مثل SkillReducer): يعتمد على تجارب المهام، والمكافآت، والمحققات السلوكية للتحقق من الضغط. وهذا يؤدي إلى تكاليف حسابية عالية، وزمن استجابة مرتفع، واعتماد على مجموعات تقييم محددة وقت الضغط، مما يخاطر بفقدان الضوابط أو القيود الحرجة غير المختبرة.
يتمثل التحدي الجوهري في ضغط المهارات المتطورة عبر دمج الهياكل المتكررة دون الاعتماد على المهام اللاحقة، أو عمليات التشغيل (rollouts)، أو المحققات، مع الحفاظ بصرامة على القواعد النادرة والقيود الفريدة.
2. المنهجية: SkillZip
SkillZip هي طريقة خالية من التقييم تقوم بضغط المهارات عبر إيجاد "أقصر تفسير هيكلي أمين". وهي تعمل بناءً على منطق "اشرح مرة واحدة، ومرجع لمرات عديدة": أي ذكر القواعد المتكررة مرة واحدة في النطاق المناسب، وتفكيك التسلسلات المتكررة إلى إجراءات مشتركة، والاحتفاظ بالاختلافات فقط كاستثناءات صريحة.
أ. تمثيل العقد (The Contract Representation)
يصيغ SkillZip المهارة كعقد محدد النوع، C(S)=⟨I,G,T,C,O,E⟩، يتكون من:
- الواجهة (Interface - I): الاسم، الغرض، المحفزات، والاستثناءات.
- سير العمل (Workflow - G): الإجراءات، الترتيب، القرارات، الحلقات، والبدائل.
- بروتوكول الأداة (Tool Protocol - T): أسماء الأدوات، الوسائط، الشروط المسبقة، ومعالجة الأخطاء.
- القواعد النطاقية (Scoped Rules - C): الالتزامات والمحظورات مع نطاقات وحواجث محددة.
- عقد المخرجات (Output Contract - O): أنواع الاستجابة، الحقول المطلوبة، والتحقق من الصحة.
- الدليل (Evidence - E): الأمثلة والتعليلات المرتبطة بعناصر العقد.
يقوم النظام بتحليل نص المهارة إلى وحدات محددة النوع. وإذا تعذر تفسير نطاق نصي بثقة، فإنه يُعامل كـ "بقايا مقفلة" (locked residual) ويُحفظ كما هو لضمان السلامة.
ب. هدف التحسين
يتم صياغة هدف الضغط كمسألة "طول الوصف الأدنى" (Minimum Description Length - MDL). يسعى النظام إلى إيجاد مكتبة من عناصر العقد القابلة لإعادة الاستخدام (K) وبقايا (R) لتقليل التكلفة الإجمالية:
(K∗,R∗)=arg(K,R)min[L(K)+L(R∣K)]
مع الخضوع لـ قيد تغطية صارم: يجب أن يتم تغطية كل متطلب معياري مستخرج (الواجهة، حافة سير العمل، متطلبات الأداة، القاعدة، حقل المخرجات) بواسطة التمثيل المضغوط. وهذا يضمن عدم حذف القواعد الفريدة أو النادرة لمجرد ظهورها بشكل غير متكرر في المهام التي تم أخذ عينات منها.
ج. أوضاع التشغيل
يعمل SkillZip في وضعين:
- الضغط لمرة واحدة (One-Shot Compression): يُستخدم على نقاط تحقق المهارات المتطورة الحالية. ويتضمن ماسحًا حتميًا، واستخراجًا للعقد مقيدًا بالمخطط (schema)، واقتراح مرشحين متوافقين نوعيًا لإعادة الاستخدام، وخطوة تحسين حتمية (باستخدام البرمجة الديناميكية والتعبئة الموزونة) لاختيار أقصر تفسير مغطٍ.
- الضغط عند الكتابة (Zip-on-Write - المستمر): مدمج في حلقة التطور الذاتي. عندما تصل رقعة (patch) جديدة، تتم مقارنتها بالعقد المدمج الحالي. يقرر النظام ما إذا كان سيقوم بـ الاستيعاب (إعادة الصياغة)، أو التحسين (إضافة حواجث/استثناءات)، أو التوسيع (إضافة متطلبات جديدة)، أو إعادة الهيكلة (إنشاء تجريدات جديدة). وهذا يتجنب إعادة تشغيل المهام أو إعادة تحليل التاريخ الكامل. وتحدث عملية "إعادة تعبئة" دورية عندما تخلق الرقع المتراكمة فرصًا جديدة لإعادة الاستخدام عبر النطاقات.
3. المساهمات الرئيسية
- صياغة خالية من التقييم: يصيغ البحث ضغط المهارة كمسألة تمثيل عقد مصممة للمهارات المتطورة، مما يلغي الحاجة إلى المهام اللاحقة، أو عمليات التشغيل، أو المحققات أثناء عملية الضغط.
- هدف أقصر تفسير أمين: هدف موحد يوازن بين المشاركة الدلالية، ورفع النطاق، وإعادة استخدام سير العمل، وتشفير الاستثناءات. ومن الأهمية بمكان أن ضمان التغطية الصارمة يضمن الحفاظ على القواعد النادرة بغض النظر عن تكرار المهام.
- بنية ثنائية الوضع: تصميم SkillZip للضغط بالدفعة (One-Shot) و Zip-on-Write للتطور المستمر، حيث يحافظ الأخير على حالة مدمجة ويتجنب إعادة تحليل التاريخ الكامل.
- التحقق التجريبي: تجارب شاملة توضح مكاسب كبيرة في أداء الضغط، والقدرة على التعميم، وكفاءة التكلفة مقارنة بالنماذج المرجعية.
4. النتائج التجريبية
قام المؤلفون بتقييم SkillZip على ثلاث معايض (BFCL-v4 Web Search، LiveMathematicianBench، SpreadsheetBench) باستخدام ثلاثة نماذج أساسية للوكلاء (Qwen3.7-Max، Qwen3.6-Plus، Kimi K2.6).
- نمو المهارة (RQ1): يتسبب التطور الذاتي في نمو أطوال المهارة بشكل رتيب، لتصل إلى حوالي 5.2 ضعف الحجم الأولي في المتوسط، مما يؤكد ضرورة الضغط.
- الأمانة والأداء (RQ2): حقق SkillZip معدل ضغط متوسط قدره 31.2% (يتراوح بين 27.1% و 36.9%). وعلى الرغم من عدم استخدام أي بيانات تقييم أثناء الضغط، فقد حافظ على أداء المهام أو حسنه قليلاً مقارنة بالمهارات المتطورة غير المضغوطة (متوسط درجة الكلية 0.577 مقابل 0.570). وقد تفوق على النموذج المرجعي SkillReducer في كل من معدل الضغط وأداء المهام.
- الكفاءة (RQ3): أظهر SkillZip تسارعًا بمقدار 3.5 ضعف مقارنة بـ SkillReducer. وبينما يتطلب SkillReducer ما بين 40 إلى 80 عملية تشغيل للمهام لكل عملية ضغط للتحقق، فإن SkillZip يتطلب صفر عمليات تشغيل، معتمدًا بدلاً من ذلك على الاستخراج الهيكلي والتحسين الحتمي.
- التعميم (RQ4): أظهرت المهارات المضغوطة بواسطة SkillZip احتفاظًا أعلى عبر النماذج (0.97 في LiveMath) مقارنة بـ SkillReducer (0.91)، مما يشير إلى أن الحفاظ الهيكلي الصريح يساعد في التنفيذ المستقل عن النموذج.
- الضغط المستمر (RQ5): أدى تفعيل Zip-on-Write منذ بداية التطور إلى حصر نمو المهارة بين 1.6 إلى 1.9 ضعف طول البذرة، مقارنة بـ 2.5 إلى 3.7 ضعف بدون ضغط. وهذا يؤكد أن منع التكرار أكثر كفاءة من إزالته لاحقًا، دون وجود مقايضة في الدقة.
5. الأهمية والادعاءات
يزعم البحث أن SkillZip يعالج اختناقًا حرجًا في الوكلاء ذاتيي التطور: تراكم النصوص الإجرائية المكررة التي تزيد التكلفة دون إضافة قيمة. ومن خلال نقل النموذج من "تصفية المحتوى" إلى "دمج المعرفة"، يوفر SkillZip آلية تمكن الوكلاء من "نسيان التكرار دون نسيان الإجراء".
تكمكمن الأهمية في طبيعته الخالية من التقييم. فمن خلال الاعتماد على البنية الداخلية للمهارة بدلاً من توزيعات المهام الخارجية، يتجنب Skillive تكاليف ومخاطر الإفراط في التخصيص (overfitting) المرتبطة بطرق التقييم الموجه. وهو يضمن الحفاظ على القيود النادرة ولكن الحرجة من خلال قيود التغطية الصارمة، مما يضمن بقاء المهارة المضغوطة كأثر أمين، وقابل للتنفيذ، وقابل للقراءة من قبل البشر. يضع المؤلفون ذلك كمنهج عملي وموثوق للحفاظ على مهارات قابلة للتوسع في أنظمة التعلم المستمر.