人工知能の歴史
論理学をAI研究に導入したのはジョン・マッカーシーで、1958年に Advice Taker の提案書でのことである。1963年、ジョン・アラン・ロビンソン(英語版)がコンピュータで演繹を実装する簡単な方法、導出とユニフィケーションのアルゴリズムを発見した。しかし、マッカーシーと彼の学生達が60年代後半に試みたように、直接的な実装は非常に困難だった。そのプログラムは単純な定理の証明にも天文学的なステップ数を必要とした。論理へのより有効なアプローチは70年代にエジンバラ大学のロバート・コワルスキー(英語版)が発展させ、間もなくフランスの研究者アラン・カルメラウアー(英語版)とフィリップ・ルーセルと共同で論理プログラミング言語 Prolog を生み出すことになる。Prologは論理のサブセット(「プロダクションルール」と密接に関連するホーン節)を使い、扱いやすい計算を可能にしている。ルールの考え方は長く影響を及ぼし、エドワード・ファイゲンバウムのエキスパートシステムやアレン・ニューウェルのSoarの基盤となっている。
ドレイファスのように論理的アプローチを批判する者は、人間が問題解決の際に論理をほとんど使わないと指摘する。ピーター・ウェイソン(英語版)、エレノア・ロッシュ(英語版)、エイモス・トベルスキー、ダニエル・カーネマンといった心理学者の実験でそれが証明されている。マッカーシーは人間がどうやっているかは無関係だと応えた。彼は、必要とされているのは問題を解くことができる機械であって、人間のように考える機械ではないと主張した。
1970年代前半、AIプログラムの能力は限定的だった。最も進んだものでも小さな問題しか扱えず、どのプログラムも言ってみれば「おもちゃ」だった。AI研究者は1970年代には解決できない根本的限界に直面した。その一部は後に克服されているが、21世紀の今も残っている問題もある。
1963年6月、MITは新たに創設された高等研究計画局(後のDARPA)から220万ドルの資金提供を受けた。この資金で Project MAC が創設され、そこにはミンスキーとマッカーシーが5年前に作ったAIグループも含まれることになった。ARPAは1970年代まで毎年300万ドルを提供し続けた。ARPAはCMUのニューウェルとサイモンの計画にも、スタンフォード人工知能研究所(ジョン・マッカーシーが1963年に創設)にも資金を提供した。もうひとつの重要なAI研究所は1965年、ドナルド・ミッキーがエディンバラ大学に創設した。この4つの研究拠点がAI研究の中心として長く資金供給を受けた。
その資金はほとんどひも付きではなかった。ARPAの部長J・C・R・リックライダーは「プロジェクトではなく人間に投資するのだ」という信念を持っており、研究者には好きなように研究させた。それがMITでの自由奔放な雰囲気を生み出し、ハッカー文化を誕生させることになったが、いつ結果が出るかも分からない「野放し」状態は続かなかった。