La inteligencia artificial surgió en la década de 1940 a partir de trabajos publicados, pero no fue hasta 1950 que el matemático británico Alan Turing publicó su influyente trabajo que abrió una nueva disciplina en las ciencias de la información. A finales del siglo XIX se desarrollaron lógicas formales poderosas y en la mitad del siglo XX se crearon máquinas capaces de usar estas lógicas y algoritmos de solución.