Maquinaria de la Computacin e Inteligencia, La prueba de Turing,

Mquinas digitales, Nueve objeciones comunes, Mquinas de

aprendizaje
Mquinas de computacin e inteligencia, escrito por Alan Turing y publicado en
1950 en la mente, es un trabajo seminal sobre el tema de la inteligencia
artificial en el que se introdujo el concepto de lo que oy se conoce como la
prueba de Turing a una amplia audiencia!
"l art#culo de Turing considera la pregunta $%&uede pensar las mquinas'$
(ado que las palabras $cree$ y $mquina$ no se pueden definir de forma clara
que satisfaga a todos, Turing sugiere que $sustituir la pregunta por otro, que
est estrecamente relacionado con )l y que se e*presa con palabras
relati+amente inequ#+ocas!$ &ara ello, primero tiene que encontrar una idea
simple e inequ#+oco para sustituir la palabra $pensar$, el segundo tiene que
e*plicar e*actamente lo que $mquinas$ que est considerando, por ,ltimo,
armado con estas erramientas, se formula una nue+a pregunta, relacionada
con la primera, que )l cree que puede responder afirmati+amente!
La prueba de Turing
"n lugar de tratar de determinar si una mquina est pensando, Turing sugiere
que deber#amos preguntar si el equipo puede ganar un juego, llamado el
$-uego de imitacin$! .e trata de tres participantes en abitaciones aisladas/
una computadora, un ser umano, y un jue0! "l jue0 umano puede con+ersar
tanto con el ser umano y el ordenador escribiendo en un terminal! Tanto el
equipo como umanos tratan de con+encer al jue0 de que son los umanos! .i
el jue0 no puede decir constantemente que es el que, a continuacin, el equipo
gana el juego!
Turing escribi 1%2u) pasar cuando una mquina toma la parte A de este
juego' %3os interrogador decidir errneamente como a menudo cuando el
juego se juega as# como lo ace cuando el juego se juega entre un ombre y
una mujer' "stas preguntas sustituyen nuestra original, $%&uede pensar las
mquinas'$
4omo .te+an notas 5arnad, la cuestin se a con+ertido en $&ueden mquinas
de acer lo que podemos acer'$ "n otras palabras, Turing ya no se pregunta
si una mquina puede $pensar$, sino que se pregunta si una mquina puede
actuar indistintamente de la forma en que un pensador act,a! "sta pregunta se
e+ita el problema filosfico dif#cil de pre6definir el +erbo $pensar$ y se centra
ms bien en la capacidad de rendimiento que ser capa0 de pensar ace que
sea posible, y cmo un sistema causal puede generarlos!
Algunos an tomado la pregunta de Turing que a sido $%&uede una
computadora, comunicarse a tra+)s de un teletipo, enga7ar a una persona
aci)ndole creer que es un ser umano'$ pero parece claro que Turing no
estaba ablando de enga7ar a la gente, sino de la generacin de la capacidad
cogniti+a umana!
Mquinas digitales
Turing tambi)n se7ala que es necesario determinar que $mquinas$ que
queremos considerar! .e7ala que un clon umano, mientras que el ombre,
%no ofrecerle un ejemplo muy interesante! Turing propuso que deber#amos
centrarnos en las capacidades de la maquinaria mquinas digitales que
manipulan los d#gitos binarios 1 y 0, reescritura en la memoria usando reglas
simples! (io dos ra0ones!
"n primer lugar, no ay ninguna ra0n para especular si tienen o no pueden
e*istir! "llos ya lo icieron en 1950!
"n segundo lugar, la maquinaria digital es $uni+ersal$! 3a in+estigacin de
Turing en las bases de clculo ab#a demostrado que una computadora digital
puede, en teor#a, simular el comportamiento de cualquier otra mquina digital,
dado suficiente memoria y el tiempo! &or lo tanto, si cualquier mquina digital
puede $actuar como si est pensando$, entonces, todas las mquinas digitales
suficientemente poderosos pueden! Turing escribi/ $todos los equipos digitales
son en un sentido equi+alente!$
"sto permite que la pregunta original que se ace a,n ms espec#fica! Turing
aora replantea la pregunta original como $8ijemos nuestra atencin en una
determinada computadora digital de 4! %"s cierto que mediante la modificacin
de este equipo para tener un almacenamiento adecuado, de manera adecuada
el aumento de su +elocidad de accin, y dotndolo de un programa apropiado,
4 se puede acer para jugar satisfactoriamente por parte de A en el juego de
imitacin, por parte de 9 est tomada por un ombre' $ "sta pregunta, en su
opinin, se puede responder sin tener que recurrir a la especulacin o la
filosof#a! .e a con+ertido en una simple cuestin de ingenier#a de soft:are!
&or lo tanto Turing afirma que el enfoque no est en $si todas las computadoras
digitales se acen bien en el juego, ni si los equipos que estn actualmente
disponibles ar#an bien, pero si ay equipos imaginables que acer bien$! 3o
ms importante es tener en cuenta los a+ances posibles en el estado de
nuestras mquinas de oy, independientemente de si tenemos los recursos
disponibles para crear uno o no!
Nueve objeciones comunes
;na +e0 aclarado la cuestin, Turing se +ol+i a contestar/ )l consider los
siguientes nue+e objeciones comunes, que incluyen los principales argumentos
en contra de la inteligencia artificial se plantean en los a7os desde que su
art#culo fue publicado por primera +e0!
<bjecin Teolgica/ "sto indica que el pensamiento es una funcin del alma
inmortal del ombre, por lo que una mquina no puede pensar! $Al tratar de
construir tales mquinas$, escribi Turing, $no debemos irre+erente usurpando
su poder de crear almas, ms que estamos en la procreacin de los ijos/ en
lugar estamos, en cualquier caso, los instrumentos de su +oluntad
proporcionando mansiones por las almas que =l crea $!
$4abe0a en la arena$ <bjecin/ $! 3as consecuencias de mquinas
pensamiento ser#a demasiado terrible "speremos y creemos que no pueden
acerlo!$ "ste pensamiento es muy popular entre los intelectuales, ya que
creen que la superioridad se deri+a de una inteligencia superior y la posibilidad
de ser superado es una amena0a! "sta objecin es un recurso fala0
consecuencias, confundiendo lo que no debe ser con lo que puede o no puede
ser!
<bjeciones Matemticas/ "sta objecin usa teoremas matemticos, como el
teorema de incompletitud de >?del, para mostrar que ay l#mites a lo que
preguntas que un sistema informtico basado en la lgica puede responder!
Turing sugiere que los seres umanos son demasiado a menudo injustos
consigo mismos y satisfecos en la falibilidad de una mquina!
Argumento de la conciencia/ "ste argumento, sugerido por el profesor
>eoffrey -efferson en el 19@9 3ister <racin afirma que $no asta que una
mquina puede escribir un soneto o componer un concierto a causa de los
pensamientos y las emociones sentidas, y no por la posibilidad de ca#da de los
s#mbolos, que podr#a de acuerdo en que la mquina es igual a cerebro $! Turing
respuestas diciendo que no tenemos forma de saber que cualquier persona
que no sea nosotros mismos e*perimenta emociones, y que por lo tanto
debemos aceptar la prueba! A a7ade/ $Bo quiero dar la impresin de que yo
creo que no ay ning,n misterio acerca de la conciencia !!! ut no creo que estos
misterios necesariamente tienen que ser resueltos antes de que podamos
responder a la pregunta!$
Argumentos de di+ersas discapacidades! "stos argumentos tienen la forma
$un ordenador nunca +a a acer C$! Turing ofrece una seleccin/
.ea amable, ingenioso, ermoso, amable, tener iniciati+a, tiene un sentido del
umor, distinguir el bien del mal, cometer errores, se enamoran, disfrutar de
fresas con crema, acer que alguien se enamore de )l, aprender de la
e*periencia, utili0ar las palabras correctamente , ser objeto de su propio
pensamiento, tienen la mayor di+ersidad de la conducta como ombre, acer
algo realmente nue+o!
Turing se7ala que $no apoyo que se ofrece abitualmente por estas
declaraciones$, y que dependen de suposiciones ingenuas sobre cmo las
mquinas +erstiles pueden ser en el futuro, o que son $formas encubiertas de
la discusin de la conciencia!$ =l elige para responder a algunos de ellos/
3as mquinas no pueden cometer errores! .e7ala que es fcil de programar
una mquina de dar la impresin de cometer un error!
;na mquina no puede ser objeto de su propio pensamiento! ;n programa
que puede informar sobre sus estados y procesos internos, en el sentido simple
de un programa de depuracin, sin duda se puede escribir! Turing afirma $una
mquina puede ser indudablemente su propia materia!$
;na mquina no puede tener una gran di+ersidad de comportamientos!
.e7ala que, con suficiente capacidad de almacenamiento, un equipo puede
comportarse de un n,mero astronmico de diferentes maneras!
3ady 3o+elace <bjecin/ ;na de las objeciones ms famosos establece que
los ordenadores son incapaces de originalidad! "sto es as# porque, de acuerdo
con Ada 3o+elace, las mquinas son incapaces de aprendi0aje autnomo!
3a Mquina Anal#tica no tiene pretensiones lo que sea para originar nada!
&uede acer lo que sabemos cmo pedir para lle+ar a cabo! .e puede seguir el
anlisis, pero no tiene el poder de anticipar las relaciones anal#ticas o
+erdades!
Turing sugiere la objecin de que 3o+elace se puede reducir a la afirmacin de
que las computadoras $nunca pueden tomarnos por sorpresa$ y argumenta
que, por el contrario, las computadoras a,n podr#an sorprender a los seres
umanos, en particular cuando las consecuencias de los diferentes ecos que
no son inmediatamente reconocibles! Turing tambi)n sostiene que 3ady
3o+elace se +io obstaculi0ado por el conte*to del que ella escribi, y si se
e*pone al conocimiento cient#fico ms actual, se ar#a e+idente que el
almacenamiento del cerebro es muy similar a la de un ordenador!
Argumento de la continuidad en el sistema ner+ioso/ la in+estigacin
neurolgica moderna a demostrado que el cerebro no es digital! A pesar de
que las neuronas fuego en un todo6o6nada de pulso, tanto en el momento
e*acto del pulso y la probabilidad de que el pulso se producen tienen
componentes analgicos! Turing reconoce esto, pero sostiene que cualquier
sistema analgico se puede simular en un grado ra0onable de precisin dado
suficiente poder de cmputo!
Argumento de la informalidad de la accin/ "ste argumento afirma que
cualquier sistema regido por leyes ser predecible y por lo tanto no es
realmente inteligente! Turing respuestas al afirmar que este es confuso leyes
de la conducta de las normas generales de conducta, y que si en un
comportamiento de la mquina escala lo suficientemente amplia como ser#a
cada +e0 ms dif#cil de predecir! Argumenta que, slo porque no podemos +er
de inmediato cules son las leyes, no quiere decir que no e*isten tales leyes! =l
escribe/ $ciertamente sabemos de ning,n caso en que podr#amos decir,$
emos buscado lo suficiente! Bo e*isten tales leyes! 1$!
3a percepcin e*tra6sensorial/ "n 1950, la percepcin e*tra6sensorial era un
rea acti+a de in+estigacin y Turing elige dar ".& beneficio de la duda, con el
argumento de que las condiciones podr#an crearse en el que leer la mente no
afectar#a a la prueba!
Mquinas de aprendizaje
Turing termina el trabajo de especular acerca de cmo una mquina que puede
pasar la prueba podr#a dise7arse! .u anlisis destaca el papel de la mquina
de aprendi0aje!