1. La Inteligencia Artificial.

De manera general la IA es un intento ambicioso por construir mquinasque

piensen, no en sentido metafrico o como una burda imitacin de lainteligencia
humana.
"La meta fundamental de toda esta bsqueda no es simplementeimitar a la
inteligencia o lograr un simulador ingenioso. No. La"inteligencia artificial" slo
desea el artculo verdadero:mquinas quetengan mente,en su sentido pleno y
literal. No se trata de cienciaficcin sino de verdadera ciencia...

El test de Turing (o prueba de Turing) es una prueba propuesta por Alan

Turing para demostrar la existencia de inteligencia en una mquina. Fue
expuesto en 1950 en un artculo) sigue siendo uno de los mejores mtodos
para los defensores de la inteligencia artificial. Se fundamenta en la
hiptesis positivista de que, si una mquina se comporta en todos los aspectos
como inteligente, entonces debe ser inteligente.
Procedimiento
La prueba consiste en un desafo. Se supone un juez situado en una
habitacin, una mquina y un ser humano en otra. El juez debe descubrir cul
es el ser humano y cul es la mquina, estndoles a los dos permitido mentir o
equivocarse al contestar por escrito las preguntas que el juez les hiciera. La
tesis de Turing supone que si ambos jugadores son suficientemente hbiles, el
juez no podr distinguir quin es el ser humano y quin la mquina.
La Prueba de Turing
Dentro de la Teora de la Inteligencia artificial encontramos algo que es
considerado como la mejor demostracin de que una maquina posee
inteligencia, sta es denominada como prueba de Turing, propuesta por el
cientfico Alan Turing, conocidos por muchos como el padre de la Inteligencia
Artificial, ya que fue el primero en intentar demostrar que la mquina podra
llegar a adquirir una capacidad comparable con la inteligencia humana.
Su principal aporte fue en el ao 1950 cuando quiso poner fin a las
especulaciones, y demostrar mediante la llamada Prueba de Turing (o tambin
juego de imitacin) para examinar la inteligencia de una mquina. La prueba se
basa en la idea de que la interaccin verbal constituye un medio en el que la
inteligencia se hace ms evidente. En el test de Turing, una persona (juez) ha
de mantener una conversacin (por medio de un interfaz y un teclado) con el
sistema de Inteligencia Artificial y con un humano. El juez debe descubrir cul
es el ser humano y cul es la mquina, estndoles a los dos permitido mentir al

contestar por escrito las preguntas que el juez les hiciera,s el juez no es capaz
de discriminar con una probabilidad superior al azar cul de los dos
participantes es el ordenador, se puede considerar que el sistema posee
unainteligencia equiparable a la Inteligencia Artificial, cabe destacar que
ninguna mquina en aquel entonces logrsuperar la prueba, por lo cual la
teora fue cuestionada.
En 1990 se inici un concurso, llamado Premio Loebner, una competicin de
carcter anual entre programas de ordenador que sigue el estndar establecido
en la prueba de Turing. Un juez humano se enfrenta a dos pantallas de
ordenador, una de ellas que se encuentra bajo el control de un ordenador, y la
otra bajo el control de un humano. El juez plantea preguntas a las dos pantallas
y recibe respuestas. El premio est dotado con 100.000 dlares
estadounidenses para el programa que pase el test, y un premio de
consolacin para el mejor programa anual.
En el ao 2010, por primera vez en los veinte aos de historia del premio,
un juez confundi al programa Suzette con una persona. Se trat de una
situacin especial y algo confusa, confiesa Bruce Wilcox, creador del programa
y ganador por dos veces del premio Loebner. El juez se empe en hablar de
poltica y en repetir las preguntas, explica, de modo que el enfado de Suzette
result totalmente creble y perfectamente humano. Pero la confusin sent un
precedente en la historia de lo que se conoce como Inteligencia Artificial.
Qu es exactamente lo que le interesa refutar a Searle? Dado que lo que
interesa refutar a Searle no es el enunciado sin ms "Las mquinas piensan o
tienen mente", sino ms bien "Pensar o tener mente es lo mismo que ejecutar
un programa informtico", es preciso ver la diferencia entre ambos enunciados.
En un sentido trivial, afirma Searle, hay mquinas que piensan si por ello se
entiende un sistema material especfico que sea capaz de desempear
funciones cognitivas. Tales mquinas seran los seres humanos en tanto ellos
son mquinas biolgicas.

