Euclid-MCP: A Model Context Protocol Server for Deterministic Logical Reasoning via Prolog
Euclid-MCPは、人間が理解可能な中間表現を介して決定論的なSWI-Prologバックエンドを統合することにより、ITセキュリティコンプライアンスのような安全性が極めて重要な領域におけるハルシネーションを効果的に排除し、多段階の論理的推論における大規模言語モデルの信頼性を高めるオープンソースのModel Context Protocolサーバーです。
原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。 免責事項の全文を読む
あなたは、非常に有能で動きの速いロボットにミステリーの解き方を教えようとしていると想像してください。このロボットは、大規模言語モデル（LLM）です。物語を読み、詩を書き、あらゆることについてチャットすることに長けています。それは、世界中のあらゆる本を読み、瞬時に要約できる、極めて優秀な司書のようなものです。しかし、一つ問題があります。この司書は、厳密な数学や論理パズルにはめっぽう弱いのです。バッグの中に赤いボールがいくつ入っているかを数えたり、誰かが法律を破ったかどうかを確認するために複雑な一連のルールに従ったりすることを頼むと、この司書は「正解らしきもの」に基づいて推測してしまうため、答えを間違えることがあります。これは、セキュリティ、法律、安全性が関わる場面では大きな問題です。なぜなら、答えを間違えることは単なるミスではなく、大惨事を意味するからです。
これを解決するために、科学者たちは「ニューロ・シンボリック（神経記号的）」なシステムを構築しようとしてきました。これは、優秀な司書に、厳格で瞬きもしない会計士をペアとして付けるようなものだと考えてください。司書は、人間特有の曖昧な言語部分を扱い、会計士は、厳格でステップ・バイ・ステップの論理を扱います。目標は、ロボットの創造性と数学の完璧な正確さという、両方の良いとこ取りをすることです。この論文「Euclid-MCP」は、これら二者が、特にルールの確認やポリシーの検証において、どのように対話すべきかという新しい標準的な方法について述べています。
この論文は、Euclid-MCPと呼ばれるシステムを紹介しています。それは、翻訳者であり、かつ審判員でもあるような存在です。著者は、人間にとってもロボットにとっても理解しやすい、Euclid-IRという特別なシンプルな言語を作成しました。「ユーザーがインターンである場合、ファイルは削除できない」といったルールを、この言語で記述できます。システムはこれらのルールを取り込み、それらを実際の思考を行うための超厳格な論理エンジン（SWI-Prologというツールに基づいたもの）へと渡します。ロボットは決して答えを推測しません。単に論理エンジンに問いかけ、論理エンジンは、その答えがなぜ正しいのか、あるいはなぜ間違っているのかという完璧なステップ・バイ・ステップの証明を提示するのです。
研究者たちは、このシステムを現実的なシナリオでテストしました。それは、企業の従業員がセキュリティルールに従っているかどうかを確認するというものです。彼らはシステムに、ユーザーのリスト、彼らの役割、そして一連のセキュリティ・ポリシーを与えました。少人数のグループについて単純な質問をしたとき、ロボット単体でも正解を出すことができました。しかし、問題を大きくし、数百人のユーザーと数千の事実を追加すると、ロボットは「幻覚（ハルシネーション）」を起こし始めました。答えを捏造し、数を数え間違え、明らかなルール違反を見逃すようになったのです。それはまるで、司書が頭の中で百万冊の本を数えようとして混乱しているかのようでした。
しかし、ロボットがEuclid-MCPを使用したとき、結果は異なりました。システムは単に推測したのではなく、計算したのです。1,000人のユーザーと複雑なルールが存在する場合でも、システムは毎回、正確に正しい答えを出しました。また、ロボットが単独で解決しようとするよりも、高速で、より少ないコンピューター・パワーで動作しました。この論文は、ルールのチェック、セキュリティ、コンプライアンス（法令遵守）において、ロボットの「直感」や、似たような文書を見つけ出す能力だけに頼ることはできないことを示しています。重労働を担うための専用の論理エンジンが必要なのです。
著者は、標準的な「検索と取得（サーチ・アンド・リトリーブ）」の手法（ロボットが似たようなテキストを探す方法）を使って厳格なルールを強制しようとすることは、釘を打つのに電動ドリルを使おうとするようなものだと主張しています。それは強力な道具ですが、その仕事には適していません。代わりに、Euclid-MCPは、ルールのための安定した共有の「脳」として機能します。ファイルを開いても安全かどうかを確認するロボットのエージェントであれ、企業が法律に従っているかをチェックする人間の監査員であれ、彼らは皆、同じEuclid-MCPシステムに答えを求めることができます。そしてシステムは、単に答えを出すだけでなく、どのルールがその結論に至ったのかを示す、明確で読みやすい「証明ツリー」を提供します。
要約すると、この論文は、ロボットはチャットや情報の探索には優れているものの、完璧な正確さを必要とするあらゆる事柄を扱うには、厳格な論理のパートナーが必要であることを示唆しています。Euclid-MCPはそのパートナーであり、ロボットの言語能力と数学的論理の揺るぎない信頼性を組み合わせる方法を提供し、安全性やルールに関する答えが常に100%正しいものであることを保証するのです。
自分の分野の論文に埋もれていませんか？
研究キーワードに一致する最新の論文のダイジェストを毎日受け取りましょう——技術要約付き、あなたの言語で。