エキスパートシステムとAIブーム

エキスパートシステムとAIブーム — 概要

専門家知識の計算機化と第一次・第二次AIブーム、冬の時代までの興亡を辿る入門ガイド

エキスパートシステムの定義 — 専門家知識を計算機で再現する枠組み

知識ベース、推論エンジン、説明機能、対話インタフェース、専門家水準の問題解決という構成要件

知識ベースと推論機構の分離 — ドメイン知識と制御の独立設計

知識ベース、推論エンジン、作業記憶、知識の追加・修正容易性、汎用シェル化への道筋

プロダクションルール — IF-THEN形式による知識表現

条件部と結論部、ルールベース、競合集合、競合解消戦略、認知アーキテクチャとの関係

前向き推論 — データ駆動のフォワードチェイニング

事実からの規則適用、作業記憶更新、マッチ・選択・実行サイクル、監視や設定問題への適性

後ろ向き推論 — 目標駆動のバックワードチェイニング

仮説からのサブゴール分解、質問生成、証明木、診断型システムやPrologとの親和性

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

スタンフォード大学、質量分析データ、分子構造の候補生成と絞り込み、知識工学の出発点

MYCIN — 感染症診断と抗生物質選択の支援

スタンフォード大学、細菌感染症、約数百のルール、対話型問診、専門医との比較評価実験

確信度ファクター — MYCIN流の不確実性処理

CF値、証拠の結合規則、確率論との差異、経験的重み付け、後年の理論的批判と再検討

EMYCIN — ドメイン知識を抜いたシェルの誕生

MYCINからの推論部抽出、Essential MYCIN、シェル概念の確立、PUFFなど派生応用

XCON/R1 — DEC社VAX構成支援の商用成功例

カーネギーメロン大学とDEC、計算機構成の自動チェック、OPS5実装、巨額のコスト削減報告

PROSPECTOR — 鉱床探査を支援した地質システム

SRI International、地質学的推論ネットワーク、ベイズ的更新、鉱床予測の逸話と評価

INTERNIST-IとCADUCEUS — 内科診断の大規模知識ベース

ピッツバーグ大学、内科疾患の広域カバー、症状と疾患の関連度、鑑別診断アルゴリズム

Hearsay-II — 音声理解と協調的問題解決

カーネギーメロン大学、DARPA音声理解研究、複数知識源の協調、黒板モデルの原型

ブラックボードアーキテクチャ — 共有記憶で結ぶ知識源群

黒板、知識源、スケジューラ、機会主義的制御、信号解釈や設計問題への展開

知識工学 — ナレッジエンジニアという職能

専門家からの知識抽出、形式化、実装、検証、1980年代に成立した職業と教育課程

知識獲得ボトルネック — 開発を阻んだ最大の難所

暗黙知の言語化困難、専門家の時間確保、知識の保守コスト、自動獲得研究への動機

知識抽出技法 — インタビューとプロトコル分析

構造化面接、思考発話法、カード分類、レパートリーグリッド、事例観察による知識引き出し

意味ネットワーク — 概念をノードとリンクで結ぶ表現

is-a関係、part-of関係、継承、活性化拡散、初期の連想記憶モデルと語彙知識表現

フレーム理論 — ミンスキーが提唱した構造的知識表現

スロットとフィラー、デフォルト値、継承階層、手続き的付加、フレーム言語KRLなどへの影響

スクリプトと物語理解 — 定型的出来事の知識構造

シャンクの概念依存理論、レストランスクリプト、物語理解プログラム、期待に基づく推論

述語論理による知識表現 — 一階論理と定理証明

一階述語論理、導出原理、単一化、定理証明器、論理主義AIの基盤と表現力の限界論争

Prolog — 論理プログラミングの中心言語

ホーン節、SLD導出、バックトラック、カットオペレータ、欧州と日本での研究採用

LISP — AI研究を支えた記号処理言語

S式、再帰、ガベージコレクション、マッカーシーによる設計、AI研究所の標準開発環境

LISPマシン — AI専用ハードウェア産業の盛衰

