生成 AI アプリケーションの大きな課題のひとつがハルシネーションです。
せっかく時間をかけて公開したユーザー向けチャットボットが、肝心な場面で正しくない回答を返してしまうようだと、効率化どころか問い合わせ対応が増えてしまいそうです。

今回、生成 AI アプリケーションのハルシネーションに対する強力な砦となる Bedrock Automated Reasoning を実際に触れる機会がありました。
この記事では、体験を通じて理解したポイントを紹介します。

1. 元ネタ

AWS re:Invent 2025 で参加したワークショップです。

Build trustworthy AI applications with Amazon Bedrock Guardrails (AIM303)

セッション説明 (原文)

Discover how Automated Reasoning checks in Amazon Bedrock Guardrails enhance the trustworthiness of AI applications. In this workshop, we will showcase the synergy between automated reasoning and generative AI to create highly reliable systems, delivering up to 99% verification accuracy. Through hands-on exercises, learn to use the Automated Reasoning checks console and APIs to create and refine policies, then use them to validate your AI application outputs. Dive into a customer support assistant use case that combines various Amazon Bedrock features, including Knowledge Bases, Flows, and Guardrails, to deliver robust and trustworthy solutions.

セッション説明 (日本語訳)

Amazon Bedrock Guardrailsの自動推論チェックがAIアプリケーションの信頼性をいかに高めるかをご紹介します。本ワークショップでは、自動推論と生成AIの相乗効果により、最大99%の検証精度を実現する高信頼性システムを構築する手法を実演します。ハンズオン演習を通じて、自動推論チェックコンソールとAPIを使用したポリシーの作成・調整方法を学び、AIアプリケーションの出力を検証する手法を習得してください。カスタマーサポートアシスタントのユースケースに深く入り込み、ナレッジベース、フロー、ガードレイルなど様々なAmazon Bedrock機能を組み合わせ、堅牢で信頼性の高いソリューションを実現する方法を学びます。

2. 生成 AI アプリケーションの課題

例えば、空港ラウンジの利用規約を参照するアプリを考えてみます。

「有料メンバーシップなら契約ラウンジを利用できる？」
こうした運用ルールは例外も多く、少しでも解釈を誤ると回答が揺れやすい領域です。

有害コンテンツの拒否
個人情報の保護
不適切発言の抑制

といった一般的なガードレールを適用しても、論理の読み違いによるハルシネーションは完全に防ぐことができません。

Automated Reasoning は、このような事実やルールの誤読に対して威力を発揮します。

3. Automated Reasoning (論理検証) のパワー

Amazon Bedrock Guardrails について

Bedrock Guardrails には、コンテンツフィルターや禁止トピック、PII の検出など、生成 AI を安全に運用するための多様な仕組みが用意されています。

その中でも特に異彩を放つのが Automated Reasoning です。

Automated Reasoning について

日本語では論理検証と呼ばれます。
「A ならば B」という事実・ルールに対して、LLM が出力した回答がこの論理に従っているかどうかを、外部の検証コンポーネントがチェックします。

例えばこのようになります。

ルール：「有料メンバーシップである」ならば「契約ラウンジは使えない」
LLM の出力：「有料メンバーシップである」ならば「契約ラウンジが使える可能性もある」
→ 出力がルールに沿っていないので、回答はユーザーに返されない (代わりにエラー応答や再生成に回される)

LLM の回答生成をそのまま信用するのではなく、別の基準で出力を審査できるところが Automated Reasoning の強みです。

Web アプリケーションでは WAF が悪意あるリクエストを入口でブロックしますが、生成 AI アプリでは Automated Reasoning が誤った出力を止める最後のゲートの役割を果たします。

デモ

Automated Reasoning の設定とテストを行い、ポリシーや変数を調整します。

Guardrail を作成し、先ほど作った Automated Reasoning を指定します。

Guardrail のテストを行うと、Automated Reasoning で評価された上で、最終出力が生成されたことが分かります。

Automated Reasoning が適用されたアプリケーションができました。
「有料メンバーシップなら契約ラウンジを使えると考えられます」とは絶対に回答しないアプリの完成です。

利用規約、社内ルール、料金体系など、論理が明確な領域では、Automated Reasoning は非常に高い効果を発揮すると感じました。

資料

Improve accuracy by adding Automated Reasoning checks in Amazon Bedrock Guardrails (ユーザーガイド)
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1 (AWS Blogs)
amazon-bedrock-samples (GitHub)
Automated Reasoning checks in Amazon Bedrock Guardrails (ワークショップ)

まとめ

体験した時には正直なところ、
「便利だけど設定する機能が次々と増えてきて大変すぎる、、！」
と感じていました。

しかし振り返って、誤った回答を返さないための多層ガードレールとして、今後確実にニーズが高まる領域であると思いました。
特に中規模以上のサービスや厳密な規約に基づく顧客対応においては、Automated Reasoning の導入価値はさらに高まっていくのではないでしょうか。

今日も小さな学びを。

AWS re:Invent 2025 のまとめ記事はこちら