-
1200
Siglo XIII - Llull
Intenta combinar razonamientos al azar. -
Siglo XVII - Leibinz
Pretende asignar números a cada concepto para resolverlo. -
Boole
Intenta formalizar algebraicamente las leyes del pensamiento mediante la asignación de propiedades a los objetos y agruparlos. Crea los operadores y, o, no. -
Frege
Desarrolla el formalismo de la lógica de predicados, pero no cumple con la prueba de consistencia. -
Russell
Identifica las paradojas de Frege -
Russell y Whitehead
Publican "Principia Matematica" para reducir las matemáticas a la lógica. -
Hilbert
Trata de construir pruebas absolutas y formalizar el sstema deductivo. -
Gödel
Demuestra la incompletitud de los sistemas axiomáticos. -
Años 30 - Weiner y Rosenblueth
Identifican la necesidad de la revisión crítica de los temas matemáticos. -
Años 30 - McCulloch
Busca correspondencia entre la lógica y las redes de neuronas en el córtex. -
Turing
Demuestra un tratamiento mecánico finito en expresiones matemáticas o lógicas (computables). -
McCulloch y Pitts
Definen la teoría de redes neuronales. -
Von Newmann
Crea una máquina de propósito general en Macy. -
Von Newmann
Deduce que el cerebro es más lento pero tiene más conexiones que un ordenador. -
Hebb
Indica que las conexiones cerebrales cambian a medida que aprendemos distintas tareas. -
Turing
Escribe "Computing Machinery and Intelligence" con la idea de crear máquinas inteligentes. -
Bigelow
Alerta acerca de la extrapolación sin justificación de resultados matemáticos en las ciencias sociales. -
McCarthy, Minsky, Shannon y Rochester
Impulsan la idea de inteligencia artificial. -
Selfridge
Crean una máquina con distintos agentes especializados en una tarea. -
Simon
Presenta "Logic Theorist" programa que hacía combinaciones según criterios heurísticos. -
Simon y Newell
Crean el "General Problem Solver". -
Rosenblatt
Desarrolla el "Perceptron", método para ajustar valores. -
Rosenblatt
Crea la regla de aprendizaje suponendo un enfoque neural frente al simbólico. -
Papert
Crea el programa "Logo" para niños. -
Minsky y Papert
Identifican patrones que el Perceptron no puede reconocer. -
Shortliffe
Crea Mycin, el programa de diagnóstico de enfermedades. -
Sloan
Funda la revista Cognitive Science. -
Finales años 70 - Misnky y Papert
Estudian el modelado conexionista. -
Rumelhart y Reddy
Crean el concepto de computación cooperativa. -
Rumelhart y McClelland
Definen la cooperación entre la interpretación simbólica del pensamiento y la conexionista. -
Crevier
Define los sistemas conexionistas. -
Godfrey y Smith
Realizan una tesis acerca de la continuidad fuerte y afirman que la mente es como la vida. -
Mitchell
Investiga la vida artificial. -
Varios
Se tiene un enfoque de la cognición situada o corporeizada. -
Clark
Cuestiona la vida artificial.