廃れたAI手法（旧来のルールベース等）

廃れたAI手法（旧来のルールベース等） — 概要

記号主義AI、エキスパートシステム、古典的機械学習など深層学習以前の手法群の全体像と入門ガイド

記号主義AI（GOFAI） — 物理記号システム仮説の枠組み

ニューウェルとサイモンの物理記号システム仮説、記号操作、探索と知識表現による古典AIの基本思想

ルールベースシステム — IF-THEN規則による推論

条件部と結論部、規則ベース、推論エンジン、作業記憶からなる知識処理の基本構造と設計原則

プロダクションシステム — 規則・作業記憶・競合解消

プロダクション規則、認識-実行サイクル、競合集合、競合解消戦略、Reteアルゴリズムによる高速照合

前向き連鎖 — データ駆動型のルール適用

事実からの前向き推論、データ駆動制御、規則発火の連鎖、監視・設計タスクへの適用と爆発問題

後向き連鎖 — 目標駆動型の証明探索

ゴールからの後退推論、サブゴール分解、証明木、診断・助言タスクでの利用、Prologとの対応関係

エキスパートシステム — 専門家知識の規則化

知識ベースと推論エンジンの分離、専門家インタビュー、規則獲得、1980年代の商用ブームと衰退

知識工学 — 知識獲得ボトルネックの壁

ナレッジエンジニア、専門家からの知識抽出、暗黙知の形式化困難、保守コスト増大という根本的限界

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

スタンフォード大学の細菌感染症診断システム、確信度因子CF、約600規則、実運用されなかった教訓

DENDRAL — 化学構造推定の先駆システム

ファイゲンバウムらによる質量分析データからの分子構造推定、生成検査法、初のエキスパートシステム

XCON（R1） — 商用エキスパートシステムの代表

DEC社のVAX計算機構成システム、OPS5実装、数千規則への肥大化と保守困難、商用成功と限界の実例

エキスパートシステムシェル — EMYCIN・OPS5・CLIPS

推論エンジンの汎用化、EMYCIN、OPS5、CLIPS、商用シェル製品群、知識ベース分離という設計思想

Lispマシン — AI専用ハードウェアの興亡

Symbolics、LMI、MIT発のLisp専用計算機、ガベージコレクション支援、汎用ワークステーションへの敗北

第五世代コンピュータ計画 — 日本の並列推論マシン

通産省主導のICOT、並列論理型言語、推論マシンPIM、1982-1992年の国家プロジェクトと評価論争

Prolog — 論理プログラミングの盛衰

ホーン節、単一化、バックトラック、コワルスキーとコルメラウアー、宣言的プログラミングの理想と現実

導出原理 — 自動定理証明の古典技法

ロビンソンの導出原理、単一化アルゴリズム、節形式変換、反駁証明、組合せ爆発という壁

Logic Theorist — 最初期のAIプログラム

ニューウェル、ショー、サイモンによる定理証明プログラム、プリンキピア・マテマティカの定理証明

GPS（一般問題解決器） — 手段目標分析

手段目標分析、差異低減、演算子適用、汎用問題解決という理想とドメイン知識不足による挫折

古典的ヒューリスティック探索 — A*・山登り法

A*アルゴリズム、許容的ヒューリスティック、山登り法、最良優先探索、局所最適とプラトーの問題

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

ミニマックス法、αβ枝刈り、評価関数の手設計、水平線効果、探索深さと計算資源のトレードオフ

サミュエルのチェッカー — 初期機械学習の古典

アーサー・サミュエルによるチェッカープログラム、評価関数の自己対戦学習、機械学習という語の起源

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

概念ノード、is-a関係、属性継承、活性化拡散、キリアンの意味記憶モデル、表現の曖昧さという批判

フレーム理論 — ミンスキーのスロット表現

フレーム、スロット、デフォルト値、継承階層、手続き的付加、オブジェクト指向への影響と衰退

スクリプト理論 — シャンクの概念依存理論

概念依存理論、レストランスクリプト、プラン・ゴール理解、物語理解プログラムSAMと手作業知識の限界

Cyc — 常識知識ベースの大規模構築

ダグラス・レナートの常識知識プロジェクト、数百万の公理、CycL言語、数十年に及ぶ手作業入力の評価

オントロジー工学 — 概念階層の手作業構築

概念階層、公理定義、上位オントロジー、ドメインオントロジー、構築コストと相互運用性の課題

記述論理 — KL-ONE系の構造化知識表現

