Logic Theorist
ニューウェルとサイモンは、単純に論理規則を適用していくと探索木が指数的爆発を起こすことを発見した。そこで経験則を使って正解にたどり着きそうにない枝を判定して枝刈りをし、木が大きくなりすぎないようにした。彼らはポーヤ・ジェルジの証明に関する古典的著作『いかにして問題をとくか』で使われている用語を採用し、この場当たり的な規則を「ヒューリスティクス」と呼んだ。ニューウェルはスタンフォード大学でポーヤのコースを受講していた。ヒューリスティクスは人工知能研究で重要な分野となり、特に指数的に探索空間が広がっていくのを防ぐ手段として重要となっている。
Logic Theorist をコンピュータ上で実装するため、彼らはプログラミング言語 IPL を開発した。その記号的リスト処理はジョン・マッカーシーが後に開発したLISPでも基盤として採用され、LISPは今でもAI研究で重要な言語となっている。