مهارات الوكيل لسياسات الاستدلال الآلي في أمازون بيدروك

تصف هذه المقالة من مدونة AWS للتعلم الآلي مجموعة من مهارات الوكلاء (Agent Skills) لأتمتة دورة حياة سياسات التحقق المنطقي المؤتمت (Automated Reasoning) في أمازون بيدروك (Amazon Bedrock). هذه المهارات، المبنية على صيغة مهارات الوكلاء مفتوحة المصدر من أنثروبيك (Anthropic)، توسّع قدرات وكلاء البرمجة مثل كلود كود (Claude Code)، وكيرو (Kiro)، وكيرسور (Cursor)، وكودكس (Codex) بمعرفة متخصصة للتعامل مع تأليف السياسات، ومراجعتها، واختبارها، وتصحيح أخطائها، ونشرها، والتحقق من صحتها. تعتمد فحوصات التحقق المنطقي المؤتمت على عملية من خطوتين: أولاً، تترجم النماذج الأساسية الأسئلة والأجوبة إلى منطق صوري، ثم يتحقق مُحلِّل نظرية المُرْضِيات (SMT solver) من تطابق هذا المنطق مع قواعد السياسة، مما يوفّر أحكامًا سليمة رياضيًا وقابلة للتفسير. تشمل المهارات الست: البنّاء (builder)، والمراجع (reviewer)، والمُختبِر (tester)، والمُصحِّح (debugger)، والناشر (deployer)، والمُتحقِّق (validator)، وتتضمن كل منها تعليمات ونصوصًا برمجية لتفاعلات محددة مع واجهة برمجة التطبيقات. تستعرض المقالة مثالًا باستخدام سياسة إجازة والدية، موضحةً كيفية إنشاء سياسة من مستند مصدر، ومراجعة تقارير الجودة، وتشغيل الاختبارات، والنشر خلف حاجز حماية. تؤكد الدروس المستفادة على أن قابلية التفسير هي جوهر الأمر—فكل حكم يعيد القواعد الداعمة أو المعارضة—وأن الحكم بـ«قابل للإرضاء» ليس فشلًا بل يشير إلى الاتساق وليس الاستلزام. كما تتعامل المهارات مع القيود مثل العدد المحدود من سير العمل المتزامنة للبناء عن طريق تحرير الفتحات تلقائيًا.