NEISSER
Neisser es conocido en Psicologa por su contribucin al desarrollo de la
denominada Psicologa cognitiva, y, en concreto, al estudio de la memoria. Se
cuenta entre los primeros en popularizar esa etiqueta a travs de su
obraCognitive Psychology (1967).
Es considerado uno de los padres de la ciencia de la computacin siendo el
precursor de la informtica moderna. Proporcion una influyente formalizacin

de los conceptos de algoritmo y computacin: la mquina de Turing. Formul

su propia versin de la hoy ampliamente aceptada tesis de Church-Turing.
Durante la Segunda Guerra Mundial, trabaj en descifrar los cdigos nazis,
particularmente los de la mquina Enigma

John Searle

Es clebre por sus contribuciones a la filosofa del lenguaje, a la filosofa de la

mente y de la conciencia, a las caractersticas de las realidades sociales frente
a las realidades fsicas, y al razonamiento prctico.

LA MADUREZ DE LA CIENCIA COGNITIVA: DEBATES Y

DESARROLLO
Incertidumbres
En los aos ochenta, la ciencia cognitiva sufri una especie de crisis de
madurez. Hubo un problema ya que las pretensiones de la IA eran exageradas,
por lo que hubo un descontento en el campo de la psicologa. No se haban
producido avances significativos en la ciencia cognitiva. Neisser afirm:
haberse dado cuenta de que la nocin de procesamiento de la informacin
mereca un estudio ms detallado. Neisser comenzaba as a reivindicar un giro
ms realista para la psicologa cognitiva.
Debates
Los desafos de la intencionalidad
Como Lachman, Lachman y Butterfield (1979) haban afirmado, la psicologa
del procesamiento de la informacin se halla fundamentalmente comprometida
con el concepto de representacin. Brentano admiti que la intencionalidad es
el criterio de la mente. Las representaciones de Tolman tienen intencionalidad.
Las representaciones no representan en virtud de su apariencia. Toda
representacin tiene tanto semntica como sintaxis. La semntica de una
representacin es su significado, y la sintaxis es su forma. El objetivo del
funcionalismo es desmitificar la intencionalidad, inscribiendo la conducta y los
procesos mentales en el marco de la ciencia mecanicista. Esto se intenta hacer
mediante la reduccin de la semntica a la sintaxis.

El ordenador slo opera segn la sintaxis de una representacin, aunque su

conducta sea coherente con el conocimiento del significado de la
representacin.
Las personas adoptamos esta actitud intencional de forma natural hacia las
personas, a veces hacia los animales, y en determinados casos hacia las
mquinas. El programa no quiere, ni teme, ni intenta, simplemente realiza
computaciones formales de patrones de usos y ceros, y nosotros consideramos
eso como conducta intencional.
Dennett (1978, 1991) intent armonizar estas dos opiniones reconociendo que
en ciencia se debe considerar a las personas como si fuesen mquinas, pero
que la psicologa popular de las creencias y deseos se debera conservar para
el uso cotidiano.
Es vlida la prueba de Turing?
El ordenador acepta entradas de un cdigo binario, aplica reglas sintcticas
para transformar estas representaciones nuevas y generan una salida o
respuesta. Es nica y exclusivamente el usuario el que pone nombre a lo que
hace el ordenador. El argumento de Searle demuestra que la prueba de Turing
no es una medida adecuada de la inteligencia. Searle contina sealando una
importante peculiaridad de la simulacin cognitiva, en comparacin con otros
tipos de simulacin. Los meteorlogos construyen simulaciones informticas de
huracanes, pero sus ordenadores no provocan vientos de 150 km/h. Sin
embargo, los cientficos cognitivos afirman que cuando simulan la inteligencia,
si es que en realidad lo hacen (cuando un programa pasa la prueba de Turing),
su mquina ser verdaderamente inteligente.
Searle distingue entre:
a) La IA dbil sera mantener la distincin entre simulacin y ejecucin, y usar
los ordenadores como los dems cientficos, como dispositivos de clculo
maravillosamente tiles diseando dispositivos con los que poner en marcha y
comprobar teoras.
b) La IA fuerte es la afirmacin de que la simulacin de la inteligencia es
inteligencia.
Es verosmil el formalismo?
Como los ordenadores desarrollan una conducta simblica podemos
programarlos para que desempeen multitud de funciones, cualquier cosa que
se nos ocurra. Tras esta declaracin subyaca el supuesto del formalismo. Los
ordenadores pueden hacer cualquier cosa que se pueda escribir como
programa informtico, y la Comisin, asumiendo la afirmacin de Simon de que
los ordenadores pueden se pueden programar para hacer cualquier tarea
desempeada por el hombre, con su cualquier cosa que nos ocurra estaba
afirmando implcitamente que cualquier cosa que hagan las personas es un
procedimiento formal. Searle cuestion al formalismo mecanicista. Otra

