Franklin Mauricio Vega Hidalgo

rea de la Energa, la Industria y los Recursos Naturales no Renovables

TEMA: ENSAYO SOBRE LECTURA CRTICA DEL ARTCULO DE ALAN TURING SOBRE EL TEST DE TURING Y LA MQUINA DE TURING.

AUTOR:

Franklin Mauricio Vega Hidalgo

DOCENTE:

Ing. Luis Chamba.

FECHA:

26/09/2012

LOJA ECUADOR 2012

Ingeniera en Sistemas

Universidad Nacional de Loja

ENSAYO # 1

1. TEMA ENSAYO SOBRE LECTURA CRTICA DEL ARTCULO DE ALAN TURING SOBRE EL TEST DE TURING Y LA MQUINA DE TURING. 2. ANTECEDENTES El presente ensayo, personajes que procura realizar un anlisis acerca de uno de los de manera significativa a la tecnologa, aport

especficamente en el campo de los ordenadores y mquinas automticas. Los dos temas mayor relevancia en ste campo son: La Mquina de Turing y El Test de Turing, los mismos que fueron desarrollados por el matemtico, lgico, cientfico de la computacin, criptgrafo y filsofo, Turing (1912-1954)1 . El primero de sus inventos, es un modelo computacional similar a un Alan Mathison

autmata finito, con un uso mucho ms potente y polivalente. El segundo de ellos, permite identificar la existencia de inteligencia en una mquina y comprobar que una mquina puede llegar a pensar al igual que una persona. Cabe mencionar que el tratamiento de temas como stos, son de gran relevancia para nosotros como estudiantes, puesto que nos permite conocer ms a fondo acerca de los diferentes personajes, que hoy por hoy, nos permiten gozar de las bondades que nos otorgan los avances tecnolgicos, y cmo no aportar a los mismos, a travs de la creacin de software como: traductores, compiladores, etc. A continuacin, se encuentra la etapa de descripcin, donde se plantea un anlisis de las dos creaciones antes expuestas. Para concluir, se expondrn algunas conclusiones obtenidas durante el ensayo.

Mquina de Turing [1]

Lenguajes Formales Y Teora De Autmatas

Franklin Mauricio Vega Hidalgo

Ingeniera en Sistemas

Universidad Nacional de Loja

3. DESCRIPCIN Alan Mathison Turing naci en 1912 y falleci en 1954, desconocindose la causa de su muerte, a su corta edad mostr una asombrosa intuicin cientfica. Se destac durante su etapa escolar, ganando premios, lo que lo conllevo hacerse acreedor a una beca en el King's College de Cambridge, a partir de ste momento comenz su inters por la lgica matemtica.

Turing pens en crear una mquina capaz de realizar de forma totalmente mecnica los procesos que normalmente llevara a cabo un matemtico. De tal forma que exista una mquina para cada proceso, entre ello: suma, multiplicacin, etc. Estas mquinas recibieron el nombre de "Mquinas de Turing". Luego de estudiar con cautela el funcionamiento de cada una de stas importantes mquinas, se concluy que era posible disear un mecanismo nico capaz de cumplir las funciones de cualquier otra mquina de Turing. A sta de le denomin la "Mquina Universal de Turing". Cabe mencionar el funcionamiento de la Mquina de Turing inicia asumiendo un estado, el mismo que pertenece a un conjunto finito de estados. El procesamiento de una Mquina de Turing empieza siempre en un estado especial, denominado estado inicial 2. Una gran ventaja de contar con un conjunto finito de estados es que se puede implementar un sistema de acuerdo a un nmero fijo de recursos, que en su caso vendran a ser los estados. Por su parte, la aparicin del Test de Turing3 se dio en la revista Mind en 1950, en un artculo acerca de la inteligencia y mecnica de los ordenadores, que hasta el da de hoy, sigue siendo un identificativo importante para la defensa de la Inteligencia Artificial.

2 3

Mquina de Turing (En Portugus) [2] El Test de Turing: Dos mitos, un dogma. [3]

Lenguajes Formales Y Teora De Autmatas

Franklin Mauricio Vega Hidalgo

Ingeniera en Sistemas

Universidad Nacional de Loja

