退避：未分類・古典的AI研究

退避：未分類・古典的AI研究 — 概要

ダートマス会議から第二次AIブームまでの古典的AI研究と未分類トピックを収める領域の入門ガイド

ダートマス会議 — 人工知能という語の誕生

1956年夏季研究会、マッカーシーの提案書、記号処理研究の出発点、草創期の研究者交流

チューリングテスト — 機械知能判定の思考実験

模倣ゲーム、1950年論文「計算する機械と知性」、判定者と応答者、反論と再反論の系譜

物理記号システム仮説 — 記号操作としての知能論

ニューウェルとサイモンのチューリング賞講演、記号構造、ヒューリスティック探索、知能の必要十分条件

Logic Theorist — 最初期の自動定理証明プログラム

『プリンキピア・マテマティカ』の定理証明、ニューウェル・サイモン・ショー、リスト処理の先駆

GPS（一般問題解決器） — 手段目標分析による汎用探索

差分検出、操作子選択、部分目標の再帰的解決、人間のプロトコル分析との比較研究

ELIZA — パターン照合による対話プログラム

ワイゼンバウムの1966年作、DOCTORスクリプト、来談者中心療法の模倣、ELIZA効果の発見

SHRDLU — 積み木の世界の自然言語理解

ウィノグラードの博士研究、手続的意味論、参照解決、限定世界での計画と対話の統合

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

線形識別器、重み更新則、Mark I実装、パターン認識への期待と単層の表現限界

『パーセプトロン』批判 — ミンスキーとパパートの限界証明

1969年の著書、XOR問題、線形分離可能性、結合性述語の解析、ニューラル研究停滞への影響

サイバネティックス — フィードバックと制御の科学

ウィーナーの通信と制御の理論、ホメオスタシス、自動制御、初期AIと神経科学への影響

マカロック＝ピッツモデル — 形式ニューロンと論理計算

1943年論文、閾値素子、論理関数の神経回路表現、有限オートマトンとの対応関係

ヘッブ則 — シナプス可塑性と学習の神経基盤

『行動の機構』1949年、同時発火による結合強化、細胞集成体、後の教師なし学習則への継承

古典探索法 — 盲目的探索と局所探索

幅優先探索、深さ優先探索、反復深化、山登り法、局所最適、組合せ爆発への対処

A*アルゴリズム — ヒューリスティック探索と許容性

評価関数f=g+h、許容的ヒューリスティック、最適性証明、経路計画やパズル解法への応用

ゲーム木探索 — ミニマックス法とαβ枝刈り

評価関数、探索深さ、水平線効果、静止探索、二人零和完全情報ゲームの計算理論

サミュエルのチェッカー — 自己対戦学習の先駆

1950年代IBMでの研究、評価関数の重み調整、暗記学習と汎化学習、機械学習という語の普及

Deep Blue — チェス世界王者に勝った専用機

1997年カスパロフ戦、専用評価チップ、大規模並列探索、定跡データベース、力任せ探索の到達点

TD-Gammon — 時間差分学習によるバックギャモン

テソーロの研究、TD(λ)、ニューラル評価関数、自己対戦、強化学習実用化の初期成功例

自動定理証明 — 導出原理と単一化

ロビンソンのリゾリューション、節形式、単一化アルゴリズム、反駁による証明、完全性定理

LISP — 記号処理言語とAI研究の道具

マッカーシーの設計、S式、再帰、ガベージコレクション、eval、AI研究標準言語としての半世紀

Prolog — 論理プログラミングと宣言的記述

ホーン節、SLD導出、バックトラック、カットと否定、コルメラウアーとコワルスキーの貢献

LISPマシン — AI専用ワークステーションの興亡

MIT発の専用ハードウェア、SymbolicsとLMI、統合開発環境、汎用機の性能向上による衰退

第五世代コンピュータ計画 — 並列推論の国家プロジェクト

1982年開始の日本の計画、ICOT、並列推論マシン、論理プログラミング基盤、国際的な波及と評価

エキスパートシステム — 知識ベースと推論エンジン

ルールベース、前向き推論と後ろ向き推論、説明機能、第二次AIブームの中核技術と商用展開

