Kỹ năng tác tử cho các chính sách lập luận tự động trong Amazon Bedrock

Bài viết trên AWS Machine Learning Blog này mô tả một bộ Kỹ năng Agent (Agent Skills) để tự động hóa vòng đời của các chính sách Xác minh Tự động (Automated Reasoning) trên Amazon Bedrock. Các kỹ năng này, được xây dựng dựa trên định dạng Kỹ năng Agent mã nguồn mở của Anthropic, mở rộng các tác nhân lập trình như Claude Code, Kiro, Cursor và Codex với kiến thức chuyên môn để xử lý việc soạn thảo, rà soát, kiểm thử, gỡ lỗi, triển khai và xác thực chính sách. Xác minh Tự động sử dụng quy trình hai bước: đầu tiên, các mô hình nền tảng chuyển đổi câu hỏi và câu trả lời thành logic hình thức, sau đó một bộ giải SMT xác thực logic đó dựa trên các quy tắc của chính sách, cung cấp các phán quyết có tính toán học chặt chẽ và có thể giải thích được. Sáu kỹ năng bao gồm: builder, reviewer, tester, debugger, deployer và validator, mỗi kỹ năng có hướng dẫn và tập lệnh cho các tương tác API cụ thể. Bài viết hướng dẫn một ví dụ với chính sách nghỉ phép cha mẹ, minh họa cách tạo chính sách từ tài liệu nguồn, rà soát báo cáo chất lượng, chạy kiểm thử và triển khai sau một guardrail. Các bài học chính nhấn mạnh rằng khả năng giải thích là trọng tâm—mọi phán quyết đều trả về các quy tắc hỗ trợ hoặc mâu thuẫn—và kết quả SATISFIABLE không phải là thất bại mà chỉ biểu thị tính nhất quán, không phải là suy diễn. Các kỹ năng cũng xử lý các ràng buộc như giới hạn số lượng quy trình xây dựng đồng thời bằng cách tự động giải phóng tài nguyên.