MIT発の専用計算機、SymbolicsとLisp Machines社、高価格路線、汎用ワークステーションへの敗北

OPS5 — プロダクションシステム記述言語

カーネギーメロン大学系の開発、作業記憶要素、ルールコンパイル、XCON実装での実績

Reteアルゴリズム — ルール照合を高速化した基盤技術

フォーギィの考案、パターンネットワーク、部分一致の再利用、大規模ルールベースの実用化

CLIPS — NASA発の公開ルールエンジン

ジョンソン宇宙センター開発、C言語実装、前向き推論、教育と産業への広範な普及

商用シェル製品 — KEE・ARTと開発環境市場

IntelliCorpのKEE、Inference社のART、フレームとルールの統合環境、1980年代のツール競争

説明機能 — WHYとHOWに答える透明性

推論履歴の提示、質問理由の説明、証明木の遡行、利用者の信頼獲得、現代XAIの源流

真理維持システム — 信念の依存関係管理

TMS、正当化の記録、矛盾検出、依存指向バックトラック、仮説推論への応用

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

デフォルト論理、限定推論、閉世界仮説、鳥は飛ぶという既定則、結論の撤回可能性

ファジィ論理 — 曖昧さを扱う集合と推論

ザデーのファジィ集合、メンバーシップ関数、ファジィ制御、家電や鉄道への日本での応用

ベイズ的手法 — 確率で証拠を結合する推論

事前確率と尤度比、オッズ更新、PROSPECTORの推論ネット、後のベイジアンネットへの橋渡し

デンプスター・シェイファー理論 — 証拠理論による信念表現

基本確率割当、信念関数と尤度関数、証拠結合則、無知の明示的表現、確率論との比較

ヒューリスティック探索 — 経験則で枝刈りする問題解決

状態空間、評価関数、山登り法、手段目標分析、組合せ爆発への初期AIの対処法

Logic TheoristとGPS — 記号的問題解決の原点

ニューウェルとサイモン、数学定理の自動証明、手段目標分析、汎用問題解決器の理想と限界

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

1956年夏の研究会、マッカーシーによる命名、参加研究者たち、研究プログラムの原型

第一次AIブーム — 探索と推論の時代

1950-60年代、定理証明、ゲーム木探索、機械翻訳への期待、汎用知能実現への楽観論

パーセプトロン — 初期ニューラルネットの興隆

ローゼンブラットの学習機械、線形識別、パターン認識への期待、メディアの熱狂的報道

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

1969年の著書、XOR問題、線形分離可能性、単層モデルの限界、結合主義研究の停滞

ALPAC報告書 — 機械翻訳への失望と予算削減

1966年の米国委員会報告、露英翻訳の品質評価、研究資金打ち切り、計算言語学への転換

ライトヒル報告書 — 英国におけるAI研究批判

1973年の評価報告、組合せ爆発の指摘、汎用AIへの悲観、英国大学のAI予算縮小

第一次AI冬の時代 — 過剰期待の反動と資金枯渇

1970年代の停滞、DARPA方針転換、約束と成果の乖離、研究コミュニティの縮小と再編

第二次AIブーム — 知識の時代としての1980年代

エキスパートシステム商用化、企業AI部門の設立、知識工学の産業化、市場規模の急拡大

ファイゲンバウム — 知識工学を提唱した推進者

スタンフォード大学、DENDRAL開発指揮、知識こそ力という標語、日本の第五世代への警鐘書

ショートリフとブキャナン — MYCIN開発の中心人物

医学と計算機科学の協働、ルールベース医療診断、確信度設計、医療情報学への貢献

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

記号操作こそ知能の必要十分条件という仮説、認知心理学との接続、チューリング賞受賞

マッカーシー — AI命名者と形式化の探究

LISP設計、状況計算、常識推論の形式化、スタンフォードAI研究所の設立

ミンスキー — MITのAI研究を率いた理論家

MIT AI研究所の共同設立、フレーム理論、心の社会論、AIの可能性と限界をめぐる発言

第五世代コンピュータプロジェクト — 日本の国家AI計画