DENDRAL — 質量分析の仮説生成システム

スタンフォードの化学構造推定、生成と検査、ファイゲンバウムとレダーバーグ、領域知識重視の転換点

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

細菌感染症の診断と抗生剤推奨、確信度因子、後ろ向き連鎖、ショートリフの博士研究、評価実験

知識工学 — 知識獲得ボトルネックとの闘い

知識エンジニア、専門家インタビュー、プロトコル分析、知識獲得支援ツール、保守コスト問題

プロダクションシステム — IF-THENルールの実行機構

作業記憶、ルール照合、競合解消戦略、Reteアルゴリズム、OPS5、認知モデルへの応用

ブラックボード・アーキテクチャ — 協調問題解決の枠組み

共有作業領域、知識源の独立性、機会主義的制御、音声理解システムHearsay-IIでの実証

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

スロットとフィラー、デフォルト値、継承、期待に基づく理解、オブジェクト指向への影響

意味ネットワーク — 概念ノードとリンクの知識表現

IS-A階層、属性継承、活性化拡散、クィリアンの意味記憶モデル、リンクの意味論的曖昧さ批判

スクリプト理論 — 定型的状況の知識構造

シャンクの概念依存理論、レストランスクリプト、物語理解、期待の充足と逸脱、SAMなどの実装

Cycプロジェクト — 常識知識の大規模符号化

レナートの長期計画、CycL言語、ミクロ理論、手作業知識入力、常識推論の困難さの実証

記述論理 — 概念定義と包含推論の形式体系

TBoxとABox、包含判定、決定可能性と計算量、KL-ONE系譜、後のOWLへの理論的基礎

オントロジー工学 — 概念体系の設計と共有

語彙統制、上位オントロジー、知識共有と再利用、領域オントロジー構築方法論、知識ベース統合

非単調推論 — 例外を許す常識的推論の形式化

デフォルト論理、閉世界仮説、失敗による否定、結論の撤回、鳥は飛ぶがペンギンは飛ばない問題

サーカムスクリプション — 最小化による推論

マッカーシーの提案、異常述語の最小化、二階論理式、常識推論の論理的定式化の試み

真理維持システム — 依存関係の記録と信念改訂

TMS、正当化の記録、矛盾検出と依存有向バックトラック、仮説推論、ATMSによる多文脈管理

フレーム問題 — 変化しない事柄の記述爆発

行為の非効果の公理化困難、フレーム公理、後継状態公理、哲学的フレーム問題への拡張議論

状況計算 — 行為と状態変化の論理化

状況・流動命題・行為の三要素、前提条件公理、マッカーシーとヘイズの定式化、行為推論の基礎

STRIPS — 前提条件と効果によるプランニング

作用素の追加リストと削除リスト、状態空間探索、Shakeyへの搭載、プランニング表現の標準形

古典プランニング諸法 — 部分順序と階層化

部分順序計画、最小拘束方針、階層型タスクネットワーク、目標間干渉、サスマンの逸話問題

制約充足問題 — 変数・領域・制約の探索

バックトラック法、アーク整合性、前方チェック、変数順序ヒューリスティック、彩色や配置問題

手段目標分析 — 差分削減による問題解決

現状と目標の差分検出、差分に応じた操作子選択、再帰的部分目標、GPSでの実装と認知的妥当性

SOAR — 汎用認知アーキテクチャ

問題空間、普遍的部分目標化、チャンキングによる学習、ニューウェルの統一認知理論の具現

ACT-R — 認知モデリングの統合枠組み

アンダーソンの理論、宣言的記憶と手続的記憶、活性化計算、反応時間予測、心理実験との照合

ケースベース推論 — 過去事例の検索と適応

事例ベース、類似度検索、解の修正と再利用、学習としての事例蓄積、ヘルプデスクや診断への応用

類推推論 — 構造写像による領域間対応

ゲントナーの構造写像理論、関係の対応づけ、原子と太陽系の類推、発見的思考の計算モデル

定性推論 — 数値によらない物理系の推論

定性物理、定性微分方程式、包絡モデル、素朴物理学、装置の挙動予測と故障診断への応用

ファジィ論理 — あいまいさの多値的取り扱い

ザデーのファジィ集合、メンバーシップ関数、ファジィ推論規則、家電や列車制御への実用化

遺伝的アルゴリズム — 進化に学ぶ最適化

ホランドの提案、選択・交叉・突然変異、適応度関数、スキーマ定理、組合せ最適化への応用

遺伝的プログラミング — プログラム自体の進化

コザの方法、木構造表現の交叉、自動プログラム生成、回路設計や数式発見への適用例

人工生命 — 創発と自己組織化の計算研究

セルオートマトン、ライフゲーム、ラングトンの研究、群行動のボイドモデル、進化シミュレーション

ホップフィールドネットワーク — 連想記憶モデル

対称結合、エネルギー関数、アトラクタとしての記憶、記憶容量限界、最適化問題への適用

ボルツマンマシン — 確率的ニューラルモデル

確率的ユニット、模擬焼きなまし、隠れユニットの学習、制限ボルツマンマシンへの発展前史

ネオコグニトロン — 階層的視覚パターン認識

福島邦彦の提案、単純細胞と複雑細胞の階層、位置ずれ耐性、畳み込みネットワークの先駆

誤差逆伝播法の普及 — 多層学習の再興

1986年PDP研究、連鎖律による勾配計算、隠れ層の内部表現、第二次ニューラルブームの起点

コネクショニズム論争 — 記号主義との対立

分散表現対記号構造、フォーダーとピリシンの体系性批判、ハイブリッド路線、認知科学への波紋

自己組織化マップ — 競合学習による次元圧縮

コホネンのSOM、近傍学習、位相保存写像、可視化やクラスタリングへの応用、教師なし学習の古典

決定木学習 — 分岐規則の帰納的獲得

ID3とC4.5、情報利得、枝刈り、可読性の高い分類規則、クインランの一連の研究

バージョン空間法 — 仮説境界の絞り込み学習

ミッチェルの候補除去アルゴリズム、一般化境界と特殊化境界、概念学習の論理的定式化

説明に基づく学習 — 領域理論を使う一般化

EBL、単一事例からの一般化、操作性基準、演繹的学習、知識コンパイルとしての性格

帰納論理プログラミング — 一階論理での規則学習

背景知識と正負例、逆導出、Progol系の手法、関係データからの規則獲得、化学や生物への応用

PAC学習 — 計算論的学習理論の枠組み

ヴァリアントの1984年定式化、確率的近似的正しさ、標本複雑度、学習可能性の計算量的分析

VC次元 — 仮説クラスの容量と汎化

ヴァプニクとチェルヴォネンキスの理論、シャッタリング、汎化誤差限界、構造的リスク最小化への道

強化学習の源流 — 試行錯誤学習の理論化

多腕バンディット問題、動的計画法、ベルマン方程式、時間差分学習、Q学習の登場前後

初期機械翻訳 — 辞書引き翻訳から挫折まで

ジョージタウン実験、露英翻訳への期待、ALPAC報告による資金削減、規則ベース翻訳の教訓

ライトヒル報告 — 英国AI研究への批判

1973年の評価報告、組合せ爆発の指摘、英国での研究費削減、第一次AIの冬の引き金

AIの冬 — 期待過熱と資金撤退の循環

第一次と第二次の冬、エキスパートシステム市場崩壊、LISPマシン衰退、過大宣伝の構造的教訓

ブロックスワールド — 限定世界での知能研究

積み木の場面理解、線画解釈、ウォルツの制約伝播、限定領域方法論の成果と一般化の壁

マーの視覚理論 — 計算論的アプローチの三水準

計算理論・表現とアルゴリズム・実装の区別、原始スケッチ、2.5次元スケッチ、視覚研究への影響

Shakey — 世界初の推論する移動ロボット

SRIの1960年代末プロジェクト、視覚・計画・実行の統合、STRIPSの搭載、知能ロボット研究の原点

サブサンプション・アーキテクチャ — 行動ベースロボティクス

ブルックスの階層行動制御、表象なき知能、反射的行動の積層、昆虫型ロボットでの実証

初期音声認識 — テンプレートから統計モデルへ