TBoxとABox、概念包摂、KL-ONE、決定可能な推論、表現力と計算量のトレードオフ研究

セマンティックWeb — RDF・OWLと記号推論

バーナーズ゠リーの構想、RDFトリプル、OWL、SPARQL、リンクトデータ、普及が限定的だった要因

ブラックボード・アーキテクチャ — Hearsay-II

共有黒板、知識源の協調、機会主義的制御、音声理解システムHearsay-IIでの実証と適用範囲の狭さ

STRIPS — 古典的プランニングの原型

前提条件・追加・削除リスト、演算子表現、プラン探索、Shakeyロボットでの利用、PDDLへの系譜

状況計算とフレーム問題 — 行為の論理的記述

マッカーシーの状況計算、行為の前提と効果、フレーム問題、変化しない事実の記述爆発という難問

非単調推論 — デフォルト論理と閉世界仮説

ライターのデフォルト論理、マッカーシーのサーカムスクリプション、閉世界仮説、例外処理の形式化

真理維持システム（TMS） — 信念の依存管理

ドイルのTMS、正当化の記録、依存性有向バックトラック、仮説推論ATMS、信念改訂の古典技術

制約充足問題の古典技法 — バックトラックと整合

バックトラック探索、アーク整合AC-3、前方チェック、変数順序ヒューリスティック、スケジューリング応用

認知アーキテクチャ — SOARとACT-R

ニューウェルの統一認知理論、SOARのチャンキング、ACT-Rの宣言的・手続き的記憶、認知モデリング研究

ELIZA — パターンマッチ対話の原点

ワイゼンバウムの心理療法士模倣プログラム、キーワード置換、ELIZA効果、AI倫理批判『コンピュータパワー』

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

ウィノグラードによる積み木世界の対話システム、手続き的意味論、マイクロワールドの成功と拡張の失敗

スクリプト型チャットボット — AIMLとパターン応答

AIML、パターンとテンプレート、ローブナー賞コンテスト、シナリオ分岐型ボット、LLM以前の対話技術

パーセプトロン — ローゼンブラットと限界の指摘

単層パーセプトロン、線形分離可能性、ミンスキーとパパートの著書『パーセプトロン』、XOR問題と研究停滞

第一次AIの冬 — ライトヒル報告と資金削減

1973年ライトヒル報告、組合せ爆発批判、英国AI研究費削減、DARPAの方針転換、過剰期待の反動

ALPAC報告 — 初期機械翻訳の停滞

1966年ALPAC報告、露英機械翻訳への否定的評価、米国MT研究費の大幅削減、規則型MTの冬の時代

第二次AIの冬 — エキスパートシステム市場崩壊

1980年代末の商用AI市場縮小、Lispマシン企業の倒産、保守コスト問題、戦略計算計画の見直し

ニート対スクラフィー — AI方法論論争

形式論理重視のニート派と経験的工学のスクラフィー派、マッカーシー対ミンスキー・シャンク、方法論対立史

中国語の部屋 — サールの記号操作批判

ジョン・サールの思考実験、構文と意味の区別、強いAI批判、システム応答・ロボット応答など反論群

記号接地問題 — 記号と実世界の結び付け

ハルナッドの記号接地問題、記号の意味の由来、知覚との接続欠如、身体性認知科学からの批判

サブサンプション・アーキテクチャ — 表象なき知能

ロドニー・ブルックスの行動ベースロボティクス、階層的行動モジュール、内部表象否定、記号主義への挑戦

ファジィ論理 — ザデーの曖昧さの数理

ザデーのファジィ集合、メンバーシップ関数、ファジィ推論、言語変数、1990年代ブームとその後の定着

ファジィ制御応用 — 家電・鉄道での実用化

仙台市地下鉄の自動運転、洗濯機・炊飯器・カメラへの搭載、日本での商用ブーム、マーケティング語化と退潮

遺伝的アルゴリズム — ホランドの適応システム

ジョン・ホランドの適応システム理論、選択・交叉・突然変異、スキーマ定理、最適化応用と評価の変遷

遺伝的プログラミング — プログラムの進化的生成

ジョン・コザによる木構造プログラムの進化、関数と終端記号、自動プログラミングの理想と計算コスト

進化戦略・進化的計算 — 古典的最適化の系譜

レッヒェンベルクの進化戦略、進化的プログラミング、群知能、粒子群最適化、アントコロニー最適化

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

