Proporciona una discusión sobre la distinción entre la
mente y la materia y los problemas que surgen
Dualismo
Sostiene que existe una parte de lamente que esta al margen
de la naturaleza
Francis Bacon (1561 - 1626)
Nada existe en la mente sin que haya pasado antes por los
sentidos
Un conjunto de reglas pueden describir
la parte raciona y formal de la mente
Aristóteles (384 - 322 a.C.)
Desarrolló un sistema informal para razonar adecuadamente
con silogismos
Ramon Lull (d. 1315)
Tuvo la idea de que el razonamiento util se podría obtener por
medios artificiales
Leonardo Da Vinci
(1452 - 1519)
Diseñó un modelo funcional para la primera maquina mecánica
Gottfried W. L. (1646 1716)
Construyó un dispositivo mecánico con el objetivo de llevar a cabo
operaciones sobre conceptos
La relación que existe entre
conocimiento y acción
Aristoteles
Argumenta que las acciones se pueden justificar por la conexión
lógica entre los objetivos y el conocimiento
Newell y Simon
Implementaron el algoritmo de Aristóteles 2300 años mas
tarde con la ayuda de su sistema SRGP
John Stuart M.
(1806 - 1873)
Propone la idea de un criterio de decisión racional
en todos los ámbitos de la actividad humana
Matemáticas (800 a.C. - Ahora)
Lógica
George Boole (1815 - 1864)
Definió la logica proposicional o Booleana
David Hilbert (1862 - 1943)
Presentó una lista de 23 problemas que acertadamente
predijo ocuparían a los informaticos en todo ese siglo
Alan Turing (1936)
caracterizó exactamente aquellas funciones que si eran
suceptibles de ser caracterizados
Computación
Steven Cook (1971) y
Richard Karp (1972)
Propusieron el método NP-Completud
Probabilidad
Gerolamo CArdano (1501 -1576)
Fue el primero en proponer la idea de probabilidad
Thomas Bayes(1702 - 1761)
Propuso una regla para la actualización de
probabilidades subjetivas a la luz de nuevas
evidencias
Linguistica (1957)
¿Cómo está relacionado el lenguaje con
el pensamiento?
Chomsky mostró cómo la teoría conductista no
abordaba el tema de la creatividad en el lenguaje
La teoría de Chomsky (basada en modelos sintácticos)
La lingüística moderna y la IA «nacieron», al mismo tiempo y maduraron
juntas, solapándose en un campo híbrido llamado linguistica computacional o
procesamiento del lenguaje natural
Teoria de control y cibernetica (1948)
¿Cómo pueden los artefactos
operar bajo su propio control?
Ktesibios de Alejandría (250 a.C.)
construyó la primera máquina
auto controlada
un reloj de agua con un regulador
La teoría de control moderna, especialmente la rama conocida como control
óptimo estocástico, tiene como objetivo el diseño de sistemas que
maximizan una funcion objetivo en el tiem
Norbert Vierner
Desarrollo la teoria del control
Ejemplos
motor de vapor, creado por James Watt (1736-1819)
termostato, inventado por Cornelis Drebbel (1572-1633)
también inventó el submarino
Ingenieria computacional 1940-->
¿Como se puede construir un
computador eficiente
para que sea una realidad se necesitan
Inteligencia
Artefactos
se invento de manera independiente
equipo de Alan Turing(1940)
Construyo el primer computador
operacional (Heath Robinson)