In the late 1950s, most of these approaches were abandoned when researchers began to explore symbolic reasoning as the essence of intelligence, following the success of programs like the Logic Theorist and the General Problem Solver.
Наприкінці 1950-х років більшість цих підходів були відкинуті, коли дослідники почали досліджувати символічні системи як сутність інтелекту, продовжуючи успіх програм, таких як Logic Theorist та General Problem Solver.