Allen Newell
An American computer scientist and cognitive psychologist, pioneer of artificial intelligence and cognitive science, and a leading figure of symbolic AI. Together with Herbert Simon, he developed the Logic Theorist and the General Problem Solver programs.
Core Facts
Timeline (last 90 days)
The history of automated theorem proving dates back to 1956, when Logic Theorist, developed by Allen Newell and Herbert Simon, is considered the first automated reasoning program.
Alpha-Beta剪枝技术由Allen Newell和Herbert A. Simon等人在1950年代末开发
Alpha-Beta pruning was developed by Allen Newell, Herbert A. Simon, and others in the late 1950s.
All Facts (4)
The history of automated theorem proving dates back to 1956, when Logic Theorist, developed by Allen Newell and Herbert Simon, is considered the first automated reasoning program.
75%UnverifiedThe Physical Symbol System Hypothesis was proposed by Allen Newell and Herbert Simon in 1976
60%UnverifiedAlpha-Beta剪枝技术由Allen Newell和Herbert A. Simon等人在1950年代末开发
50%UnverifiedAlpha-Beta pruning was developed by Allen Newell, Herbert A. Simon, and others in the late 1950s.
50%