動的時間伸縮法、隠れマルコフモデルの導入、単語認識から連続音声へ、DARPA評価の役割

PARRY — 偏執症患者を模した対話モデル

コルビーの1972年プログラム、感情状態変数、精神科医による判別実験、ELIZAとの対話記録

チューリングテスト実践 — 対話プログラム競技

ローブナー賞、審査員との制限時間対話、チャットボット技法、テストの有効性を巡る論争

中国語の部屋 — 理解なき記号操作への批判

サールの1980年思考実験、統語論と意味論の区別、システム応答などの反論、強いAI批判

記号接地問題 — 記号と実世界の意味結合

ハルナッドの定式化、記号の意味の由来、感覚運動経験との結合、身体性認知への展開

常識推論の困難 — 日常知識の形式化問題

素朴物理、時間と因果の常識、膨大な暗黙知、資格問題と派生問題、常識ベンチマークの前史

弱いAIと強いAI — 哲学的区分と論争

道具としてのAIと心を持つAI、意識と志向性、機能主義、心身問題との接続、用語の変遷

ヒューリスティクス研究 — 発見的手法と満足化

サイモンの限定合理性、満足化原理、経験則の定式化、最適性保証なき実用解法の設計思想

ボードゲームAIの系譜 — チェッカーから囲碁前夜まで

チェッカーのChinook、オセロのLogistello、チェス計算機の発展、囲碁の探索空間問題

エキスパートシステムシェル — 商用化の波

EMYCIN、知識ベース分離による再利用、1980年代のAIベンチャー、企業導入と保守の現実

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

論理派とフレーム派、表現力と推論効率のトレードオフ、認識論的妥当性、統合表現の模索

GOFAI — 古き良きAIという総称と批評

ホーグランドの命名、記号操作中心主義、身体性・状況性からの批判、現代における再評価

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

チューリング機械、停止問題、暗号解読、模倣ゲーム、子供機械の学習構想、計算機科学の礎

ジョン・マッカーシー — AI命名とLISP

ダートマス提案、LISP設計、タイムシェアリング構想、常識推論プログラム、サーカムスクリプション

マービン・ミンスキー — フレームと心の理論

MIT AI研究所の共同創設、フレーム理論、『心の社会』、パーセプトロン批判、幅広い知能観

ハーバート・サイモン — 限定合理性と意思決定

満足化理論、ノーベル経済学賞、Logic TheoristとGPS、『人工物の科学』、認知心理学への貢献

アレン・ニューウェル — 認知の統一理論

記号システム研究、プロトコル分析、プロダクションシステム、SOAR、知識レベルの提唱

初期AIと計算機黎明期 — 記号計算環境の成立

プログラム内蔵方式、フォン・ノイマンの自己増殖オートマトン、シャノンのチェス論文、黎明期の計算資源

心の社会 — エージェント集合体としての知能観

ミンスキーの著書、単純なエージェントの相互作用、階層と競合、心の多重性、後のマルチエージェント観

AIと認知科学の成立 — 情報処理心理学との交差

認知革命、行動主義からの転換、心的表象、計算メタファー、心理学・言語学・計算機科学の合流

自動プログラミングの古典 — プログラム合成の夢

仕様からのプログラム導出、演繹的合成、プログラム変換、証明とプログラムの対応、初期の限界

初期自然言語処理 — 規則と文法の時代

変形文法の計算化、拡張遷移網ATN、格文法、意味解析の手作業規則、統計的手法登場以前の技法

AI史の周期構造 — ブームと冬の反復分析

技術的期待の過熱、資金流入と撤退、用語の言い換えによる再生、歴史から学ぶ研究運営の教訓

古典AI文献 — 教科書と一次資料の系譜

『Computers and Thought』、AIハンドブック、初期学会誌、研究所技術報告、歴史研究の資料群

未分類研究メモ — 分類先未定トピックの一時置場

他のTTに収まらないAI研究断片、新旧混在の調査メモ、再分類待ち項目の受け皿と整理規約

退避：未分類・古典的AI研究 — 退避・古典資料archive

更新を終えた古典的AI研究資料、旧版ノート、歴史的価値のみ残る文書の保管庫