-
Use Cases
-
Resources
-
Pricing
1847
% complete
En 1847 George Boole estableció la lógica proposicional (booleana), mucho más completa que los silogismos de Aristóteles, pero aún algo poco potente.
1879
% complete
En 1879 Gottlob Frege extiende la lógica booleana y obtiene la Lógica de Primer Orden la cual cuenta con un mayor poder de expresión y es utilizada universalmente en la actualidad.
1900
% complete
En el siglo XIX Babbage diseña maquinas programables, esto es, cuyo
comportamiento y funciones puede más o menos determinarse introduciendo modificaciones en el programa que las gobierna. Aunque hizo varios intentos por llegar a construirlas, no pudo lograrlo. Aún habiéndose quedado en el papel, la propia Ada de Lovelace, considerada por muchos como el primer programador de la historia, sintió gran fascinación por ellas, llegando a desarrollar programas para las mismas.
1950
% complete
No sería hasta 1950 cuando realmente estos estudios y propuestas consiguen una verdadera repercusión gracias al artículo “Computing Machinery and Intelligence”, escrito por Alan Turing, uno de los padres de la IA, y publicado en el volumen 59 de la revista “Mind”.
En este artículo se profundiza sobre la posibilidad de que una máquina pueda imitar el comportamiento de la mente humana. En este mismo artículo se propone el archiconocido Test de Turing, orientado a demostrar si una determinada máquina es inteligente o no.
1956 - 1974
% complete
La época del asombro
Grandes flujos de financiación
Algoritmos de búsqueda
Lenguaje natural (ELIZA)
Micromundos ( Entornos de complejidad reducida)
1980 - 1987
% complete
• La llegada de los sistemas expertos
o Sistemas muy útiles en la práctica
o La inteligencia como manipulación de conocimiento
• El proyecto “quinta generación”
o Proyecto del gobierno japonés
o 850 millones de dólares de financiación
o Máquinas que
Conversasen
Tradujesen
Interpretasen imágenes
Razonasen como seres humanos
• No arquitectura Von Neumman
o Prolog como lenguaje de máquina