ダートマス会議

Dartmouth Conference (Dartmouth Summer Research Project on Artificial Intelligence)

概要

ダートマス会議（Dartmouth Conference）は、1956年の夏にアメリカのニューハンプシャー州にあるダートマス大学で開催されたワークショップです。正式名称は「ダートマス人工知能夏期研究プロジェクト（Dartmouth Summer Research Project on Artificial Intelligence）」といいます。

この会議で、ジョン・マッカーシー（John McCarthy）が「Artificial Intelligence（人工知能）」という用語を初めて提案し、学術分野としてのAI研究が正式にスタートしました。ダートマス会議はAI研究の出発点として位置づけられ、G検定では最も重要な歴史的出来事の一つとして頻繁に出題されます。

詳細解説

会議の提案と目的

ダートマス会議は、ダートマス大学の助教授であったジョン・マッカーシーが中心となって企画しました。マッカーシーは、当時「オートマトン研究」「サイバネティクス」「計算理論」など、さまざまな名称で呼ばれていた知能に関する研究分野を統一的に捉え、新たな学術分野として確立することを目指していました。

会議の提案書では、「学習のあらゆる側面や知能のあらゆる特徴は、原理的には精密に記述でき、機械でシミュレートすることが可能である」という前提が掲げられました。この大胆な仮説のもとに、約2か月間にわたるワークショップが計画されました。

主要な参加者

ダートマス会議の提案者および主要参加者は、後にAI分野のパイオニアとなった研究者たちです。G検定では、以下の人物名が特に重要です。

• ジョン・マッカーシー（John McCarthy）：ダートマス大学（後にスタンフォード大学）の研究者。会議の主催者であり、「Artificial Intelligence」という用語の命名者。後にプログラミング言語LISPを開発したことでも知られる。1971年にチューリング賞を受賞。
• マービン・ミンスキー（Marvin Minsky）：ハーバード大学（後にMIT）の研究者。会議の共同提案者の一人。後にMIT人工知能研究所を設立し、AIのフレーム理論など多くの重要な概念を提案。1969年にチューリング賞を受賞。
• アレン・ニューウェル（Allen Newell）：ランド研究所（後にカーネギーメロン大学）の研究者。ハーバート・サイモンとともに、会議で「ロジック・セオリスト（Logic Theorist）」というプログラムを発表。1975年にチューリング賞を受賞。
• ハーバート・サイモン（Herbert A. Simon）：カーネギー工科大学（後のカーネギーメロン大学）の研究者。ニューウェルとともにロジック・セオリストを開発。経済学・経営学でも活躍し、1978年にノーベル経済学賞を受賞。1975年にチューリング賞も受賞。
• クロード・シャノン（Claude Shannon）：ベル研究所の研究者。情報理論の父として知られ、会議の共同提案者の一人。
• ナサニエル・ロチェスター（Nathaniel Rochester）：IBMの研究者。会議の共同提案者の一人。

会議で発表された成果

ダートマス会議で最も注目を集めたのは、ニューウェルとサイモンが開発した「ロジック・セオリスト（Logic Theorist）」です。これは、数学の定理を自動的に証明するプログラムで、ホワイトヘッドとラッセルの「プリンキピア・マテマティカ」に収録された定理のうち、38の定理の証明に成功しました。ロジック・セオリストは、世界初のAIプログラムの一つと見なされています。

ただし、ダートマス会議は必ずしも当初の期待通りの成果を上げたわけではありません。参加者全員が約2か月間ずっと滞在したわけではなく、各自の都合に合わせて参加する形式でした。また、「機械が知能を持てる」という野心的な目標に対して、具体的な方法論の合意は得られませんでした。

「Artificial Intelligence」の命名

ダートマス会議の最大の功績は、「Artificial Intelligence（人工知能）」という用語を正式に定義し、学術分野としてのAI研究を確立したことです。それ以前にも知能に関する計算機研究は行われていましたが、「サイバネティクス」「自動制御」「思考する機械」など、統一された名称がありませんでした。

マッカーシーがこの新しい分野に「Artificial Intelligence」という名前を付けたことで、研究者たちの関心と研究資金が集まりやすくなり、独立した学術分野としての発展が促進されました。この命名は、AI研究史上最も重要な出来事の一つとされています。

歴史・背景

ダートマス会議以前の状況

ダートマス会議が開催された1956年以前にも、「機械は考えることができるか」という問いは議論されていました。

• 1936年：アラン・チューリングがチューリングマシンの概念を発表し、計算可能性の理論的基盤を築いた。
• 1943年：ウォーレン・マカロックとウォルター・ピッツが人工ニューロンの数学モデルを発表した（形式ニューロン）。
• 1950年：アラン・チューリングが論文「Computing Machinery and Intelligence」を発表し、チューリングテストの原型を提案した。

ダートマス会議が第1次AIブームを牽引

ダートマス会議の開催以降、AI研究は急速に発展しました。特に1950年代後半から1960年代にかけては、探索や推論に基づくプログラムが次々と開発され、「第1次AIブーム」と呼ばれる時期を迎えます。

この時期には、以下のような成果が生まれました。

• GPS（General Problem Solver）：ニューウェルとサイモンが開発した汎用問題解決プログラム。手段目的分析を用いてさまざまな問題を解こうとした。
• ELIZA：ジョセフ・ワイゼンバウムが開発した自然言語処理プログラム。セラピストのように対話を行い、多くの人が「機械と話している」という意識を忘れるほどの会話を実現した。

しかし、これらの初期AIプログラムは、限定的な問題しか解けないという限界が次第に明らかになり、1970年代には「第1次冬の時代」を迎えることになります。

具体的な事例

ロジック・セオリストのデモンストレーション

ダートマス会議でニューウェルとサイモンが発表したロジック・セオリストは、数学の定理を自動証明するプログラムでした。ホワイトヘッドとラッセルの「プリンキピア・マテマティカ」第2章の52の定理のうち38の証明に成功し、一部の定理では人間の数学者よりもエレガントな証明を発見したとされています。これは「機械が知的な活動を行える」ことを初めて具体的に示した画期的な成果でした。

ダートマス会議参加者の後の活躍

ダートマス会議の参加者たちは、その後のAI研究をそれぞれ牽引しました。

• マッカーシーはスタンフォード大学で人工知能研究所（SAIL）を設立し、プログラミング言語LISPを開発しました。LISPはAI研究で広く使われる言語となりました。
• ミンスキーはMITで人工知能研究所を設立し、フレーム理論やパーセプトロンに関する研究を行いました。
• ニューウェルとサイモンはカーネギーメロン大学でAI研究を続け、GPSなどの問題解決プログラムを開発しました。

現代への影響

ダートマス会議から約70年が経った現在、AI研究はディープラーニング、大規模言語モデル、自動運転、ロボティクスなど、当時の参加者が想像もできなかったほどの発展を遂げています。しかし、会議の提案書で掲げられた「知能のあらゆる特徴を機械でシミュレートする」という目標は、いまだ完全には達成されていません。

G検定での出題ポイント

• ダートマス会議が1956年にダートマス大学で開催されたこと
• ジョン・マッカーシーが会議を主催し、「Artificial Intelligence」という用語を命名したこと
• マービン・ミンスキー、アレン・ニューウェル、ハーバート・サイモン、クロード・シャノンらが参加したこと
• ニューウェルとサイモンがロジック・セオリストを発表したこと
• この会議がAI研究の出発点であり、第1次AIブームのきっかけとなったこと
• ハーバート・サイモンがノーベル経済学賞も受賞していること

関連キーワード

• 人工知能（AI）
• AIの歴史（ブームと冬の時代）
• AI効果