Beruflich Dokumente
Kultur Dokumente
FILOSOFA:
Descartes propuso la nocin del dualismo. Sostena que existe una parte de la
mente que est al margen de la naturaleza. Una alternativa al dualismo es el
materialismo, que considera que todo el mundo funciona sujeto a leyes fsicas.
David Hume (1711 a 1776) propone lo que actualmente se conoce como principio
de la induccin: las reglas generales se obtienen por contacto con repetidas
asociaciones entre sus elementos.
Bertrand Russell (1872 a1970): indujo el positivismo lgico. Esta doctrina sostiene
que todo el conocimiento se puede caracterizar mediante teoras relacionadas, en
ltima instancia, con oraciones de observacin, que corresponda en entradas
sensoriales. Con la teora de la confirmacin se intenta comprender como se
puede obtener conocimientos a partir de la experiencia.
George Boole (1815 a 1864) introdujo su lenguaje formal para hacer inferencias
lgicas en 1847. El mtodo de Boole no estaba completo pero era bastante bueno.
En 1879, Gottlob Fregu (1848 a 1825) creo una lgica que, excepto por algunos
cambios en la notacin, constituye la lgica de primer orden que se utiliza
actualmente como sistema bsico de representacin del conocimiento. Alfred
Tarski (1902 a 1983) introdujo una teora de referencia que ensea como
relacionar objetos de una lgica con los objetos del mundo real.
Alan Turng (1912 a 1954) caracteriza las funciones que si eran susceptibles de
ser calculadas. La tesis de chur-turing goza de aceptacin generalizada en cuanto
a definicin suficiente. Turing demostr tambin que existen algunas funciones
que no es posible calcular mediante la mquina de turing.
La psicologa cientfica se inici con los trabajos del mtodo mdico alemn
Herman Vond Helmholsz (1821 a 1894) y su dispalo willhenm Wundt (1832-
1920).
HISTORIA DE LA IA: