1 基本概念
1.1 フレームの定義
フレームとは、ある対象や状況を理解するための構造化された知識単位である。マービン・ミンスキーは、人間が日常世界を認識する際に、過去の経験から抽象化された典型的な状況パターンを記憶しており、新しい状況に直面した際にそのパターンを呼び出して理解すると仮定した。フレームはこのような典型的状況をコンピュータ上で表現するための枠組みとして設計された。各フレームは、特定の概念や対象物に対応し、その概念に付随する情報を整理して保持する。
1.2 スロットとフィラー
フレームは複数の「スロット」と呼ばれる属性記述子を持つ。各スロットは、対象の特定の側面や属性を表現し、そのスロットに対応する値「フィラー」が格納される。例えば「犬」というフレームには「四肢」「毛色」「鳴き声」「飼い主」といったスロットが存在し、それぞれに具体的な値を代入することで個々の犬を表現できる。スロットは単なる値だけでなく、値の型や制約条件も指定できる。
1.3 デフォルト値と例外
フレームの重要な特徴として、各スロットに「デフォルト値」を設定できる点がある。デフォルト値は、そのフレームが表す典型的な事例において通常想定される値であり、明示的に異なる値が与えられない限り使用される。例えば「鳥」フレームの「飛ぶ能力」スロットのデフォルト値は「true」だが、ペンギンのように飛べない例外が生じた場合には、個別のフィラーによって上書きされる。これにより、知識の効率的な表現と常識推論が可能となる。
2 構造と階層
2.1 フレームの階層関係
フレームはクラス階層構造を形成する。上位のフレーム（スーパーフレーム）はより一般的な概念を表し、下位のフレーム（サブフレーム）はより具体的な概念を表す。例えば「動物」→「哺乳類」→「犬」→「柴犬」のように、段階的に詳細化される階層を構成する。この階層構造により、知識の効率的な整理と概念間の関係性の表現が可能となる。
2.2 継承機構
階層構造における重要な機構が「継承」である。サブフレームは、スーパーフレームのスロットとデフォルト値を自動的に継承する。これにより、共通の属性を上位フレームに一度定義するだけで、下位の複数のフレームで再利用できる。例えば「哺乳類」フレームで定義された「体温調節」や「授乳」というスロットは、全ての哺乳類サブフレームに継承される。継承は知識表現の効率性と一貫性を高める。
2.3 フレーム間のリンク
フレームは継承関係以外にも、様々な種類のリンクによって相互に関連付けられる。「部分-全体関係」（例えば「車」フレームと「エンジン」「タイヤ」フレームの関係）、「インスタンス関係」（抽象クラスと具体的個体の関係）、「因果関係」（事象間の関連）など、多様なリンクが存在する。これらのリンクにより、フレーム間のネットワークが形成され、複雑な知識構造を表現できる。
3 歴史と発展
3.1 ミンスキーの原論文（1975年）
マービン・ミンスキーは1975年の論文「A Framework for Representing Knowledge」においてフレーム理論を初めて提唱した。この論文でミンスキーは、人間の視覚認知や言語理解のプロセスを分析し、事前に構造化された知識枠組みが認識において果たす役割を論じた。特に、曖昧な情報や欠落した情報をデフォルト値で補完する「推論」のメカニズムを強調した。この論文は人工知能研究に大きな影響を与え、知識表現の新しいパラダイムを確立した。
3.2 関連理論との比較
3.2.1 スクリプト理論
スクリプト理論は、ロジャー・シャンクらによって提唱された知識表現手法で、定型化された一連の行動や出来事のシーケンスを記述する。フレームが静的な対象や状況の構造を表現するのに対し、スクリプトは時間的に展開する動的なプロセスを表現する点が異なる。例えば「レストランでの食事」というスクリプトは、「入店」「着席」「注文」「食事」「会計」「退店」という一連の行動を記述する。両理論は補完的な関係にあり、後に統合されることも多い。
3.2.2 セマンティックネットワーク
セマンティックネットワークは、概念をノードとし、それらの関係をエッジで表現する知識表現手法である。フレーム理論はセマンティックネットワークにスロットやデフォルト値、継承機構などの構造化された情報表現を加えた拡張と見なすことができる。セマンティックネットワークが比較的単純な関係表現に留まるのに対し、フレームはより複雑で多様な知識の表現を可能にする。
3.3 オブジェクト指向パラダイムへの影響
フレーム理論の概念は、1980年代以降に発展したオブジェクト指向プログラミングに大きな影響を与えた。フレームが持つ「クラス」「継承」「インスタンス」「属性（スロット）」といった概念は、オブジェクト指向言語（Smalltalk、C++、Javaなど）の基本要素と直接対応する。ミンスキーのフレーム理論は、ソフトウェア工学における知識の組織化と再利用の考え方に先駆的な貢献を果たした。
4 応用分野
4.1 人工知能における知識表現
4.1.1 専門家システム
フレーム理論は、医療診断や機械故障診断などの専門家システムにおいて広く活用された。各疾患や故障パターンをフレームとして定義し、症状や条件をスロットに格納することで、診断知識を効率的に表現できる。また、継承機構により、一般的な疾患カテゴリから特殊な症例までを階層的に整理できる。代表的な例として、MYCIN（感染症診断システム）やINTERNIST-I（内科診断システム）が挙げられる。
4.1.2 自然言語理解
自然言語処理において、フレームは文章や会話の意味理解に利用される。動詞や名詞が持つ概念フレームを参照することで、文中の省略された情報や暗示された内容を推論できる。例えば「購入」という動詞には「買い手」「売り手」「商品」「価格」などのスロットが定義され、実際の文章から明示的に現れないスロットの値も文脈から推定できる。
4.2 認知科学におけるモデル化
認知科学では、人間の記憶構造や認識メカニズムを説明するモデルとしてフレーム理論が活用される。人間が新しい状況に直面した際に、どのように既存の知識枠組みを活性化し、それを修正・適応させるかというプロセスの研究に貢献した。特に、スクリプト理論と組み合わせた日常的な出来事の理解メカニズムの研究は、認知心理学において重要な知見を提供した。
4.3 コンピュータビジョンにおける物体認識
コンピュータビジョンの分野では、物体認識やシーン理解にフレームが応用された。物体の典型的な形状、部品構成、色彩パターンなどをフレームとして定義し、入力画像から抽出した特徴と照合することで認識を行う。例えば、顔認識において「顔」フレームには「目」「鼻」「口」の位置関係や形状のスロットが設定され、これらの情報を手がかりに検出を行う。
5 批判と限界
5.1 表現力の制約
フレーム理論は、厳密な論理関係や数学的制約の表現が得意ではない。因果関係や時間的な順序関係、確率的な依存関係など、複雑な知識構造を表現するには不十分な場合がある。また、フレーム間の相互作用や動的な知識の変化を表現するための機構が十分に発展しておらず、単純な静的知識表現に留まりがちである。
5.2 推論の複雑性
フレームを用いた推論、特にデフォルト値の適用や例外処理を伴う推論は、計算複雑性の面で問題がある。継承の多重に伴う矛盾の解決や、デフォルト値の優先順位の決定など、大規模なフレームシステムでは推論の効率が著しく低下する可能性がある。また、どのフレームを活性化すべきかの判定（フレーム選択問題）も、実用的なシステム構築において困難な課題である。
5.3 現実世界の曖昧性への対応
フレーム理論は明確に構造化された知識の表現に優れる一方、現実世界に存在する曖昧性や不完全性、文脈依存性への対応が不十分である。例えば、同一の対象が異なる文脈で全く異なる意味を持つ可能性や、概念そのものが時間とともに変化する動的な性質を扱うことが難しい。また、複数の解釈が可能な状況において、適切なフレームを選択するためのメカニズムが理論的に十分に整備されていない。