cuestin, sta ms emprica, era el problema del marco, porque pona en tela
de juicio no slo la capacidad de los ordenadores para imitar la inteligencia
humana, sino la posibilidad misma de conseguir en algn momento verdadera
inteligencia artificial.
En lugar de funcionar de forma computacional, los humanos parecen funcionar
por intuicin: se nos ocurren soluciones para los problemas sin pensar; la
conducta adaptativa tiene lugar sin pensamiento. No tenemos que pensar para
desechar todos los absurdos. Pero un ordenador, como es un sistema formal,
debe considerar todas las implicaciones de sus actos para luego desecharlas.
Desarrollos: el nuevo conexionismo
Un nuevo juego en la ciudad
El paradigma de la manipulacin de smbolos en la ciencia cognitiva, durante
veinte aos fue el nico juego de la ciudad. A principios de los aos ochenta
apareci un juego rival con el nombre de conexionismo. El conexionismo
represent la resurreccin de tradiciones que, tanto en psicologa como en la
IA, haban sido dadas por muertas durante mucho tiempo. En psicologa hay
una tradicin conexionista que va de Thorndike a Hull y a los tericos
mediacionales neohullianos. Todos ellos desterraron los smbolos y los
conceptos mentalistas de sus teoras, e intentaron explicar la conducta en
trminos de fortalecimiento o debilitamiento de conexiones entre estmulos y
respuestas. Los psiclogos mediacionales aadieron el procesamiento interno
a las ideas conexionistas de Hull, insertando conexiones encubiertas entre los
estmulos externos y las respuestas manifiestas: las pequeas conexiones r-e.
En el campo de la IA, el conexionismo reaviv una tradicin minoritaria de la
ciencia informtica que durante las dcadas de los cincuenta y los sesenta
haba competido con el paradigma de la manipulacin de smbolos. La
arquitectura informtica de manipulacin de smbolos se disea en torno a una
nica unidad de procesamiento que slo ejecuta un cmputo cada vez. Con
mltiples procesadores trabajando al mismo tiempo, el procesamiento
secuencial de la informacin se sustituye por el procesamiento en paralelo.
Algunos diseadores de este ltimo tipo de ordenadores aspiraban a construir
mquinas que pudiesen aprender a actuar de forma inteligente y autnoma,
ajustando la fuerza de las conexiones entre sus mltiples procesadores en
funcin de la retroalimentacin proporcionada por el entorno.
Los ordenadores de procesamiento en paralelo son potencialmente mucho ms
potentes que los de una nica CPU, pero durante muchos aos hubo
obstculos para construirlos. Como las mquinas secuenciales tuvieron mucho
xito desde muy pronto y la potencia de la arquitectura paralela pareca
innecesaria, el trabajo sobre ordenadores de procesamiento en paralelo
prcticamente se interrumpi en los aos sesenta. Sin embargo, en los aos
ochenta los avances de la ciencia informtica y de la psicologa convergieron
para reanimar el xito de las arquitecturas de procesamiento en paralelo. Al
mismo tiempo, los expertos informticos se enfrentaban a tareas que requeran

cada vez mayor velocidad de computacin, lo que haca muy recomendable

pasarse al procesamiento en paralelo.
En psicologa, los continuos fracasos del paradigma simblico hicieron que el
procesamiento conexionista en paralelo constituyese una alternativa atractiva
para el viejo juego. Adems de las dificultades del funcionalismo haba dos
temas de especial inters para los nuevos conexionistas:
1) La inteligencia artificial tradicional haba progresado en tareas que los
humanos encuentran intelectualmente difciles pero segua sin conseguir hacer
mquinas que realizasen las mismas tareas que los humanos hacen sin
pensar.
2) El aprendizaje segua siendo inalcanzable para los ordenadores
programados, por lo que el desarrollo de las mquinas paralelas capaces de
aprender resultaba muy emocionante. La otra limitacin de la IA simblica que
motiv a los nuevos conexionistas fue el hecho evidente de que el cerebro no
es ningn aparato de computacin secuencial. El cerebro contiene miles de
neuronas muy interconectadas que funcionan a la vez. Se intent sustituir el
modelo del ordenador en psicologa por el modelo del cerebro. Los
procesadores interconectados de los modelos conexionistas funcionan como
neuronas: cada uno se activa con una entrada y acto seguido dispara o
produce una salida en funcin de las fuerzas sumadas de su entrada.
El paradigma subsimblico