通産省主導、ICOT設立、1982年から約10年、並列推論と論理プログラミングを核とした構想

並列推論マシン — ICOTが開発したハードウェア群

逐次推論マシンPSIから並列推論マシンPIMへ、専用アーキテクチャ、成果と市場不在の評価

並行論理プログラミング — GHCとKL1の言語研究

ガード付きホーン節、コミッテッドチョイス、KL1によるOS記述、第五世代の中核言語成果

各国の対抗計画 — MCC・ESPRIT・Alvey

米国MCCコンソーシアム、欧州ESPRIT計画、英国Alvey計画、第五世代への国際的対抗投資

DARPA戦略コンピューティング計画 — 米国の軍事AI投資

1980年代の大型計画、自律走行車、パイロット支援、戦場管理、成果評価と方針転換

AIベンチャーの勃興 — 1980年代の商用AI企業

Teknowledge、IntelliCorp、Inference、Symbolics、ベンチャー投資の流入と株式公開

LISPマシン市場の崩壊 — 専用機ビジネスの終焉

1980年代末の需要急減、汎用ワークステーションの性能向上、Symbolics凋落、業界再編

第二次AI冬の時代 — エキスパートシステム失速

1980年代末から1990年代、保守コスト問題、過剰宣伝の反動、AIという語の忌避現象

保守性の壁 — 肥大化するルールベースの管理難

XCONの数千ルール規模化、ルール間干渉、変更影響分析、専任保守チームのコスト

脆さの問題 — 常識を欠くシステムの限界

想定外入力での破綻、領域境界の急峻な性能低下、常識知識の欠如、グレースフルデグラデーション不在

Cycプロジェクト — 常識知識ベース構築の長期挑戦

レナート主導、1984年開始、数百万の公理の手作業入力、常識推論、長期継続と批判

Meta-DENDRAL — ルール自動発見の先駆的試み

質量分析規則の帰納的学習、知識獲得自動化の初期研究、機械学習研究への接続点

事例ベース推論 — 過去事例の再利用による問題解決

事例の検索・再利用・修正・保持、類似度計算、ヘルプデスク応用、ルール方式との対比

モデルベース診断 — 構造と機能からの故障推定

第一原理からの推論、デバイスモデル、観測との矛盾検出、経験則方式の限界への応答

定性推論 — 数値を使わない物理系の推論

定性物理、因果順序、包絡分析、装置挙動の定性シミュレーション、教育・診断への応用

医療応用の広がり — 診断支援から薬剤チェックまで

感染症診断、心電図解釈、薬物相互作用チェック、臨床導入の障壁、責任と検証の課題

金融応用 — 与信審査と取引支援システム

ローン審査、保険引受、不正検知、ポートフォリオ助言、1980年代金融機関の導入事例群

構成設計問題 — 製品コンフィギュレーションの自動化

部品適合性チェック、制約充足、受注仕様の検証、XCON型応用の製造業への展開

プラント監視・制御応用 — プロセス産業のAI導入

化学プラント警報解釈、異常診断、運転支援、リアルタイム推論、ファジィ制御との併用

法律分野への応用 — 法規則の形式化実験

英国国籍法のProlog形式化、税務判定、給付資格判定、法的推論の論理表現をめぐる議論

計画・スケジューリング応用 — 生産と物流の最適化

ジョブショップスケジューリング、制約ベース計画、工程表作成、STRIPS系プランニングとの関係

意思決定支援システムとの関係 — DSSとESの境界

経営情報システム、What-if分析、判断の自動化と支援の区別、組織への導入形態の違い

STRIPSとプランニング — 行動計画の形式化

SRIのロボットShakey、前提条件と効果、プラン探索、後の自動計画研究への基礎

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

ウィノグラードの対話システム、限定世界の意味理解、手続き的意味論、その後の限界認識

ELIZA — 対話プログラムと人間側の投影

ワイゼンバウムの1966年作、パターン変換、精神療法家スクリプト、ELIZA効果という教訓

ゲームAIと探索研究 — チェッカーからチェスへ

