BIOGRAFIA ALAN TURING "El ingls Alan Turing (1912-1954) puede ser considerado el padre de la Inteligencia Artificial (IA),

aunque este nombre no se usase hasta despus de 1956. Turing estudi lgica matemtica en la Universidad de Cambridge y en 1937 estuvo en el Institute for Advanced Studies de Princeton, donde estaban Gdel y Von Newman, entre otros destacados lgicos y matemticos, adems de Albert Einstein Durante la segunda guerra mundial trabaj para su pas en los servicios de informacin; en 1949 en la Universidad de Manchester y en el programa MADAM (Manchester Authomatic Digital Machine) que result ser el equipo de computacin de mayor memoria construido hasta entonces. Condenado a causa de su homosexualidad a un tratamiento, o tortura, mdicofarmacutica equivalente a la castracin, Turing se suicid por envenenamiento en 1954." (Enric Trillas50-51) "Durante los aos de la segunda guerra mundial, Turing colabor en el diseo de una mquina llamada la Bomba que exploraba las combinaciones posibles generadas por la mquina codificadora alemana Enigma. Tal Bomba fue una mquina de propsito especial, el de descifrar cdigos, construida electromecnicamente con rels. Asimismo, trabaj en el desarrollo de la Colossus (que algunos consideran como el primer ordenador electrnico) que ya funcionaba con vlvulas (tubos de vaco) en lugar de rels; gracias a ella los britnicos pudieron mantener alejados de los submarinos alemanes a los barcos de suministro que cruzaban el Atlntico Turing no recibi en vida reconocimiento alguno de la sociedad a la que tanto ayud en los momentos ms difciles." (Enric Trillas51)

"Ms sorprendente todava es que Turing demostr que para cualquier sistema de sus mquinas que sea necesario para efectuar algoritmos cada vez ms complicados existe una mquina de Turing capaz de hacerlo todo ella sola. Tal mquina hipottica recibe el nombre de mquina de Turing universal, y su existencia terica pone de manifiesto que el concepto de mquina de Turing es de una versatilidad sin fin, al permitir que cualquier incremento de la complejidad del algoritmo pueda ser aceptado por una lista ms larga de especificaciones Los ordenadores actuales son realizaciones de las ideas de John von Newmann y de Alan Turing." (Enric Trillas53)

Turing "en 1950 propuso una prueba que se conoce como el test de Turing, el cual se basa en la idea siguiente: si una persona se comunica slo a travs de

un terminal con otras dos partes, que estn escondidas,, y no se puede discriminar a travs de preguntas cul de ambas partes es una persona y cul es un ordenador, entonces no se puede negar que la mquina muestra la cualidad que, en las personas, se llama inteligencia. Tal procedimiento tiene la ventaja de no tener que definir lo que es la inteligencia. Turing crea firmemente que mquinas que piensen llegaran a existir y predijo que hacia el ao 2000 una mquina jugara al juego de imitacin, como l llam al test, de manera que un interrogador medio no tendra ms del 70 por 100 de posibilidades de efectuar la identificacin correcta tras cinco minutos de preguntas." (Enric Trillas55)

En el desarrollo de la computadora, la teora antecedi a la prctica. El manifiesto del nuevo orden electrnico de cosas fue un trabajo ("On Computable Numbers" -Sobre nmeros calculables-) publicado en 1936, por el matemtico y lgico A.M.Turing, el cual determin la naturaleza y las limitaciones tericas de las mquinas lgicas antes de que se construyera siquiera una sencilla computadora por completo programable.(Bolter17) Turing... en 1950 public "Computing Machinery and Intelligence"... expres su conviccin de que las computadoras eran capaces de imitar perfectamente la inteligencia humana y que tal hazaa la realizaran hacia el ao 2000. Al prometer (o al amenazar) sustituir al hombre, la computadora nos ofrece una nueva definicin de hombre, como "procesador de informacin", y de naturaleza, como "informacin que debe ser procesada".(Bolter18)

"En 1936 Turing concibi su propio autmata imaginario. La mquina de Turing, como se le lleg a conocer, no hizo intento alguno para unirse a la sociedad de las criaturas vivas. Podra visualizarse ms como un tocacintas muy sofisticado con una cinta arbitrariamente infinita. "Siendo una Mquina de Estados Finitos, se podra concebir como un autmata finito".(Lvy 22-23)

DESCRIPCION MAQUINA DE TURING La mquina de Turing, modela de forma matemtica una mquina que opera sobre una cinta. En esta cinta hay smbolos que la mquina puede escribir o leer, uno a la vez. Las operaciones que la mquina puede realizar estn determinadas por un conjunto finito de instrucciones elementales como si el estado es 6 y el valor es 0 escribe 1 y pasa al estado 27.

Una mquina de Turing consta de las siguientes partes:

