初期AI研究史（1956ダートマス会議）

初期AI研究史（1956ダートマス会議） — 概要

1956年ダートマス会議を起点とする初期AI研究の歴史。前史、創始者たち、初期プログラム、研究拠点、理論論争、AIの冬までを扱う入門ガイド

ダートマス会議（1956） — AIという語の誕生と夏季研究会

ダートマス大学での夏季研究会、人工知能という名称の採用、参加者、ロックフェラー財団助成、分野創設の意義

ダートマス会議提案書 — 1955年の研究計画文書

マッカーシーら4名連名の提案書、自動計算機、言語使用、神経網、自己改善など7つの研究課題の列挙

ジョン・マッカーシー — AI命名者・LISP開発者

人工知能の命名、LISP開発、タイムシェアリング構想、常識推論研究、スタンフォードAI研究所の設立

マービン・ミンスキー — MIT AI研究の指導者

MIT人工知能研究所の共同創設、フレーム理論、『パーセプトロン』、心の社会構想への発展

クロード・シャノン — 情報理論とチェス機械

情報理論の創始、1950年のチェスプログラム論文、迷路学習機械、ダートマス会議提案者としての役割

ナサニエル・ロチェスター — IBMからの参加者

IBM 701の設計、神経網シミュレーションの試み、ダートマス会議提案書の共同署名者としての貢献

ニューウェルとサイモン — 記号処理AIの開拓者

ランド研究所とカーネギー工科大学での協働、ロジック・セオリスト、GPS、認知科学への影響

ロジック・セオリスト — 最初期の定理証明プログラム

1956年発表、『プリンキピア・マテマティカ』の定理証明、ヒューリスティック探索、ショーを含む開発体制

GPS（一般問題解決器） — 汎用問題解決の試み

手段目標分析、差の検出と縮減、ハノイの塔などの課題適用、汎用性と限界、認知モデルとしての側面

アラン・チューリング — 計算可能性と機械知能

チューリング機械、計算可能性理論、暗号解読、ACE設計、機械知能に関する先駆的考察

「計算する機械と知性」 — 1950年チューリング論文

Mind誌掲載論文、模倣ゲームの提案、9つの反論への応答、学習機械の構想、AI前史の金字塔

チューリングテスト — 模倣ゲームと知能判定

質問者・機械・人間の三者構成、判定基準をめぐる解釈、後年の批判と擁護、ローブナー賞への系譜

サイバネティックス — ウィーナーの制御と通信の科学

ノーバート・ウィーナー、フィードバック制御、通信理論、メイシー会議、AI誕生前夜の学際運動

マカロック＝ピッツモデル — 形式ニューロン（1943）

神経活動の論理計算モデル、閾値素子、命題論理との対応、ニューラルネットワーク研究の理論的出発点

ヘッブ則 — 学習の神経基盤仮説（1949）

ドナルド・ヘッブ『行動の機構』、シナプス結合強化仮説、細胞集成体、後の学習則への影響

パーセプトロン — ローゼンブラットの学習機械

フランク・ローゼンブラット、Mark I パーセプトロン、教師あり学習則、パターン分類、海軍研究局の支援

『パーセプトロン』批判 — ミンスキー＆パパート（1969）

単層パーセプトロンの限界の数学的証明、XOR問題、線形分離可能性、ニューラルネット研究停滞への影響

ADALINE — ウィドローらの適応線形素子

ウィドローとホフ、最小二乗学習則（LMS）、適応フィルタ応用、パーセプトロンと並ぶ初期学習機械

アーサー・サミュエル — チェッカーと学習研究

IBMでのチェッカープログラム開発、自己対戦学習、テレビ公開実演、機械学習研究の先駆者

初期チェスプログラム — シャノン論文からの実装

シャノンのA戦略・B戦略、ロスアラモスのチェス実験、バーンスタインのIBMプログラム、NSSチェス

LISP — 記号処理言語の誕生（1958）

マッカーシーによる設計、S式、再帰、ガーベジコレクション、AI研究標準言語としての普及

IPL言語 — リスト処理言語の先駆

ニューウェル・ショー・サイモンによる開発、リスト構造、ロジック・セオリストやGPSの実装基盤

ヒューリスティック探索 — 初期AIの中核手法

発見的手法による探索削減、生成検査法、山登り法、評価関数、初期プログラム群に共通する設計思想

