• Author / Uploaded
• Anonymous w4obaft

• Categories
• Lógica matemática
• Inteligencia artificial
• Tecnología
• Ciencia cognitiva
• Sicología y ciencia cognitiva

Citation preview

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 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: 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: 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

Alan Turing 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 programable y completamente automática, características usadas para definir a un 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

Primer computador electromecánico. El computador empleaba señales electromagnéticas para mover las partes mecánicas. Era lenta e inflexible, pero ejecutaba operaciones matemáticas básicas y cálculos complejos de ecuaciones sobre el movimiento parabólico.

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 funcionamiento de las neuronas que forman el cerebro, se trata de imitar a una neurona humana con la mayor exactitud posible, se considera el primer trabajo del campo de inteligencia artificial, aun cuando todavía no existía el término.

1964 a 1966

1958

1950 1956

Se dio el término "inteligencia artificial" en Dartmouth durante una conferencia convocada por McCarthy,

1963

1963

Primer programa para Ajedrez y enfrentar retadores. Samuel escribe el primer programa para jugar al ajedrez capaz de enfrentarse a jugadores de primera fila mundial. Se funda la primera industria de fabricación de robots. Se demuestran las propiedades de la visión artificial para vehículos auto guiados se desarrollaron los brazos Boston y Stanford, este último dotado de una cámara y controlado por computador.