Amazon Bedrockの自動推論ポリシー向けエージェントスキル

このAWS Machine Learning Blogの記事では、Amazon Bedrock Automated Reasoningポリシーのライフサイクルを自動化するためのAgent Skillsスイートについて説明しています。これらのスキルは、AnthropicのオープンなAgent Skills形式に基づいて構築されており、Claude Code、Kiro、Cursor、Codexなどのコーディングエージェントを拡張し、ポリシーの作成、レビュー、テスト、デバッグ、デプロイ、検証に関する専門知識を提供します。Automated Reasoningチェックは2段階のプロセスを採用しています。まず基盤モデルが質問と回答を形式論理に変換し、次にSMTソルバーがポリシーのルールに対してその論理を検証し、数学的に厳密で説明可能な判定を提供します。6つのスキルにはビルダー、レビューアー、テスター、デバッガー、デプロイヤー、バリデータがあり、それぞれ特定のAPI操作のための手順とスクリプトが含まれています。この記事では、育児休業ポリシーを用いた例を通じて、ソース文書からポリシーを作成し、品質レポートをレビューし、テストを実行し、ガードレールの背後にデプロイする方法を説明しています。重要な教訓としては、説明可能性が中心であること、すべての判定がサポートまたは矛盾するルールを返すこと、そしてSATISFIABLEという判定は失敗ではなく、含意ではなく一貫性を示すということです。これらのスキルは、同時ビルドワークフローの数に制限があるという制約も処理し、スロットを自動的に解放します。