手段目標分析 — GPSの問題解決戦略

現状と目標の差の同定、差を縮める演算子選択、部分目標の再帰的設定、後のプランニング研究への影響

記号主義AI — 記号操作パラダイムの確立

記号表現と規則操作による知能の実現、論理・探索・知識表現の三本柱、コネクショニズムとの対比

物理記号システム仮説 — ニューウェル＝サイモン

1976年チューリング賞講演での定式化、記号システムが知能の必要十分条件という主張、賛否の論争

組合せ爆発 — 初期AIが直面した計算の壁

探索空間の指数的増大、トイプロブレムから実問題への拡張困難、計算量の壁とAIの冬の一因

ELIZA — ワイゼンバウムの対話プログラム（1966）

パターンマッチによる応答生成、DOCTORスクリプト、来談者中心療法の模倣、自然言語対話研究の起点

ELIZA効果 — 機械への擬人化と投影

単純な応答への知性の錯覚、利用者の感情移入、ワイゼンバウム自身の懸念、人間機械関係論の原点

SHRDLU — ウィノグラードの積木世界言語理解

テリー・ウィノグラード、積木世界での英語対話、構文・意味・世界知識の統合、手続き的意味論

積木世界 — 限定環境での知能研究

机上の積木の認識・操作・言語記述、視覚とプランニングの統合課題、限定世界の成果と拡張の壁

マイクロワールド戦略 — 限定領域アプローチ

MITで採られた小世界限定の研究方針、成功事例の蓄積、現実世界への一般化困難という批判

意味ネットワーク — クィリアンの知識表現

概念ノードと関係リンク、意味記憶モデル、活性化拡散、IS-A階層、後のオントロジー研究への系譜

フレーム理論 — ミンスキーの知識表現提案

1974年のフレーム論文、定型状況の知識構造、スロットとデフォルト値、スキーマ理論との関係

STUDENT — 代数文章題を解くプログラム

ダニエル・ボブロウ、英語の文章題から方程式への変換、限定的な自然言語理解の初期実証（1964）

SAINT — 記号積分プログラム

ジェームズ・スラグルによる記号積分、大学初年級の積分問題、後のMACSYMAなど数式処理への道

幾何定理証明プログラム — ゲレルンター（1959）

ハーバート・ゲレルンター、平面幾何の定理証明、図形を使った探索枝刈り、IBMでの開発

DENDRAL — 化学分析エキスパートシステム

質量分析データからの分子構造推定、ファイゲンバウムとレーダーバーグ、領域知識重視への転換点

MYCIN — 医療診断エキスパートシステム

細菌感染症の診断と抗生物質推奨、確信度因子、ルールベース推論、スタンフォードでの開発

エキスパートシステムの黎明 — 知識工学の始まり

汎用探索から領域知識への重心移動、ルールベース、知識獲得ボトルネック、1980年代商用化への助走

エドワード・ファイゲンバウム — 知識工学の提唱者

DENDRAL開発、知識工学の概念化、「知識こそ力」の標語、スタンフォード知識システム研究所

MIT AI研究所 — ミンスキーとパパートの拠点

MITでのAI研究組織化、ハッカー文化、ロボット・視覚・言語研究、LISPマシン開発への流れ

スタンフォードAI研究所（SAIL） — 西海岸の拠点

マッカーシーによる1963年設立、ロボティクス、視覚、音声、初期のコンピュータ音楽やグラフィックス

カーネギーメロン学派 — 認知シミュレーション

ニューウェル＝サイモンの研究室、思考の情報処理モデル、プロダクションシステム、認知アーキテクチャ

エジンバラ大学AI研究 — 英国AIの中心地

ドナルド・ミッキーらによる研究拠点化、機械知能ワークショップ、FREDDYロボット、ライトヒル報告の影響

ARPA/DARPAの研究支援 — 初期AI資金の源泉

情報処理技術部（IPTO）、リックライダーの支援方針、MIT・スタンフォード・CMUへの大型助成

ライトヒル報告（1973） — 英国AI予算削減の契機

ジェームズ・ライトヒルによるAI研究評価、組合せ爆発批判、英国のAI研究費削減、BBC討論

ALPAC報告（1966） — 機械翻訳研究への打撃

米国の機械翻訳評価委員会報告、実用性への否定的評価、研究資金の大幅削減、計算言語学への再編

