EL TEST DE TURING HISTORIA DE LOS ALGORITMOS

CURSO 2010/2011

BEATRIZ ROMN ALCAIDE 05312667N

2

NDICE

QU ES EL TEST DE TURING? ................................................................................... 3

FUNDAMENTOS DEL TEST DE TURING ....................................................................... 5

APLICACIONES DEL TEST TURING ............................................................................ 6

CONTROL DE SPAM .................................................................................................. 6

ELIZA .......................................................................................................................... 6

REPERCUSIN ........................................................................................................... 7

CONCLUSIN ........................................................................................................... 9

BIBLIOGRAFA ....................................................................................................... 10

3

1. QU ES EL TEST DE TURING?

En su clebre artculo Computing Machinery and Intelligence ("Maquinaria de clculo e

inteligencia") de 1950 en la revista Mind, el matemtico britnico Alan Turing quiso

desarrollar un mtodo para decidir si una mquina poda pensar o no.

El test de Turing es 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.

Bsicamente la prueba consiste en un desafo en el cual la mquina debe hacerse

pasar por humana en una conversacin con un hombre a travs de una comunicacin de

texto en modo chat. Al sujeto no se le avisa si est hablando con una mquina o una

persona de modo que si el sujeto es incapaz de determinar si la otra parte de la

comunicacin es humana o mquina, entonces se considera que la mquina ha

alcanzado un determinado nivel de madurez: es inteligente.

Muchos han objetado que el Test de Turing no est diseado para medir si las

computadoras tienen inteligencia, sino si tienen inteligencia "humana" o de tipo humano. El

argumento deriva de la forma antropomrfica que las ideas de Turing asignan a la

inteligencia. Si la inteligencia de las mquinas debe manifestarse exclusivamente en forma

verbal, entonces es obvio que estamos buscando un aspecto humano especfico en el

comportamiento mecnico: el lenguaje.

Por ultimo comentar que ninguna mquina del mundo ha conseguido pasar el Test de

Turing. En 1990 se inici un concurso, el Premio Loebner, una competencia 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

4

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. Todava no ha sido otorgado el premio

principal.

CMO DEBERA PROGRAMARSE UNA MQUINA QUE CONSIGUIERA PASAR CON XITO EL

TEST DE TURING?

Turing no es muy explcito en este sentido, pero s afirmaba que "la mejor estrategia sera

tratar de que el sistema proveyera respuestas similares a las que seran dadas naturalmente

por un hombre". En otras palabras, no se preocupa demasiado por el proceso constructivo

del programa de computacin a utilizar, sino que se concentra en el aspecto "humano" de

las respuestas obtenidas, esto es, en la naturaleza de la verbalidad deseable. Cualquier

otro tipo de respuesta, por elaborada e inteligente que fuese, no sera reconocida como

"humana" por otra persona, por lo que la mquina fallara en pasar la prueba. Por otra

parte, acepta implcitamente que mquinas que no imitan en absoluto el proceso

cognitivo humano muy bien podran pasar el test si producen respuestas que no se aparten

demasiado de las que daramos nosotros.

Para muchos detractores de Turing, esta falta de compromiso -en especial respecto del

diseo de las mquinas que participan del juego- es una forma de hacer trampa. Por

ejemplo: la capacidad aritmtica se considera signo claro de inteligencia. Entonces, como

la velocidad y exactitud de las respuestas de la computadora hara que el interrogador se

diera cuenta de inmediato de que estaba hablando con una mquina, el programador

podra introducir en el programa una demora, digamos, "humana" -de unos 30 segundos-

para simular el clculo mental, y dar entre un 10 y un 20% de respuestas errneas para

imitar nuestras propias falencias. Turing no prohbe esto.

Turing se conformaba para su particular definicin de "inteligencia artificial" con una

mquina que se expresara de forma imposible de distinguir de la de las personas, es intil

profundizar, como hacen sus enemigos, en la definicin de "hacer trampa", adems hoy en

da casi todos los cientficos aceptan el Test de Turing como rasero estndar para la

inteligencia artificial.

5

2. FUNDAMENTOS DEL TEST DE TURING

El origen de esta prueba surge de la pregunta pueden pensar las mquinas?. Ante esta

cuestin Turing propuso otra forma de verla a modo de un juego, al que llam "juego de

imitacin" debido a los fundamentos en los que se basaba, los cuales son inicialmente un

escenario constituido por tres personas, un hombre (al que llamaremos individuo A), una

mujer (individuo B) y un interrogador que puede ser hombre o mujer.

El interrogador se sita en otra habitacin separado de los otros dos participantes, y su

objetivo principal ser determinar cul de los dos es el hombre y cul la mujer a los que se

referir como individuos A y B.

Para evitar que el tono de voz pudiera delatar a alguno de los interrogados, las

respuestas debern ser ofrecidas al interrogador de forma escrita y mecanografiadas. Otra

alternativa a para no dar a conocer los tonos de voz de los interrogados consiste en situar

a un intermediario entre los interrogados (A y B) y el interrogador, cuya nica funcin sera

en comunicar las preguntas y respuestas entre ambos bandos.

Una vez establecido este escenario inicial, surge la pregunta de qu ocurrira si una

mquina desempeara el papel de A o de B, ser el interlocutor capaz de averiguar que

la persona interrogada no es una persona sino una mquina, es decir, llegamos a la

pregunta planteada inicialmente pueden pensar las mquinas?.

Uno de los principios de este problema se centra en establecer una lnea que diferencie

entre lo que son capacidades fsicas y las intelectuales de un hombre. Este hecho se refleja

por la incapacidad que presenta el interlocutor de tocar a los interrogados y poder or sus

voces.

Basar esta prueba en una metodologa centrada en preguntas y respuestas parece la

ms adecuada para poder tratar un mayor nmero de campos posibles de la actividad

humana y que sean considerados de mayor importancia con respecto a su capacidad

intelectual. De este modo, resulta obvio que la mejor estrategia de la que va a disponer la

mquina ser tratar de dar las respuestas que de forma natural dara un hombre.

Cabe destacar, que mediante esta prueba Turing no se busca responder si todos los

computadores daran un buen resultado, ni tampoco si los computadores disponibles en

este momento lo haran, sino llegar a la conclusin de si hay computadores imaginables

que utilizando de forma adecuada la estrategia anteriormente expuesta y nos permitan

responder responder a la cuestin inicial de si una mquina puede o no pensar.

Ante esta prueba de inteligencia a la que Turing denomin "juego de imitacin",

opinaba que dentro de unos cincuenta ao sera posible programar computadores con

una capacidad de memoria aproximadamente 109, que jueguen tan bien este juego de

imitacin que un interrogador no tendr ms del 70 por ciento de posibilidades de hacer la

6

identificacin correcta, tras cinco minutos de interrogatorio, de quien es la mquina y

quien la persona humana.

Una de las grandes incgnitas de la poca (1950) y la cual sigue presente en la

actualidad y que constituy el origen de esta prueba es si las mquinas pueden o no

pensar. Ante este interrogante, Turing no llego a dar una respuesta concreta ya que el

consideraba que era una cuestin demasiado insignificante para ser discutida, pues

estaba convencido que a finales de siglo, la opinin general de la sociedad sobre este

tema y respecto a esta incgnita habra cambiado tanto, que una persona podra hablar

libremente del pensamiento de las mquinas sin esperar que fuera algo imposible.

3. APLICACIONES DEL TEST DE TURING CONTROL DE SPAM

Una de las aplicaciones de la prueba de Turing es el control de spam. Dado el gran

volumen de correos electrnicos enviados, el spam es, por lo general, enviado

automticamente por una mquina. As la prueba de Turing puede usarse para distinguir si

el correo electrnico era enviado por un remitente humano o por una mquina

Los spammers (individuos o empresas que envan spam) son por lo general mquinas

que recorren la red en busca de direcciones de correo por medio de las propias pginas

web, listas de correo, grupos de noticias, etc. para luego enviarnos correo no solicitado o

publicitario.

Una forma de determinar si una mquina tiene como objetivo el envo de spam es

comprobar, siguiendo la idea expuesta por el test de Turing, si es capaz de realizar una

conversacin de aspecto humana. Si el resultado del test es negativo, las peticiones de

esta mquina serian bloqueadas.

As la prueba de Turing puede usarse para distinguir si el correo electrnico fue enviado

por un remitente humano o por una mquina. Un ejemplo muy utilizado es la prueba

captcha, en la que un usuario cuando desea enviar un correo a un destinatario concreto

debe antes reconocer una serie de imgenes, sonidos, patrones, reproducir un texto

distorsionado, etc. todo ello basndose en test que la mayora humanos pueden resolver

de forma sencilla y que los programas de computadores actuales no podran en la

mayora de casos.

ELIZA

Un candidato a pasar el test de Turing fue el programa ELIZA diseado en 1966 por

Joseph Weizenbaum. Esta mquina trata de evitar el hecho de que un programa estuviera

basado en dominios limitados ligados a la estructura del propio programa. De modo que

dise un programa en el cual el conocimiento sobre los dominios se encontrase en

7

mdulos ajenos al propio programa, de esta forma cambiar de tema sera tan fcil como

cambiar de mdulo. Uno de esos mdulos, y el ms famoso, fue el que imitaba la

metodologa de un psicoanalista rogeriano (el psicoanalista Carl Rogers utilizaba una

terapia que consista simplemente en animar a los pacientes a hablar de sus problemas,

respondiendo a sus preguntas con otras preguntas). El programa en cuestin recibi el

nombre de ELIZA (ahora todo un mito de la historia de la I.A.). Aunque a simple vista ELIZA

parece estar hablando de forma normal con la persona que le cuenta sus problemas, la

verdad es muy diferente. ELIZA hace creer a su interlocutor que est hablando con "un ser"

que razona y entiende lo que le dice, realmente todo ello lo consigue mediante trucos

como repetir frases cambiando "yo" por "tu", o utilizar una frase del principio y transformarla

en otra pregunta relacionada con esa frase. Otro truco utilizado por este programa es

insertar frases como "ya veo" o "hblame ms acerca de esto".

ELIZA contaba con que las conversaciones seguan siempre el patrn comn de los

psicoanlisis rogerianos, ya que en otro tipo de conversacin una frase como "hblame

algo ms acerca de los coches rojos con motas verdes que apartan cerca de tu casa"

resultara demasiado extraa. Por ello, este programa finalmente no supera la prueba de

Turing, pues en la prueba se deben enfrentar a dos partes, una persona y un ordenador y

ambas deben comportarse de forma normal, de modo que el computador debe de

comportarse como una persona para ser confundida con una de ellas. Sin embargo, este

hecho quedara al descubierto en cuanto ELIZA respondiera, por ejemplo, con la frase

"Cuntame algo ms acerca de tu gusto por la comida italiana", ya que en una

conversacin normal no se utilizan esas expresiones.

4. REPERCUSIONES

A continuacin se muestran algunas de las objeciones surgidas en la poca ante los

fundamentos de la prueba de Turing y las respuestas que ofreci A. Turing ante ellas:

LA OBJECIN TEOLGICA

Exponen que el pensamiento es una funcin del alma del hombre. Y que Dios ha dado

un alma inmortal a todos los hombres y mujeres, pero a ningn otro animal y a ninguna

mquina. Por lo tanto, ningn animal o mquina podra pensar.

Turing expuso que con esta forma de pensar se estaba restringiendo la omnipotencia de

Dios, restringiendo el hecho que Dios pueda conceder alma a una mquina o a un animal

si lo considerase apropiado. Y que mediante la creacin de mquinas no se est limitando

el poder de Dios para crear almas, sino aportando posibles lugares (las mquinas) donde

poder albergar estas.

8

A Turing de todas formas no le importaban excesivamente los argumentos teolgicos

debido a los mal entendidos que tuvo con su forma de pensar de las cuales en la mayora

de los casos obtuvieron bastantes malos resultados con algunas de sus teoras.

LA OBJECIN MATEMTICA

Hay muchos resultados de la lgica matemtica que pueden ser utilizados para

demostrar que existen limitaciones al poder de las mquinas de estado discreto. El ms

conocido de estos resultados se apoya en el Se apoya en el Teorema de incompletitud de

Gdel y demuestra que, en cualquier sistema lgico suficientemente poderoso pueden ser

formuladas proposiciones que no pueden ser demostradas ni refutadas dentro del sistema,

a menos que el sistema mismo sea contradictorio. Existen otros resultados, semejantes en

algunos aspectos, como los de Church, Kleene, Rosser y Turing.

Turing expuso que pesar de haberse establecido algunas limitaciones a las capacidades

de una mquina, en ningn momento se ha demostrado que tales limitaciones no se

encuentren tambin presentes en la inteligencia humana. En muchas ocasiones nosotros

tambin damos respuestas equivocadas en comparacin con la ofrecida por una

mquina y sin embargo, no le atribuimos la superioridad a la mquina.

ARGUMENTOS BASADOS EN VARIAS INCAPACIDADES

Estos argumentos se basan en que nunca se podr inducir a una mquina a hacer X. En

este caso X era referido a las varios tipos de cosas: Ser bueno, amistoso, tener iniciativa,

tener sentido del humor, saber distinguir lo bueno de lo malo, cometer errores, enamorarse,

disfrutar las fresas con nata, hacer que alguien se enamore de algo, aprender de la

experiencia, emplear las palabras correctamente, tener tanta variedad de

comportamiento como un hombre, hacer algo verdaderamente nuevo....

Turing argumenta que muchas de estas limitaciones se deben en gran medida a la

reducida capacidad de memoria que presentan las mquinas, y adems expuso algunas

observaciones y soluciones con respecto a algunas de las limitaciones mencionadas:

El hecho de saborear un plato de fresas con nata podra solucionarse programando a

una mquina para que disfrutara de este plato.

Con respecto a que las mquinas no puedan equivocarse, se pregunta en primer lugar

que cul era el problema, supona esto que fuesen peores?. An as, una mquina podra

programarse para que por ejemplo, para pregunta realizadas en el juego de imitacin

sobre aritmtica, no fueran contestadas de forma exacta (cientfica) y de esta forma

delatarse en el elevado nivel de cmputo aritmtico con respecto al del hombre.

Ante el hecho de que la mquina no pueda equivocarse, recuerda que un mquina

tambin puede ofrecer resultados errneos o bien, tener un fallo de funcionamiento y en

consecuencia provocar que los resultados ofrecidos no sean los correctos.

9

Para eliminar la limitacin de que una mquina pueda o no moderar su conducta, la

mquina puede ser programada de modo que a raz de unos resultados obtenidos tras una

serie de acciones realizadas, pueda modificar sus propios programas para optimizar dichos

resultados.

Con respecto a que no pueda tener comportamientos ms variados, es como decir

indirectamente que no dispone de ms capacidad de memoria, y que es una limitacin

que ya habamos supuesto en un principio.

Por ltimo, argumenta que todas estas limitaciones podran ser resueltas estableciendo

el procedimiento correspondiente que solucionara cada una de las limitaciones, para que

sea llevado a cabo por la mquina.

EL ARGUMENTO DE LA INFORMALIDAD DE LA CONDUCTA

Esta objecin se refiere a que el comportamiento de un ser humano es demasiado

complejo como para ser descrito mediante unas simples reglas de un juego, es el

denominado problema de cualificacin, segn el cual no es posible elaborar un conjunto

de reglas que describa lo que una persona debera hacer en cualquier serie de

circunstancias posibles. Y como consecuencia a lo anterior, una mquina no podr imitar

por completo el comportamiento de una persona pues no conocera todas estas reglas.

Turing dijo que las leyes de conducta por las que se rige una persona, como es pararse

ante un semforo en rojo, si pueden ser conocidas, sin embargo, las leyes de

comportamiento, como podran ser las seguidas en caso de encontrarse en un camino

con dos seales que se contradicen, no.

La nica posibilidad conocida para encontrar tales leyes de comportamiento es

mediante la observacin cientfica. Siendo as, y suponiendo que se pudieran encontrar

tales leyes si existieran, se podra llegar a predecir el comportamiento llevado a cabo por

una persona a partir de cualquier circunstancia.

5. CONCLUSIONES

Habr que esperar a futuros desarrollos para saber si, alguna vez, un programa ser

capaz de pasar el famoso Test de Turing

Aunque en un futuro el Test de Turing pudiese identificar la inteligencia, seguira sin

poder probar la autoconciencia ni la intencionalidad. El problema aqu es que an no

estamos en condiciones de decir si los tres fenmenos son uno e indivisible, si la intencin y

la conciencia son prerrequisitos esenciales para la inteligencia, y ni siquiera si son tres

aspectos de un mismo fenmeno.

10

Ser necesario esperar a que las neurociencias avancen lo suficiente como para

aclararnos estos aspectos del asunto antes de que podamos decir con certeza si el test se

acerca o no a ser un "detector de inteligencia" como lo pretendi su creador.

6. BIBLIOGRAFIA.

[1] http://es.wikipedia.org/wiki/Test_de_Turing

[2] campusvirtual.unex.es/cala/epistemowikia/index.php?title=Prueba_o_test_de_Turing

[3] http://axxon.com.ar/rev/170/c-170divulgacion.htm