El día de hoy, viernes 5 de marzo de 2010, se discutió en clase acerca de los antecedentes que tiene la rama de Inteligencia Artificial, así como algunas formas de razonamientos: deducción, inducción y abducción. En concreto, se vieron aspectos y personajes importantes sobre la mecanización de la cognición.
Uno de los objetivos principales de la mecanización, es tratar de encontrar una forma para que las máquinas tengan una representación de la manera de pensar de los humanos. A lo largo de la historia han existido diferentes personajes muy importantes para la IA, tales como:
-Ramon Llull: Diseña y propone la construcción de una máquina capaz de elaborar razonamientos útiles, Ars Magna. Desarrolló bases algorítmicas para un jugador de ajedrez. Construyó una máquina de conversación con los moros, mediante razonamientos basados en la combinación de conceptos, fue uno de los precursores de la combinatoria.
-Giordano Bruno: Propuso el ejercicio de la memoria como base para la inteligencia. Hace varios siglos, el conocimiento era prohibido por las instituciones religiosas, por lo que la única forma «segura» de mantener el conocimiento, era entrenando personas para memorizar ciertos tipos de temas.
-Wilhelm Schihard: Se le considera el primer hombre en haber creado la primera calculadora automática.
-Spinoza: Se centró en la importancia de las emociones que afectan la conducta ética. Propusó un método para el estudio de las emociones y su influencia en la conducta ética. Perseguido por judíos y católicos por sus ideas. Sus escritos fueron prohibidos por la iglesia católica.
-Gottfried Willhelm Leibnitz: Describió un método general en el que todas las verdades se podían reducir al cálculo. Construyó un dispositivo mecánico cuya intención era llevar a cabo operaiones sobre conceptos.
-Vaucanson y Pierre Jacquet-Droz: Diseñan y construyen autómatas con mecanismos de relojería, usando como base grupos de engranes. Algunos de los autómatas que diseñaron son: el pato mecánico y el niño escritor.
-McCullogh y Pits: Primer modelo lógico del funcionamiento de una neurona como base para el modelado de las estructuras complicadas del cerebro que se conocían hasta esa época. Buscaban estructuras materiales de la inteligencia.
-Alonso Church: Propone un formalismo para axiomatizar el pensamiento, la conjetura de Church.
-Turing: Crea los formalismos de la primera máquina abstracta. Propone el juego de la imitación.
-Robert Wiener, Arturo Rosenblueth y James Bigelow: Estudiaron los sistemas regulatorios y los mecanismos de control tanto en seres vivos como en máquinas y su relación con la cognición. Se desarrolló un dispositivo de control para un arma antiaérea, ya que los alemanes durante la 2da Guerra Mundial, crearon misiles dirigidos el V1 y V2.
-Torres Quevedo: Diseña un algoritmo y una máquina para jugar ajedrez.
El Turco fue una famosa farsa que simulaba ser un autómata que jugaba al ajedrez. Fue construido y revelado por Wolfgang von Kempelen en 1769.
Skynet 