Logic Theorist
1955年、ニューウェルとサイモンが Logic Theorist の開発を始めたころ、人工知能はまだ学問分野として確立していなかった。「人工知能 (artificial intelligence)」という用語ができたのも翌年の夏のことである。
ハーバート・サイモンは政治学者で、これ以前に官僚制についての研究や限定合理性の理論構築で知られていた(限定合理性の研究でノーベル賞を受賞)。企業組織の研究と人工知能の研究はかけ離れているように見えるが、どちらも人間の問題解決能力と判断力の性質への洞察を必要とする。サイモンは1950年代初めにランド研究所でコンサルタントとして働いており、普通の文字や記号を使ってプリンターで地図を描いたのを見ている。そこから彼は記号を処理できる機械なら意思決定をシミュレートできるだろうし、人間の思考過程すらシミュレートできるのではないかと考えた。
その地図をプリントアウトするプログラムを書いたのがランド研究所で物流と組織論を研究していた科学者アレン・ニューウェルだった。1954年にオリバー・セルフリッジがランド研究所を訪れてパターンマッチについてのプレゼンを行ったのが、ニューウェルにとっての転機となった。そのプレゼンを見たニューウェルは、単純なプログラム可能なユニット群の相互作用によって人間の知的活動を含む複雑な活動を実現できると直観した。後に彼は「ある日の午後、突然ひらめいた」と述べている。それは科学的閃きが訪れる滅多にない瞬間だった。
「それが新たな道であり、私にはそれを辿っていくべきだという明晰な感覚があった。