-
335 BCE
Aristóteles (Estagira, 384 a. C.-Calcis, 322 a. C.)
La lógica aristotélica es la lógica basada en los trabajos del filósofo griego Aristóteles, quien es ampliamente reconocido como el padre fundador de la lógicaLa noción central del sistema lógico de Aristóteles es el silogismo (o deducción, sullogismos).87 Un silogismo es, según la definición de Aristóteles, «un discurso (logos) en el cual, establecidas ciertas cosas, resulta necesariamente de ellas, por ser lo que son, otra cosa diferente». -
1275
Ramon Lull. ARS Magma Máquina para resolver problemas. Conjunto de ruedas
Lull creó una máquina lógica. De naturaleza mecánica, en ella las teorías, los sujetos y los predicados teológicos estaban organizados en figuras geométricas de las consideradas "perfectas" (por ejemplo círculos, cuadrados y triángulos). Al operar unos diales y palancas, girando manivelas y dando vueltas a un volante, las proposiciones y tesis se movían a lo largo de unas guías y se detenían frente a la postura positiva (certeza) o negativa (error) según correspondiese. -
Gottfried Leibniz. Búsqueda de Álgebra universal.
el sueño de “un álgebra universal por el cual todos los conocimientos, incluyendo las verdades morales y metafísi-
cas, pueden algún día ser interpuestos dentro de un sistema deductivo único”. Leibniz formuló de la ley de la razón suficiente y ley de identidad adoptada en la lógica moderna. El principio de sustitución es equivalente a la ley de identidad: “Si A es B y B es A, entonces A y B se llaman 'lo mismo' '“. O: A y B son iguales si pueden sustituirse por uno en lugar de otro. -
George Boole. Fundamentos de la Lógica Proposicional
El objeto de Boole fue, entre otros: “recoger... algunos indicios probables sobre la naturaleza y la constitución de la mente humana”. considerado como uno de los fundadores del campo de las ciencias de la computación. Desarrolló un sistema de reglas que le permitían expresar, manipular y simplificar problemas lógicos y filosóficos cuyos argumentos admiten dos estados (verdadero o falso) por procedimientos matemáticos. -
Gottlob Frege. Cálculo Proposicional
Propuso un sistema de notación para el razonamiento mecánico y al hacerlo inventó gran parte de lo que hoy conocemos como cálculo proposicional (lógica matemática moderna). Se le considera el padre de la lógica matemática y de la filosofía analítica, concentrándose en la filosofía del lenguaje y de las matemáticas. -
Warren McCulloch y Walter Pitts Relación cálculo Simple con Neuronas Biológicas
Escribieron teorías acerca de las relaciones entre los elementos de cálculo simple y las neuronas biológicas. -
Alan Turing (Test de Turing)
Alan Mathison Turing Londres 1912 Cheshire 1954 matemático, lógico, informático teórico, criptógrafo, filósofo, biólogo teórico.
En el campo de la IA, es conocido sobre todo por la concepción de la prueba de Turing, un criterio según el cual puede juzgarse la inteligencia de una máquina si sus respuestas en la prueba son indistinguibles de las de un ser humano. El evaluador sabría que uno de los participantes de la conversación es una máquina y los intervinientes serían separados unos de otros -
John McCarthy creó el LISP (el primer lenguaje de investigación dentro de la IA
Lo que hoy se conoce como IA empezó hacia 1960 cuando en el Instituto Tecnológico de Massachusetts (MIT, por sus siglas en inglés), John McCarthy creó el LISP (el primer lenguaje de investigación dentro de la IA). Responsable de introducir el término “inteligencia artificial”, propuso utilizar el cálculo proposicional como un idioma para representar y utilizar el conocimiento en un sistema que denominó la “Advice Taker”. A este sistema se le tenía que decir qué hacer en vez de ser programado. -
Marvin Minsky (1961)
el término IA suele atribuírsele a Marvin Minsky, también del MIT, quien en 1961 escribió un artículo titulado “Hacia la Inteligencia Artificial” (The Institute of Radio Engineers Proceedings). -
Frank Rosenblatt Redes Perceptrón
Exploró el uso de redes llamadas perceptrones. -
Joseph Weisenbaum programa ELISA en 1964
Programa ELIZA que fue escrito en el MIT por Joseph Weisenbaum en 1964. El programa ELIZA actuaba como un psicoanalizador. En este tipo de análisis, el psiquiatra toma un papel pasivo generalmente repitiendo las propias declaraciones del paciente, en vez de llevar el peso de la conversación. -
Alain Colmerauer
En la década de los años setenta se creó el PROLOG, obra de Alain Colmerauer, en Masella, Francia, en 1972. PROLOG era un lenguaje diseñado para ayudar a resolver problemas relativos a la IA. Este lenguaje poseía un gran número de características especiales tales como una base de datos incorporada y una sintaxis bastante simple (Schildt, 1990) -
Deep Blue 1996
Deep Blue fue una supercomputadora desarrollada por el fabricante estadounidense IBM para jugar al ajedrez. Fue la primera que venció a un campeón del mundo vigente, Gary Kaspárov, con un ritmo de juego lento. Esto ocurrió el 10 de febrero de 1996,1 en una memorable partida. Sin embargo, Kaspárov ganó 3 y empató 2 de las siguientes partidas, derrotando a Deep Blue por 4-2. El encuentro concluyó el 17 de febrero de 1996.2 -
Aprendizaje profundo - Yoshua Bengio
Uno de los investigadores más prestigiosos del mundo en el campo de la inteligencia artificial- en su artículo de Aprendizaje Profundo publicado en la revista Scientific American, da como fecha de partida de la explosión de la IA el año 2012, se presentaron los primeros productos comerciales que entendían el habla como Google Now y que permitían identificar el contenido de una imagen, Google Photos. Es uno de los responsables del avance del AP entre 1990 y 2000. Premio Alan Turing 2018
