1 設立と歴史
1.1 創設の背景と人物
MIT人工知能研究所は1959年、マーヴィン・ミンスキーとジョン・マッカーシーによって設立された。両者はダートマス会議（1956年）で人工知能という概念を提唱した中心的メンバーであり、計算機科学と認知科学の融合を目指した。当時、MITには既に情報理論やサイバネティクスの研究基盤があり、新たな研究所はその上に構築された。
1.2 初期の研究環境と理念
創設当初、研究所はMITの建物内の限られたスペースで運営された。ミンスキーとマッカーシーは、人間の知的活動を記号操作としてモデル化する「記号主義」の立場を採用し、プログラミング言語Lispを研究の中核に据えた。研究所の方針は、理論と実践の両面から汎用人工知能の実現を目指すというものであった。
1.3 主要なマイルストーン
1.3.1 1960年代：記号処理の隆盛
1960年代、研究所は記号処理に基づく人工知能研究で世界的名声を得た。マッカーシーによるLisp言語の開発と普及、ミンスキーによるフレーム理論の提唱、またSHRDLUのような初期の自然言語理解システムが登場した。
1.3.2 1970年代：ロボティクスとビジョン
1970年代には研究範囲がロボティクスとコンピュータビジョンへ拡大した。パトリック・ウィンストンによる構造学習理論、そしてロドニー・ブルックスらによる移動ロボット（例えば「ハーバート」や「コグ」）の研究が行われた。また、視覚認識におけるエッジ検出や動き解析の基礎が築かれた。
1.4 CSAILへの統合（2003年）
2003年、MIT人工知能研究所は1963年設立のMITコンピュータ科学研究所（LCS）と統合され、MITコンピュータ科学・人工知能研究所（CSAIL）が発足した。統合により、計算機科学と人工知能の研究リソースが一元化され、より大規模なプロジェクトが可能となった。
2 主要な研究分野
2.1 機械学習
2.1.1 ニューラルネットワークの初期研究
研究所は1960年代からパーセプトロンに関する研究を行い、ミンスキーとパパートの共著『パーセプトロン』（1969年）はその限界を数学的に示した。しかしその後もコネクショニズムの理論的基盤が探求され、後の深層学習につながるアイデアが育まれた。
2.1.2 強化学習の発展
強化学習の理論的枠組みは、現代の用語ほど明確ではなかったが、ロボットの行動学習やゲームプレイに関する研究が行われた。特にロドニー・ブルックスらの「行動に基づくロボティクス」は、環境との相互作用を通じた学習を重視した。
2.2 ロボティクス
2.2.1 移動ロボットと知覚
1970年代以降、移動ロボットのためのセンサー統合と環境モデリングが研究された。例えば「シー・シー」（Seymour）というロボットは、視覚情報を用いて障害物を回避しながら移動した。
2.2.2 マニピュレーションと自律性
マニピュレーション研究では、MITロボットアーム「シルバーアーム」や複数の自由度を持つハンドの開発が行われた。自律性に関しては、与えられたタスクを計画・実行する能力が追求された。
2.3 自然言語処理
2.3.1 初期の構文解析と意味理解
研究所は初期の自然言語処理において、生成文法や意味ネットワークを用いた解析を行った。マッカーシーの「アドバイステイカー」システムは、英語で与えられた問題を論理形式に変換して解答した。
2.3.2 対話システム（例：SHRDLU）
テリー・ウィノグラードの開発したSHRDLU（1972年）は、仮想のブロック世界でユーザと自然言語による対話ができるシステムである。これは文脈理解と計画能力を統合した先駆的な成果だった。
2.4 コンピュータビジョンと画像理解
研究所はコンピュータビジョン分野でも重要研究を牽引した。初期のエッジ検出アルゴリズム、動きのオプティカルフロー、そして三次元形状復元の理論が開発された。これらの成果は後の画像認識技術の基礎となった。
3 著名な成果と貢献
3.1 プログラミング言語とツール
3.1.1 Lispの改良と普及
ジョン・マッカーシーは1958年にLispを設計し、研究所ではMACLISPなど実用的な方言が開発された。Lispは人工知能研究の標準言語として長く使われ、その機能（ガベージコレクション、高階関数など）は後の言語に大きな影響を与えた。
3.1.2 Scheme言語の開発
1970年代に、ガイ・スティールとジェラルド・ジェイ・サスマンによってScheme言語が開発された。SchemeはLispの簡潔な方言であり、教育用途やプログラミング言語研究に広く使われるようになった。
3.2 理論的枠組み
3.2.1 記号主義と物理記号システム仮説
ミンスキーとマッカーシーは、知能は物理記号システム（記号を操作する物理的システム）によって実現可能であるという仮説（物理記号システム仮説）を提唱した。この考えは認知科学と人工知能の基盤となった。
3.2.2 限定合理性とフレーム問題
ミンスキーはフレーム理論（知識表現の枠組み）を提案し、それに伴う「フレーム問題」（変化しない事柄を無限に考慮する必要のないようにする問題）を指摘した。また、限定合理的なエージェントの研究も行われた。
3.3 実用的システム
3.3.1 初期のエキスパートシステム
研究所ではDendral（有機化学の構造解析）やMYCIN（医療診断）など、ルールベースのエキスパートシステムの開発に関与した。これらのシステムは知識工学の実証例となった。
3.3.2 ロボットアームと視覚システム
MITロボットアームは、視覚情報をフィードバックしながら物体を掴むシステムとして開発された。これらは工業ロボットや自律ロボットの先駆けとなった。
4 歴代のリーダーと主要研究者
4.1 マーヴィン・ミンスキー
ミンスキーは研究所の共同創設者であり、認知科学、人工知能、哲学に広く貢献した。フレーム理論、知能の「社会理論」（『心の社会』）、そして様々な発明（共焦点顕微鏡のアイデアなど）で知られる。
4.2 ジョン・マッカーシー
マッカーシーはLispの創始者であり、人工知能の定義と研究分野を確立した立役者の一人。また、タイムシェアリングシステムやモノポールの概念も提唱した。
4.3 パトリック・ウィンストン
ウィンストンは1970年代から研究所を率い、構造学習理論を発展させた。また、日本語を含む自然言語処理研究、そして教育用人工知能システムの開発にも関わった。
4.4 ロドニー・ブルックス
ブルックスは1990年代に研究所の所長を務め、サブサンプション・アーキテクチャを提唱して従来の記号主義に挑戦した。コグプロジェクト（人間型ロボット）やiRobot社の創設でも知られる。
4.5 その他の著名な教員と卒業生
研究所からは多くの著名な研究者が輩出された。例えば、ジェラルド・ジェイ・サスマン（Scheme、構造と解釈）、テリー・ウィノグラード（SHRDLU）、ダニー・ヒリス（コネクション・マシン）、そしてレイ・カーツワイル（光学文字認識、音声合成）などがいる。
5 現在の体制と将来展望
5.1 CSAILへの継承
2003年の統合後、人工知能研究所の研究伝統はCSAIL内で継承されている。CSAILはMIT最大の学際的研究所であり、人工知能、理論計算機科学、システム、ネットワークなど幅広い分野をカバーする。
5.2 現代の研究テーマ
現在のCSAILでは、深層学習、ロボット工学、ヒューマンコンピュータインタラクション、セキュリティ、生体情報学など多様なテーマが研究されている。人工知能研究所時代の記号主義からデータ駆動型手法への移行も見られる。
5.3 教育とアウトリーチ活動
5.3.1 オープンコースウェアと公開講義
CSAILはMITオープンコースウェア（MIT OCW）の一環として、人工知能関連の講義（6.034など）を無償公開している。また、公開セミナーや学生向けワークショップも頻繁に開催されている。
5.3.2 産業界との連携
CSAILは多くの企業（Google、Microsoft、Bosch、Toyotaなど）と共同研究プロジェクトを進めており、研究成果の実用化が推進されている。スタートアップ支援プログラムも活発である。