ホップフィールドの相互結合網、エネルギー関数、連想記憶、巡回セールスマン問題への適用と容量限界

ボルツマンマシン — 確率的ニューラルネット

確率的ユニット、シミュレーテッドアニーリング、制限ボルツマンマシン、深層信念網への橋渡しと衰退

自己組織化マップ（SOM） — コホネンの競合学習

コホネンの自己組織化写像、競合学習、近傍関数、高次元データの二次元可視化、クラスタリング応用

RBFネットワーク — 放射基底関数による近似

放射基底関数、ガウス基底、中心配置とクラスタリング、関数近似・補間への応用、カーネル法との関係

第二次ニューラルネットブーム — 誤差逆伝播の時代

ラメルハートらの誤差逆伝播法再発見、多層パーセプトロン、NETtalk、勾配消失と1990年代の退潮

ネオコグニトロン — 福島邦彦の視覚モデル

福島邦彦による階層的視覚神経回路モデル、単純・複雑細胞層、位置ずれ耐性、CNNの直接的先駆

サポートベクターマシン — カーネル法全盛期

ヴァプニクの統計的学習理論、マージン最大化、カーネルトリック、2000年代の主流手法と深層学習後の位置

古典的決定木学習 — ID3・C4.5・CART

クインランのID3とC4.5、情報利得、CART、枝刈り、可読性という利点とアンサンブル以前の単木の限界

k近傍法と事例ベース学習 — 怠惰学習の古典

k近傍法、距離尺度、次元の呪い、事例の記憶と検索、インスタンスベース学習IBLの系譜

ナイーブベイズ分類器 — 条件付き独立の仮定

ベイズの定理、素朴な独立性仮定、スパムフィルタ応用、テキスト分類のベースラインとしての役割

隠れマルコフモデル — 音声認識の旧主流

状態遷移確率、ビタビアルゴリズム、バウム゠ウェルチ法、GMM-HMM音声認識、深層学習による置換

nグラム言語モデル — 統計的言語処理の土台

nグラム確率、バックオフ、クネーザー゠ナイ平滑化、パープレキシティ評価、ニューラルLMへの世代交代

統計的機械翻訳 — IBMモデルとフレーズベース

IBMモデル、単語アライメント、フレーズベースSMT、Mosesツールキット、ニューラルMTによる急速な置換

規則ベース機械翻訳 — SYSTRANと変換方式

辞書と文法規則、直接方式・変換方式・中間言語方式、SYSTRAN、長年の実運用と統計手法への移行

Bag-of-WordsとTF-IDF — 古典的テキスト表現

単語頻度ベクトル、TF-IDF重み付け、コサイン類似度、ベクトル空間モデル、分散表現以前の情報検索

LSAとトピックモデル — 潜在意味の統計的抽出

潜在意味解析LSA、特異値分解、pLSA、LDA、トピック分布、文書クラスタリングと埋め込み以前の意味処理

WordNetと辞書型言語資源 — 手作業の語彙知識

プリンストン大学のWordNet、同義語集合synset、上位下位関係、FrameNet、手作業構築資源の役割変化

手作業素性エンジニアリング — 特徴量設計の時代

ドメイン知識に基づく特徴量設計、品詞・接辞・辞書素性、素性選択、表現学習による設計作業の自動化

SIFT・HOG — 手作り画像特徴量の全盛

ロウのSIFT、勾配方向ヒストグラムHOG、キーポイント検出、記述子マッチング、CNN登場までの標準技術

固有顔（Eigenfaces） — 主成分分析による顔認識

主成分分析による顔画像の次元圧縮、固有顔空間、フィッシャー顔、照明・姿勢変動への弱さと世代交代

Viola-Jones顔検出 — Haar特徴とカスケード

Haar-like特徴、積分画像、AdaBoost、カスケード分類器、デジカメ顔検出の実用化と深層学習への交代

初期コンピュータビジョン — エッジ検出と幾何モデル

エッジ検出、線画解釈、ブロック世界の視覚、テンプレートマッチング、マーの計算理論、幾何ベース認識

マイクロワールド研究 — 積み木世界という戦略

単純化された問題領域、積み木の世界、玩具問題での実証、実世界への拡張失敗という研究戦略の教訓

Deep Blue — 力任せ探索によるチェス制覇

IBMの専用ハードウェア、αβ探索と評価関数、1997年カスパロフ戦勝利、学習によらない探索型AIの到達点

ケースベース推論（CBR） — 過去事例の再利用

