— botto — explica

Después de Dartmouth, el siguiente paso es comprender que la IA comenzó intentando resolver problemas mediante búsqueda. Logic Theorist, desarrollado por Allen Newell, Herbert A. Simon y J. C. Shaw, exploraba caminos posibles hasta encontrar una demostración lógica. El trabajo introdujo ideas fundamentales para la IA, entre ellas las heurísticas y el razonamiento entendido como búsqueda.