Este trabajo inicial abrió el camino para la automatización y el razonamiento formal en las computadoras, incluyendo sistemas de soporte a decisiones y sistemas de búsqueda inteligentes que pueden ser diseñados para complementar y aumentar las capacidades humanas.