Inteligencia Artificial

Yorka M. Perez

Precursores De La IA


Aporte Y Diferencias Entre Fundadores de la IA.

George Boole, En 1849 desarrollo los principios de la lógica proposicional con los que pretendía recoger algunos fundamentos relativos a la naturaleza y a la constitución de la mente humana. Escribió una obra llamada “Una investigación sobre las leyes del pensamiento, sobre las cuales estánfundamentadas las teorías matemáticas de la lógica y de la probabilidad”. Él fue el creador de la tabla de verdad, que aun ahora se utiliza enormemente es todo el campo matemático y computacional.

Herbert Simon
Simon propuso la hipótesis del símbolo físico como una forma de representar y modelar el pensamiento humano. Sobre esta línea se siguió el desarrollo de la Inteligencia Artificial en su primeraetapa. Desafortunadamente después de esta época de gran crecimiento, las expectativas que se forjaron fueron muy altas. Se empezaron a hacer proyecciones muy ambiciosas, que debido al nivel tecnológico de esos tiempos fueron imposibles de implementar

Kurt Gödel, En 1931 considerado el matemático más trascendente del siglo XX, propuso y comprobó su teorema de incompletitud de la Aritmética; unresultado filosóficamente revolucionario en todos los ámbitos del conocimiento formal principalmente en las matemáticas y que vino a dar respuesta a uno de los veintitrés problemas que el celebre matemático alemán David Hilbert consideró de esencial importancia para la disciplina su resolución . Para que Gödel lograra y obtuviera dicha respuesta hizo uso de una herramienta matemática de altautilidad llamada Recursion; que básicamente es una expresión en un lenguaje formal que a partir de una operación define otra, haciendo necesaria así una función original para crear las demás.
Alan Turing y Alonzo Church fueron matemáticos anglos que hoy son reconocidos como los padres de la teoría formal de algoritmos por sus aportaciones teóricas en lo que a algoritmos (procesos recursivos) incumbe.Pero no fue hasta los trabajos de Gödel que Turing y Church tuvieron suficientes bases teóricas para desarrollar un teoría de la computación robusta y útil, la clave era la recursion. Es de notable importancia enfatizar que Gödel no pretendía fundamentar la computación (en 1931 físicamente inexistente), sino las matemáticas. Pero en su trabajo se hacía uso de conceptos jamás antes utilizados queresultaron altamente útiles para la computación.
Contrariamente a Gödel,Turing y Church buscaban crear bases teóricas suficientes para que décadas después se consagrara el sueño del siglo XIX llamado computadora. No obstante en la década de los treinta Turing ya había inventado la primer “computadora” en la historia, la denominada máquina de Turing, que es un dispositivo teórico creada por elmismo Alan que su única función es operar algoritmos denominados Turing-Computables, lo interesante de este hallazgo es que las computadoras de hoy en día llevan acabo procesos Turing-Computables. En pocas palabras Turing inventó la computadora más poderosa jamás creada, ya que todas los procesos en una computadora son lógicamente reduicíbles a un algoritmo Turing-Computable.
Una de las conclusionesmás relevantes obtenidas del modelo computacional de Turing es los puntos en los que se entrelaza con el teorema de Gödel. Ya que ambos hablan básicamente de lo mismo, formalismo. De hecho es importante mencionar que el mismo Turing pulió la demostración del teorema de incompletitud de Gödel, al punto en que la demostración dada por Turing es la que se suele estudiar en las academias hoy en día.El Teorema de Gödel en resumidas cuentas dice que las matemáticas no pueden reducirse al Formalismo; ósea al lenguaje formal. En otras palabra que no importa como pretenda formalizar la Aritmética siempre se me escaparan verdades aritméticas (matemáticas). Esto se traduce de manera análoga a las máquinas de Turing, es decir; no importa lo avanzado del diseño de una computadora siempre existirán...