Aracı Becerileri: Amazon Bedrock'ta Otomatik Muhakeme Politikaları için

Bu AWS Machine Learning Blog yazısı, Amazon Bedrock Otomatik Muhakeme politikalarının yaşam döngüsünü otomatikleştirmek için bir dizi Aracı Becerisi'ni (Agent Skills) açıklamaktadır. Anthropic'in açık Aracı Becerileri formatı üzerine inşa edilen bu beceriler, Claude Code, Kiro, Cursor ve Codex gibi kodlama aracılarını, politika yazma, inceleme, test etme, hata ayıklama, dağıtım ve doğrulama konularında uzmanlaşmış bilgilerle genişletir. Otomatik Muhakeme kontrolleri iki adımlı bir süreç kullanır: önce temel modeller, soruları ve cevapları biçimsel mantığa çevirir, ardından bir SMT çözücü, bu mantığı politikanın kurallarına göre doğrular ve matematiksel olarak sağlam ve açıklanabilir kararlar sağlar. Altı beceri; oluşturucu (builder), inceleyici (reviewer), test edici (tester), hata ayıklayıcı (debugger), dağıtıcı (deployer) ve doğrulayıcı (validator) olarak adlandırılır ve her biri belirli API etkileşimleri için talimatlar ve betikler içerir. Makale, ebeveyn izni politikası örneği üzerinden ilerleyerek, kaynak belgeden politika oluşturmayı, kalite raporlarını incelemeyi, testler yapmayı ve bir korkuluk (guardrail) arkasında dağıtmayı göstermektedir. Önemli dersler arasında açıklanabilirliğin merkezi olduğu vurgulanmakta; her karar, destekleyen veya çelişen kuralları döndürmektedir. Ayrıca, TATMİN EDİLEBİLİR (SATISFIABLE) bir kararın bir başarısızlık olmadığı, bunun içerme (entailment) değil tutarlılık anlamına geldiği belirtilmektedir. Beceriler ayrıca, eşzamanlı oluşturma iş akışı sayısındaki sınırlamalar gibi kısıtlamaları, slotları otomatik olarak serbest bırakarak yönetir.