Una cinta que est dividida en celdas una al lado de la otra. Cada celda contiene un smbolo en algn alfabeto finito. Dicho alfabeto contiene un smbolo especial en blanco (blank symbol escrito como B) y uno o ms smbolos adicionales. La cinta se supone infinita. Una cabeza que puede leer y escribir smbolos en la cinta y mover la cinta a la izquierda o a la derecha una posicin. Una tabla de reglas finita de instrucciones, usualmente tuplas de cinco elementos que dado el estado (qi) en el que se encuentra actualmente la mquina y el smbolo (aj) que est siendo ledo desde la cinta, indica a la mquina que realice la siguiente secuencia de acciones: Escribe o borra un smbolo Mueve la cabeza (a la izquierda o la derecha) Asume el mismo o un nuevo estado segn lo prescrito Un registro de estados donde se guarda el estado de la mquina de Turing.

Mquina de Turing Universal Turing defini que es posible desarrollar una nica mquina que pueda ser usada para computar cualquier secuencia computable. Si esta mquina U es suministrada con una cinta que en su comienzo est escrita con tuplas quntuples separadas por punto y coma provenientes de una mquina M, entonces U computar las mismas secuencias que M.

Este modelo de computacin supone el avance terico fundamental que condujo a la nocin de programa de computadora almacenado.

TEST DE TURING En 1950, Turing abord el problema de la inteligencia artificial y propuso el experimento que hoy se conoce como el test de Turing cuya intencin era intentar definir un estndar por el cual se pudiera conocer si una mquina poda ser llamada inteligente.

La idea consista en que se puede llegar a decir que una computadora piensa si un interrogador humano no pudiera distinguir a travs de una conversacin, si estuviera conversando con un ser humano o con una mquina. Turing propuso que en lugar de simular una mente artificial adulta, era mejor simular una mente infantil para someterla ms tarde a un proceso de aprendizaje.

MAQUINA DE TURING CON VARIAS CINTAS Cada cinta tiene su propia cabeza de lectura/escritura. Una transicin: Depende de los smbolos acutales de todas las cintas. Slo afecta a una cinta (escribir o desplazar). Estado inicial: Contenido de la primera cinta: w... Las restantes cintas estn en blanco, con la cabeza en su extremo izquierdo. Teorema 3.1 Para cada mquina de Turing M de k cintas, existe una mquina de Turing M' con una cinta tal que L(M)=L(M'). DEMOSTRACIN: Construccin de M' Previo: Cada casilla en el conjunto de las k cintas se representa como una 2k-tupla: En la posicin 2n-1 de la tupla se tiene el smbolo de la cinta n. En la posicin 2n de la tupla hay 1 si la cabeza est en la casilla, si no. Es posible asignar un smbolo de cinta nuevo a cada posible 2ktupla. As se puede almacenar en una sola cinta toda la informacin del conjunto completo de cintas. Cada estado de M' se representa como un estado compuesto formado por una k+1tupla cuyo primer elemento es el estado de la cinta, siendo los dems elementos los

smbolos actuales de todas las cintas. Primer paso: traducir el contenido de la cinta de M' a un formato que represente todas las cintas de M. Desplazar el contenido de la cinta a la derecha un lugar: RSRL (la cabeza queda en la segunda posicin de la cinta). Mover la cabeza un lugar a la izauierda, escribir # y mover un lugar a la derecha. Repetir los dos pasos siguientes hasta que el smbolo sustituido en b) sea un blanco: Mover la cabeza un lugar a la derecha. Sustituir el smbolo actual x por la tupla (x,,) Ejecutar L, lo que pondra la cabeza en la segunda casilla de la cinta, y escribir en ella la tupla (,1,,1,...,,1).

Simulacin de M: Cada transicin de M supone una secuencia de pasos en M'. Estado inicial: (i,,,...,). Una transicin () slo afecta a una cinta (j). Secuencia corresponciente a la transicin : Mover la cabeza a la derecha hasta que el componente 2j de la 2k-tupla sea 1. Si la transicin es uan esceitura, modificar el componente 2j-1 de la tupla. Si la transicin produce un movimiento a la derecha: Reemplazar el componente 2j-1 por un . Mover la cabeza a la derecha. Si encuentra un , sustituirlo por la 2k-tupla (,,...,). Reemplazar el componente 2j-1 por un 1. Si la transicin produce un movimiento a la izquierda: Reemplazar el componente 2j-1 por un . Mover la cabeza a la izquierda. Si encuentra un #, mover a la izquierda (terminacin anormal). Reemplazar el componente 2j-1 por un 1. Colocar la cabeza en la segunda posicin de la cinta (despus de buscar a la izquierda el smbolo #), y pasar al nuevo estado compuesto de M'.

La mquina M' as construida simula M, y acepta el mismo lenguaje que ella