Vannesa

Events

PRIMERA MAQUINA AUTOCONTROLADORA

205 A.C

Regulador de agua que modificaba su comportamiento "racionalmente" pero sin razonamiento. Creado por Ctesibio de Alejandría.

SILOGISMOS

300 A.C

Conjunto de reglas estructuradas, al seguirlas producen conclusiones racionales.

RAZONAMIENTO ARTIFICIAL

1315 D.C

Ramon Llull, precursor del razonamiento automático.

LOGICA PROPOSIONAL

1847 D.C

George Boole. Su álgebra consiste en un método para resolver problemas de lógica que recurre solamente a los valores binarios 1 y 0 y a tres operadores: AND, OR y NOT

LÓGICA MATEMÁTICA MODERNA

1879 D.C

Gottlob Frege. Nueva sintaxis con la inclusión de los llamados cuantificadores

TORRES DE HANNOI

1883

Édouard Lucas, búsqueda de un modo resolutor, capaz de ganar con los mínimos movimientos posibles. (Introducción a la teoría de algoritmos)

PRIMER COMPUTADOR ELECTROMECÁNICO

1940

Alan Turing. Empleaba señales electromecánicas para mover las partes mecánicas. Era lenta e inflexible, ejecutaba operaciones matemáticas básicas y cálculos complejos (movimiento parabólico)

PRIMERA COMPUTADORA PROGRAMABLE

1941

Konrad Zuse. Z3 primera maquina programable y completamente automática. Plankalkül (primer lenguaje de programación de alto nivel)

MODELO DE NEURONAS ARTIFICIALES

1943

Warren McCulloch y Walter Pitts. Las redes neuronales pretenden imitar a pequeñísima escala la forma de funcionamiento de las neuronas que forman el cerebro humano. se considera el primer trabajo del campo de inteligencia artificial, aun cuando todavía no existía el término.

PRUEBA TURING

1950

Turing, propuso una prueba concreta para determinar si una máquina era inteligente o no, gracias a esto se le considera el padre de la Inteligencia Artificial.