Linea Del Tiempo Inteligencia Artificial

Silogismos: Manera estructurada un conjunto de reglas, describen una parte del funcionamiento de la mente humana y que, al seguirlas paso a paso, producen conclusiones racionales a partir de premisas dadas.

George Boole, Aproximó la lógica en una nueva dirección reduciéndola a un álgebra simple, incorporando la lógica en las matemáticas. Su álgebra consiste en un método para resolver problemas de lógica que recurre solamente a los valores binarios y 0 y a tres operadores: AND (y), (o) y NOT (no).

Ramon Llull, claro precursor del razonamiento automático, ya ya entendido como un procedimiento mecánico que razona por sí mismo.

300 a.c.

Torres de Hannoi: Édouard Lucas, muestran el interés por la búsqueda de un modo resolutor, capaz de ganar con los mínimos movimientos posibles, conocido en la ciencia de la computación como introducción a la teoría de algoritmos.

1847

1315 d.c.

1883

205 a.c.

1500

1879

1890

La primera máquina autocontrolada: autocontrolada: Ctesibio de Alejandría, construyó un regulador del flujo de agua que actuaba modificando su comportamiento "racionalmente" (correctamente) pero claramente sin razonamiento.

Concepto de razonamiento: razonamiento: Es la facultad que permite resolver problemas, extraer conclusiones y aprender de manera consciente de los hechos.

Lógica Matemática Moderna: Gottlob Frege, Sentó las bases de en una nueva era en esta disciplina. Mediante la introducción de una nueva sintaxis, con la inclusión de los llamados cuantificadores.

Lógicas formales: construcción de lenguajes formales

Trusted by over 1 million members

Try Scribd FREE for 30 days to access over 125 million titles without ads or interruptions! Start Free Trial Cancel Anytime.

Trusted by over 1 million members

Try Scribd FREE for 30 days to access over 125 million titles without ads or interruptions! Start Free Trial Cancel Anytime.

 Alan Turing publicó publicó un artículo de bastante repercusión sobre los "Números Calculables", un artículo que estableció las bases teóricas para todas las ciencias de computación, y que puede considerarse el origen oficial de la informática teórica.

Konrad Zuse. La computadora Z3 fue la primera máquina máquina programable y completamente automática, características usadas para definir a un computador computador y el primer lenguaje de programación de alto nivel Plankalkül.

Desarrollo lenguaje de alto nivel: "LISP" John McCarthy y sus colaboradores crearon LISP, considerado por algunos el segundo lenguaje de programación de alto nivel. Turing consolidó el campo de la inteligencia artificial con su artículo Computing Machinery and Intelligence, en el que propuso una prueba concreta para determinar si una máquina era inteligente o no, se le considera el padre de la Inteligencia Artificial.

1941

1937 1940

Programa ELIZA Doctor Joseph Weizenbaum, imitando el comportamiento de un psiquiatra pasivo que dirige la conversacion del paciente para que este hable todo el tiempo, creo un programa para demostrar que un sencillo programa podría simular esta forma de tratamiento.

1943

Modelo de Neuronas Artificiales Warren McCulloch y Walter Pitts. Pretenden imitar la forma de

1964 a 1966

1958

1950 1956

1963

Primer programa para Ajedrez y enfrentar retadores. Samuel escribe el primer programa para jugar al ajedrez capaz de

1963

Trusted by over 1 million members

Try Scribd FREE for 30 days to access over 125 million titles without ads or interruptions! Start Free Trial Cancel Anytime.