第一次AIの冬 — 過剰期待と資金停滞

1970年代の研究資金縮小、約束と成果の乖離、ライトヒル報告・ALPAC報告の複合的影響、教訓

初期機械翻訳 — ジョージタウン実験（1954）

露英翻訳の公開実演、冷戦下の翻訳需要、辞書と規則による方式、楽観的予測とその挫折

パターン認識の起源 — 文字認識と統計的手法

光学文字認識（OCR）の初期研究、特徴抽出、統計的決定理論、ベイズ識別、テンプレート照合

パンデモニアム — セルフリッジの特徴検出モデル

デーモンの階層による並列特徴検出、1959年発表、パターン認識と後の並列分散処理への示唆

オリバー・セルフリッジ — 機械知覚研究の先駆者

MITリンカーン研究所での研究、パンデモニアム、ダートマス会議参加、機械学習という発想の普及

自動定理証明 — 論理推論の機械化

ロビンソンの導出原理（1965）以前と以後、一階述語論理、完全性、証明探索の効率化研究

導出原理（リゾリューション） — ロビンソン（1965）

単一推論規則による反駁証明、単一化アルゴリズム、節形式、自動推論研究の標準手法化

論理プログラミングの萌芽 — Prologへの道

導出原理からの発展、コルメラウアーらのProlog（1972）、ホーン節、宣言的プログラミングの成立

STRIPS — プランニング研究の起点（1971）

ファイクスとニルソン、前提条件・追加・削除リストによる行為表現、Shakeyの行動計画への適用

Shakey — SRIの初期自律移動ロボット

視覚・推論・行動計画を統合した移動ロボット、STRIPSとA*探索の実装、統合AIシステムの先駆

SRIの人工知能研究 — ロボットと推論の拠点

スタンフォード研究所のAIセンター、Shakey計画、A*アルゴリズムの考案、ニルソンらの活動

初期ロボットアーム研究 — 手と眼の協調

スタンフォードアーム、積木の把持と積み上げ、視覚フィードバック、産業ロボットへの技術移転

コンピュータビジョンの黎明 — 線画解釈と輪郭抽出

エッジ検出、線画のラベル付け、多面体世界の解釈、視覚は容易という初期の見込み違い

ロバーツの線画解析 — 三次元復元の先駆（1963）

ローレンス・ロバーツの博士論文、写真からの多面体認識、射影変換、機械視覚研究の出発点

初期音声認識 — DARPA音声理解研究計画

1970年代のSUR計画、CMUのHarpyとHearsay-II、黒板モデル、連続音声認識への挑戦

チェッカー学習の評価関数 — 自己対戦と重み調整

サミュエルの線形評価関数、特徴の重み学習、暗記学習と汎化学習、強化学習の先駆的着想

ゲームAIの系譜 — 三目並べからチェスへ

単純ゲームでの探索実験、ゲーム木、チェッカー・チェスへの拡張、知能のベンチマークとしてのゲーム

ミニマックス法とαβ枝刈り — 探索技術の確立

ゲーム木のミニマックス評価、αβ法による枝刈り、探索深さと棋力、水平線効果の発見

知識表現論争 — 手続き的か宣言的か

知識を手続きに埋め込むか宣言文で書くかの論争、PLANNER、論理派とMIT派の対立と収束

アドバイステイカー構想 — 常識推論の課題設定

マッカーシーの1958年論文、宣言的知識と論理推論による常識行動、常識推論研究の原点

フレーム問題 — 行為の副作用記述の難しさ

行為後に変化しない事柄の記述爆発、マッカーシー＝ヘイズによる提起、哲学への波及、諸解決案

状況計算 — 行為と変化の論理的形式化

マッカーシーとヘイズによる状況・行為・結果の一階論理表現、認識論的十全性、推論の枠組み

非単調推論への萌芽 — 常識の例外処理

デフォルト推論の必要性の認識、閉世界仮説、後のサーカムスクリプションやデフォルト論理への伏線

認知科学との交差 — 心理学とAIの相互作用

情報処理心理学、認知革命、シミュレーションによる心のモデル化、認知科学の学際的成立

EPAM — 記憶と学習の認知モデル

ファイゲンバウムとサイモン、弁別ネットによる言語学習の模擬、チャンク概念、認知モデリングの先駆

『人間の問題解決』 — プロトコル分析（1972）