事例の検索・再利用・修正・保持の4Rサイクル、類似度計算、ヘルプデスク応用、事例保守の課題

帰納論理プログラミング（ILP） — 規則の帰納学習

一階述語論理での仮説学習、背景知識の利用、逆導出、Progolなどの処理系、記号的学習の到達点

説明に基づく学習（EBL） — 少数例からの一般化

ドメイン理論による説明構築、説明の一般化、操作性基準、知識集約型学習と統計的学習への潮流交代

決定リストと古典的規則学習 — AQ・CN2系

被覆アルゴリズム、規則の逐次学習、決定リスト、CN2、規則の可読性重視というアプローチの系譜

サイバネティクス — AI前史の制御と通信の科学

ウィーナーのサイバネティクス、フィードバック制御、恒常性、マカロック゠ピッツの形式ニューロン

Shakey — 初期の統合知能ロボット

SRIの移動ロボットShakey、STRIPSプランニング、視覚・行動の統合、実世界の複雑さが示した教訓

動的時間伸縮法（DTW） — HMM以前の音声照合

時間軸の非線形伸縮による系列照合、孤立単語認識、テンプレートマッチング型音声認識の古典技術

古典的OCRとパターン認識 — 規則と統計の文字認識

文字の構造解析、特徴抽出、判別関数、郵便番号読取り、手書き文字認識の規則型・統計型手法の変遷

説明機能付き推論 — なぜ・どのように追跡

推論過程のWHY/HOW説明、規則トレース、エキスパートシステムの透明性、現代XAI研究への系譜

初期の不確実性処理 — 確信度因子とDS理論

MYCINの確信度因子CF、デンプスター゠シェーファー理論、証拠結合、確率論的に不整合という批判

ベイジアンネットワーク — パールの確率的推論

ジューディア・パールの有向グラフモデル、条件付き独立、確率伝播、診断応用、深層学習前の主要手法

決定表・診断チャート型システム — 規則の表形式運用

決定表、故障診断チャート、トラブルシューティング木、コールセンター・保守現場での運用と限界

知識表現言語 — KRL・KIFと標準化の試み

ボブロウとウィノグラードのKRL、知識交換形式KIF、知識共有プロジェクト、標準化の理想と普及の壁

AIプログラミング言語の系譜 — IPL・LISP・PLANNER

ニューウェルらのIPL、マッカーシーのLISP、ヒューイットのPLANNER、記号処理言語の設計思想史

古典的ゲームAI — 有限状態機械とスクリプト

有限状態機械、スクリプト制御、経路探索A*、ビデオゲームNPCの伝統的制御、学習型AIとの併存

チューリングテストと初期評価論 — 知能の判定基準

チューリングの模倣ゲーム、ローブナー賞、テストへの批判と代替案、初期AIの目標設定と評価文化

AI史研究と遺産保存 — レトロシステムの記録

初期プログラムのソースコード保存、口述歴史、計算機博物館、AI史研究の一次資料と復元プロジェクト

ニューロシンボリックAI — 記号手法の現代的復権

記号推論とニューラルネットの統合、知識グラフ推論、微分可能論理、GOFAI遺産の再評価という潮流

レガシーエキスパートシステムの保守 — 現役旧資産

稼働し続ける旧規則ベース資産、規則の棚卸し、移行・置換プロジェクト、知識継承と文書化の課題

規則ベースの現役領域 — 業務ルールエンジン

ビジネスルール管理システムBRMS、与信審査・コンプライアンス判定、説明可能性要件下での規則型の存続

古典AIの教科書と教育史 — 教育カリキュラムの変遷

ウィンストンやニルソンの古典教科書、探索・知識表現中心の旧カリキュラム、機械学習中心への移行

AIの冬の教訓 — 過剰期待と資金循環の分析

ハイプサイクル、過剰宣伝と幻滅、研究資金の増減史、現代AIブームへの歴史的教訓としての参照

記号AI文献アーカイブ — 学会誌・技術報告の保存

AI Magazine、IJCAI・AAAI予稿集、大学技術報告、初期文献のデジタル化と引用可能性の維持

古典手法とLLMの融合 — 知識ベース資産の再利用

知識グラフとRAGの接続、ルールによるLLM出力検証、オントロジーの再活用、記号的制約付き生成

廃れたAI手法（旧来のルールベース等） — 退避・古典資料archive

旧版の分類項目、統合済みトピック、歴史的経緯の記録など、現行分類から退避させた資料の保管領域