約翰·麥卡錫 (John McCarthy)
電腦科學家與 AI 之父
關於
約翰·麥卡錫（1927–2011）是美國電腦科學家，他在 1955 年創造了「人工智慧」一詞，並組織了 1956 年具里程碑意義的達特茅斯會議，正式奠定 AI 作為一門學科的基礎。他發明了 LISP——現今仍在使用的第二古老高階程式語言，並成為 AI 研究的主流語言。他在史丹佛大學執教數十年，對分時系統、形式驗證以及 AI 常識推理皆有奠基性貢獻。
主要貢獻
- 創造「人工智慧」一詞，並組織 1956 年達特茅斯工作坊，為這個領域命名並設定創始議程
- 發明 Lisp，讓早期 AI 研究者能以實用語言進行符號計算與快速實驗
- 在 Lisp 中引入垃圾回收，使自動記憶體管理成為實用的程式語言概念
- 發展 situation calculus 與 circumscription，為行動、常識與非單調推理提供形式工具
- 提出 Advice Taker，早期構想出能運用宣告式知識進行推理的程式
- 開創電腦分時系統，協助電腦從批次處理機器走向互動式工具
- 定義了符號 AI 計畫；其雄心建立了 AI 領域，但其限制也引發後來的批評與 AI 寒冬
