フレーム問題

Frame Problem

AI分野の問題頻出度：高重要度：高

概要

フレーム問題（Frame Problem）とは、人工知能がある行動を実行する際に、その行動によって変化する事柄だけでなく、変化しない事柄（フレーム＝枠組み）をすべて明示的に記述しなければならないという根本的な困難を指す問題です。1969年にジョン・マッカーシー（John McCarthy）とパトリック・ヘイズ（Patrick Hayes）によって提起されました。

人間は日常生活において、ある行動が何に影響し、何に影響しないかを常識的に判断できます。例えば、テーブルの上のコップを持ち上げたとき、コップの位置は変わるが、テーブルの色や部屋の温度は変わらないことを自然に理解しています。しかし、AIにとってはこのような「変化しないもの」を全て記述することが極めて困難であり、これがフレーム問題の本質です。

詳細解説

フレーム問題の本質

フレーム問題は、AI研究における論理的推論の限界を示す重要な概念です。形式論理学に基づくAIシステムでは、世界の状態を命題（事実）の集合として表現し、行動の効果を推論規則として記述します。このとき、行動によって変化する事実は比較的簡単に記述できますが、変化しない事実（フレーム公理）は膨大な数に上ります。

例えば「ロボットがボールを拾う」という行動一つをとっても、以下のような記述が必要になります。

変化する事実：ボールの位置（地面からロボットの手へ）、ロボットの手の状態（空から保持へ）
変化しない事実：部屋の壁の色、他の物体の位置、気温、時刻の進行、重力の存在、ロボットの体重、他のロボットの状態…（事実上無限）

ダニエル・デネットのロボットの例

哲学者ダニエル・デネット（Daniel Dennett）は、フレーム問題をわかりやすく説明するために、ロボットの爆弾処理という思考実験を提示しました。

ロボット1号（R1）：洞窟の中にあるバッテリーを取り出す任務を与えられたが、バッテリーの上に爆弾が載っていた。R1はバッテリーを載せたワゴンごと引き出したが、爆弾も一緒に出てきてしまい爆発した。R1は「ワゴンを引き出す」という行動の副作用（爆弾も一緒に動く）を考慮できなかったのです。

ロボット2号（R1D1）：行動の副作用をすべて考慮するように改良された。しかし、ワゴンを引き出す前に「この行動で壁の色は変わるか」「天井は落ちてこないか」など、関係のない副作用まですべてチェックし始め、考え込んでいるうちに爆弾が爆発してしまいました。

ロボット3号（R2D1）：関係のない事柄を無視するように改良された。しかし、「何が関係あり、何が関係ないか」を判断すること自体が膨大な計算を必要とし、やはり行動できないまま爆発してしまいました。

この思考実験は、フレーム問題が単に情報量の問題ではなく、「関連性の判断」という本質的な困難を含んでいることを示しています。

フレーム問題への対処法

フレーム問題に対しては、さまざまなアプローチが研究されてきました。

閉世界仮説（Closed World Assumption）：明示的に記述されていない事柄は偽であると仮定する方法
非単調推論：新しい情報が加わると以前の推論結果が覆される可能性を認める推論方法
状況計算（Situation Calculus）：マッカーシーが提案した、状態変化を形式的に記述する枠組み
ディープラーニング：明示的なルール記述に頼らず、データからパターンを学習するアプローチ

歴史・背景

フレーム問題は、1969年にジョン・マッカーシーとパトリック・ヘイズが論文「Some Philosophical Problems from the Standpoint of Artificial Intelligence」の中で初めて指摘しました。この問題は当初、形式論理に基づく知識表現の技術的な課題として提起されましたが、やがて人工知能の哲学的な限界を示す問題として広く認識されるようになりました。

1987年には哲学者ダニエル・デネットがロボットの思考実験を通じてフレーム問題を一般向けにわかりやすく紹介し、AI研究者だけでなく哲学者や認知科学者の間でも大きな議論を呼びました。フレーム問題は、AIが人間の常識的な推論をどのように実現するかという根本的な問いを投げかけています。

現代のディープラーニングを中心としたAI技術は、明示的なルール記述に頼らないため、フレーム問題を直接的に回避していると言えます。しかし、ディープラーニングにも説明可能性や汎化の問題があり、フレーム問題が完全に解決されたわけではありません。

具体的な事例

自動運転車のケース

自動運転車は、走行中に周囲の環境を認識し、適切な運転操作を行う必要があります。信号が変わる、歩行者が横断する、前方の車がブレーキをかけるなど、変化する事象に対応しなければなりません。同時に、道路の舗装が突然消えない、建物が瞬間的に移動しないなど、変化しない事象については暗黙的に前提としています。この「何が変化し、何が変化しないか」の判断は、まさにフレーム問題の現代的な事例です。

家庭用ロボットのケース

家庭用ロボットが食器を片付ける場合、皿を持ち上げても食卓の色は変わらない、壁にかかった時計は落ちない、冷蔵庫の中身は変わらないなど、関係のない事柄を無限に列挙する必要が出てきます。人間にとって当たり前の常識が、AIにとっては明示的に記述すべき知識となるのです。

G検定での出題ポイント

試験対策のポイント

フレーム問題は1969年にマッカーシーとヘイズが提起したことを覚える
「行動の影響を受けない事柄を全て記述することの困難さ」という定義を正確に理解する
ダニエル・デネットのロボットの思考実験（爆弾処理の例）の内容を把握する
フレーム問題がAI研究の根本的な課題であることを理解する
トイ・プロブレム、シンボルグラウンディング問題との関連性を整理する
閉世界仮説などの対処法についても基本を押さえる

G検定では、フレーム問題は非常に高い頻度で出題されます。特に、問題の定義（行動の副作用の記述困難）とデネットのロボットの思考実験が問われることが多いため、具体的なエピソードとともに理解しておくことが重要です。