サミュエルのチェッカープログラム、評価関数学習、ミニマックス法、アルファベータ枝刈り

バックプロパゲーション復興 — 結合主義の再興

1986年PDP研究群、多層パーセプトロン、誤差逆伝播、記号主義優位への挑戦の開始

記号主義対結合主義 — 知識表現をめぐる大論争

明示的ルール対分散表現、体系性論争、ハイブリッド論、認知科学を巻き込んだ方法論対立

ハイブリッド知識表現 — ルールとフレームの統合環境

オブジェクト指向とルールの結合、手続き的付加、メッセージ送信、統合型シェルの設計思想

KADS/CommonKADS — 知識システム開発方法論

欧州発の方法論、知識モデルのテンプレート、タスク分析、工学的開発プロセスの標準化

知識レベル仮説 — ニューウェルの計算階層論

記号レベルの上位に知識レベルを置く提案、合理性原理、エージェント記述の抽象化

検証と妥当性確認 — ルールベースの品質保証

冗長ルール検出、矛盾・循環の検査、テストケース設計、専門家評価、V&V手法の体系化

チューリングテスト — 知能判定をめぐる基準論争

模倣ゲーム、判定者と応答者、反論と擁護、ブームごとに再燃する知能の定義問題

哲学的批判 — ドレイファスと中国語の部屋

ドレイファスの現象学的批判、サールの中国語の部屋、強いAI対弱いAI、理解と記号操作

日本企業のAIブーム — 1980年代国内導入の実態

電機・鉄鋼・金融各社のES開発部門、国産シェル製品、ファジィ家電ブーム、導入後の定着率

開発ライフサイクル — プロトタイピング中心の方法

ラピッドプロトタイピング、漸進的知識追加、フィージビリティ評価、本番移行の難所

組織導入と失敗学 — 現場に根付かなかった要因

利用者の受容性、専門家の協力確保、保守体制、費用対効果、成功例と失敗例の事後分析

制約充足問題 — 探索とルールの中間にある定式化

変数・領域・制約、バックトラック探索、アーク整合性、スケジューリングや配置問題への適用

オントロジー工学への系譜 — 知識共有の標準化

概念階層の明示的仕様、知識の再利用、共有語彙、エキスパートシステム資産の継承先

記述論理 — フレーム表現の論理的再構成

概念と役割、包摂関係の推論、決定可能性と計算量、後のOWLとセマンティックWebの基礎

ビジネスルール管理への継承 — BRMSとして生きる技術

ルールエンジンの現代製品、Drools、業務ロジックの外部化、審査・料金計算での定常運用

AIブーム循環論 — 期待と幻滅のサイクル分析

ハイプサイクル、過剰宣伝と資金流入、冬の到来パターン、ブーム史から得られる教訓

AI研究資金の政治史 — 国家投資と方針転換

DARPA・通産省・欧州委員会の投資判断、評価報告書の影響、軍事需要と民生転用

第三次AIブームとの比較 — 知識時代と深層学習時代

手作業知識対データ駆動学習、説明可能性の再評価、共通する過熱、歴史的連続性の考察

ニューロシンボリックAI — 記号と学習の再統合

知識グラフと深層学習の融合、ルール注入、論理的制約付き学習、ES遺産の現代的再利用

説明可能AIへの遺産 — ESの説明機能とXAIの接続

WHY/HOW説明の伝統、推論トレース、現代の事後説明手法との比較、透明性要求の再来

AI史研究と一次資料 — 学会誌・報告書・回顧録

AI Magazine、学会プロシーディングス、政府評価報告書、開発者の回顧録、口述史料の収集

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

1980年代のES開発講座、知識工学教育、大学カリキュラムでの扱いの盛衰、教材の系譜

SF・大衆文化とAI観 — ブームを増幅した想像力

ロボットと人工頭脳の物語、メディア報道の熱狂と反動、世論形成、研究資金への波及

エキスパートシステムとAIブーム — 退避・古典資料archive

旧版シェルのマニュアル、絶版教科書、当時の製品カタログ、歴史的コード等の退避保管領域