Los principios de ste test manifiestan el planteamiento de una pregunta fundamental: Las mquinas piensan? Por lo tanto el test supone que, si una computadora manifiesta totalmente cualidades de inteligencia, es porque es inteligente. En s, la tcnica consta en realizar una prueba entre una computadora y un hombre, donde la mquina debe hacerse pasar por un hombre sin que ste lo sepa. Se mantiene una conversacin de texto a modo de chat donde la mquina tratar de simular la inteligencia humana. Se concluye que la computadora posee un nivel de inteligencia excelente, en caso de que la persona que mantuvo la conversacin con la mquina, no pudo determinar si habl con una computadora o un humano. Es de mencionar, que hasta la actualidad no ha existido una computadora que haya pasado el test. Segn Turing, se pensaba que por el ao 2000, las computadoras pasaran el test correctamente, cosa que no ha ocurrido hasta ahora. Una de las importantes y conocidas aplicaciones del Test de Turing sera para controlar el spam en Internet. Como ste tipo de mensajes son enviados generalmente por mquinas, la prueba servira para diferenciar si fueron enviados por humanos o computadoras. Un ejemplo claro son los cdigos de verificacin o captchas 4. Es importante mencionar, que tambin se ha intentado crear programas que pasen el Test de Turing, uno de ellos es ELIZA, que se basaba en 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). Aunque a simple vista ELIZA parece estar hablando de forma normal con la persona que le cuenta sus problemas, la verdad no es esa. ELIZA hace creer a su interlocutor que est hablando con "un ser" que razona y entiende lo que le dice, en realidad todo esto se consigue con 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

Qu es el Test de Turing? [4]

Lenguajes Formales Y Teora De Autmatas

Franklin Mauricio Vega Hidalgo

Ingeniera en Sistemas

Universidad Nacional de Loja

programa es insertar frases como "ya veo" o "hblame ms acerca de esto". Pero como se mencion anteriormente, ste programa tambin fracas ante el intento de aprobar el Test de Turing5 .

4. CONCLUSIONES El modelo de la Mquina de Turing, de todos los modelos de computadora, sin lugar a duda, es uno de los ms importantes y ms estudiados. Muchos comparten el criterio de que ste es el "padre" de la informtica moderna. As tambin las Maquinas de Turing han sido aplicadas en el desarrollo de la teora computacional y en los llamados generadores de lenguaje. Con respecto al Test de Turing, se podr concluir que las mquinas pueden dar un resultado mejor que el del ser humano, pero no hay que olvidar que, la mquina la programa un humano. En la actualidad no se ha determinado si la mquina reemplaza al hombre en todos sus oficios, pero no hay que disminuir la importancia de las mquinas, puesto que stas en muchas ocasiones reemplazan al humano. 5. BIBLIOGRAFIA [1] Costas Rodrguez, Sergio, 1996-2011, Mquina de Turing, Disponible en: http://www.rastersoft.com/articulo/turing.html Fecha de Consulta: [22-092012] [2] UNIVERSIDADE ESTADUAL DE en: MARING-DEPARTAMENTO DE INFORMTICA, Maldonado Gomes da Costa,Yandre, Mquina de Turing(En Portugus), Disponible http://infouem.sots.com.br/wpcontent/uploads/2010/11/mt-full.pdf Fecha de Consulta: [22-09-2012]

Prueba o Test de Turing ELIZA [5]

Lenguajes Formales Y Teora De Autmatas

Franklin Mauricio Vega Hidalgo

Ingeniera en Sistemas

Universidad Nacional de Loja

[3] UNIVERSIDD CATLICA DE LEUVEN, Gnzales, Rodrigo,2007, El Test de Turing: Dos Mitos y un Dogma, volumen 63, Disponible en: www.scielo.cl/pdf/rfilosof/v63/art03.pdf Fecha de Consulta: [22-09-2012] [4] Blogodisea, 11 (01-2010), Qu Test de Turing?, Disponible en: http://www.blogodisea.com/2010/que-test-de-turing/preguntas-respuestas/ Fecha de Consulta: [22-09-2012] [5] UNIVERSIDAD DE EXTREMADURA (UEX),Epistemowikia-CALA (Campus Libre Abierto) , 03 (07-2012) Prueba o Test de Turing , volumen 6, Disponible test_de_Turing Fecha de Consulta: [22-09-2012] en: http://campusvirtual.unex.es/cala/epistemowikia/index.php?title=Prueba_o_

Lenguajes Formales Y Teora De Autmatas

Franklin Mauricio Vega Hidalgo