ジョン・マッカーシー（1927年-2011年）は、1955年に「人工知能」という用語を作り出し、1956年のダートマス・ワークショップを組織して、この分野を学術的な学問として確立したアメリカのコンピュータ科学者である。また、AI研究のための最も初期かつ最も影響力のある言語の一つであるLISPプログラミング言語も開発した。
初期の経歴とダートマス提案
マッカーシーはカルテックとプリンストンで数学を学び、そこでクロード・シャノンの情報理論に関する研究の影響を受けた。1955年、ダートマス大学在籍中に、マービン・ミンスキー、クロード・シャノン、ナサニエル・ロチェスターと共同で、「学習のあらゆる側面や知能のその他の特徴は、原理的には、機械がそれを模倣できるように正確に記述できるという推測」を探求するための夏季研究プロジェクトの資金提案を共同執筆した。この提案は「人工知能」という用語を導入し、その結果として開催された1956年のワークショップは、この分野の創設イベントとして慣例的に扱われている。
LISPと記号的計算
1958年、当時MITにいたマッカーシーは、記号的表現と再帰関数を中心に構築された言語であるLISP（リスト処理）を設計した。これは数十年にわたり記号的AI研究の支配的な言語となった。LISPは、ガベージコレクションや条件式などのアイデアを導入し、AIをはるかに超えてプログラミング言語に影響を与えた。マッカーシーはまた、タイムシェアリング・コンピュータシステムを先駆け、1959年の論文では、論理的推論を用いて問題を解決できるプログラムの初期設計である「アドバイス・テイカー」を提案した。これは後のエキスパートシステムや知識表現に関する研究の先駆けとなった。
スタンフォードとその後の経歴
マッカーシーは1962年にスタンフォード大学に移り、スタンフォード人工知能研究所を設立し、その後のキャリアの大半をそこで過ごした。彼は論理に基づくAIアプローチの支持者であり続け、常識的推論には知識の形式的表現が必要であると主張した。この立場は、数十年後にこの分野を支配することになる統計的・ニューラルネットワーク的アプローチ、すなわち現代の大規模言語モデルの背後にある深層学習の手法と緊張関係にあった。彼は1971年にAIへの貢献によりチューリング賞を受賞した。
遺産
マッカーシーのダートマス提案は、人工知能という分野に事実上名前を付け、知能が形式的・記号的規則を通じて捉えられるという彼の確信は、AI研究の最初の数十年を形成した。このアプローチは後に「古き良きAI」または記号的AIと呼ばれるようになった。彼の論理に基づくパラダイムは、データ駆動型の機械学習によって大部分が取って代わられたが、常識的推論と形式的知識表現への彼の強調は、純粋に統計的なシステムの限界や汎用人工知能の追求に関する議論に今も影響を与え続けている。