En 1955, Allen Newell et le futur prix Nobel d'économie, Herbert Simon, avec l'aide de Cliff Shaw, ont créé le « Théoricien logique (en) ». 1955年,艾伦·纽厄尔和后来荣获诺贝尔奖的赫伯特·西蒙在J. C. Shaw的协助下开发了“逻辑理论家(Logic Theorist)”。
Il a contribué à la création du langage IPL (Information Processing Language) en 1956 et à l'écriture de deux des premiers programmes en IA, le Logic Theory Machine (1956) et le General Problem Solver (1957) (avec Herbert Simon). 他是信息处理语言(IPL)发明者之一,并写了该语言最早的两个AI程序,合作开发了逻辑理论家(Logic Theorist 1956年)和一般问题解决器General Problem Solver。