ニューウェル＝サイモンの大著、発話プロトコル分析、問題空間理論、プロダクションシステムによる模擬

ドレイファスのAI批判 — 現象学からの反論

『コンピュータには何ができないか』、身体性と暗黙知の欠如という批判、AI研究者との論争

ワイゼンバウムの警鐘 — 計算機依存への倫理的懸念

『コンピュータ・パワー』（1976）、判断と計算の区別、AIに委ねるべきでない領域の主張

初期AIの過剰予測 — 楽観論とメディア報道

10年以内にチェス王者を破る等の予測、サイモンやミンスキーの発言、期待と現実の乖離の教訓

ニューラルネット研究の停滞 — コネクショニズムの冬

『パーセプトロン』後の資金・人材流出、少数の継続研究、1980年代の再興までの潜伏期

初期の自己組織化研究 — 教師なし学習の試み

クラスタリングの初期手法、適応と自己組織化の概念、特徴発見、後の自己組織化マップへの前史

セルオートマトン — 自己増殖機械の理論

フォン・ノイマンの自己増殖オートマトン、普遍構成子、人工生命研究の理論的源流

フォン・ノイマン — 計算機構造と脳の比較

プログラム内蔵方式、ゲーム理論、脳と計算機のアナロジー考察、初期AIへの間接的影響

『計算機と脳』 — フォン・ノイマン遺稿（1958）

神経系の計算論的考察、ディジタルとアナログの混在、脳の言語という問題提起、没後出版の経緯

ダートマス会議参加者群像 — 提案者以外の顔ぶれ

ソロモノフ、セルフリッジ、サミュエル、モアら参加者たち、滞在期間や議論の実態、後年の回想

レイ・ソロモノフ — アルゴリズム的確率と帰納推論

普遍帰納推論の理論、アルゴリズム的情報理論の先駆、ダートマス会議での機械学習構想

「機械学習」という語 — サミュエル1959年論文

チェッカー研究論文での用語使用、明示的プログラムなしの学習という定義、語の定着過程

タイムシェアリングとAI — 対話的計算環境の実現

マッカーシーのタイムシェアリング提唱、CTSS、対話的プログラミングがAI研究にもたらした加速

Project MAC — MITの計算環境とAI研究（1963）

ARPA資金による大型計画、タイムシェアリング開発とAIグループの同居、Multicsへの展開

初期AI教科書と教育 — 分野知識の体系化

ニルソンの問題解決手法の教科書、探索・論理中心のカリキュラム、大学院教育とAI人材の形成

IJCAI創設（1969） — 国際AI会議の始まり

第1回国際人工知能会議、隔年開催の定着、研究共同体の国際化、初期の代表的発表

学術誌『Artificial Intelligence』創刊（1970） — 分野の制度化

専門学術誌の成立、査読文化、機械知能ワークショップ論文集、学会組織化以前の研究流通

ソ連・東側のAI研究 — サイバネティックス受容

サイバネティックスの初期批判から受容への転換、チェスプログラム研究、東西の研究交流と断絶

日本の初期AI研究 — 機械翻訳とパターン認識

電子技術総合研究所などでの研究、機械翻訳・文字認識の取り組み、第五世代計画以前の蓄積

SFと初期AI観 — ロボット三原則と大衆イメージ

アシモフのロボット三原則、映画や小説の思考機械像、大衆の期待・不安と研究への影響

自動機械の前史 — 機械人形と計算機械の系譜

オートマタ（機械人形）、パスカルやライプニッツの計算機、機械が考えるという発想の文化史

思考の記号化の思想史 — ライプニッツからブールへ

普遍記号法の構想、ブール代数、フレーゲの述語論理、推論の機械化を支えた論理学の発展

バベッジとラブレス — 解析機関と創造性論争

解析機関の構想、エイダ・ラブレスの注釈、「機械は独創しない」という指摘とチューリングの応答

第五世代コンピュータ前史 — 知識情報処理への展開

初期AIの探索・論理研究から1980年代の知識情報処理・論理型計算機構想へつながる連続性

AI史研究と一次資料 — 口述記録とアーカイブ

創始者たちの口述歴史、研究所文書、会議録、回顧録、AI史記述の方法論と史料批判

初期AI研究史（1956ダートマス会議） — 退避・古典資料archive

旧版の資料、置き換えられた記述、歴史的経緯の記録としてのみ保持する退避領域