viernes, 6 de agosto de 2010

2. La prueba de Turing (máquina y persona)

Se llama Prueba o Test de Turing al procedimiento desarrollado por Alan Turing para identificar la existencia de inteligencia en una máquina. Expuesto en 1950 en un artículo para la revista Mind (Computing Machinery and Inteligence), sigue siendo hoy día una de las cabezas de lanza de los defensores de la Inteligencia Artificial. Está fundamentado en la asunción positivista de que, si una máquina se comporta en todos los aspectos como inteligente, entonces debe ser inteligente.


La prueba consiste en un desafío. La máquina ha de hacerse pasar por humana en una conversación con un hombre a través de una comunicación de texto estilo chat. Al sujeto no se le avisa si está hablando con una máquina o una persona. Si el sujeto es incapaz de determinar si la otra parte de la comunicación es humana o máquina, entonces se considera que la máquina ha alcanzado un determinado nivel de madurez: es inteligente. Todavía ninguna maquina puede pasar este examen en una experiencia con método científico.

La prueba de Turing


Existe una versión modificada, propuesta por Roger Penrosse: la sala china, en esencia es igual, pero la ejecución del algoritmo la realizan personas encerradas en una habitación, se requiere que las personas de la habitación no conozcan el idioma en que se realiza la conversación. Pese a la brillantez de Penrosse, esta modificación no aporta nada al problema, puesto que si los operadores consiguen comprender la conversación, lo harían gracias a su propia inteligencia, por otra parte, pese a lo aparentemente absurdo de la proposición, la sala podría pasar la prueba de Turing sin que los operadores hubieran comprendido nada de la conversación.

1. Inicios de la Máquina de Turing

En el año 1931, Kurt Gödel publicó su famoso artículo Sobre las proposiciones formalmente indecidibles en Principia mathematica y sistemas relacionados, el cual en síntesis demuestra que toda formulación axiomática consistente de la teoría de números contiene proposiciones indecidibles, es decir, siempre habrá en ella afirmaciones verdaderas que no se pueden demostrar.



K. Gödel con A. Einstein

En 1937, el matemático inglés Alan Turing publicó otro artículo famoso (sobre los Números Calculables), que desarrollo el teorema de Gödel y que puede considerarse el origen oficial de la informática teórica. En este artículo introdujo la Máquina de Turing, una entidad matemática abstracta que formalizó el concepto de algoritmo, convirtiéndose en la precursora de las computadoras digitales. Con la ayuda de su máquina, Turing pudo demostrar que existen problemas irresolubles, tales que ninguna máquina u ordenador serán capaces de obtener su solución. Por esta razón, Turing es considerado el padre de la teoría de la computabilidad.

A. Turing


En forma general, una Máquina de Turing puede considerarse como una cinta infinita dividida en casillas, cada una de las cuales contiene un símbolo. Sobre dicha cinta actúa un dispositivo que puede adoptar diversos estados y que, en cada instante, lee un símbolo de la casilla sobre la que está situado. En función del símbolo que ha leído y del estado en que se encuentra, realiza las tres acciones siguientes: pasa a un nuevo estado, imprime un símbolo en lugar del que acaba de leer y se desplaza a una posición hacia la izquierda, derecha, o se detiene.

Presentación del Blog



A continuación se presenta el desarrollo del Trabajo Colaborativo No.3, de la asignatura Autómatas y Lenguajes Formales, correspondiente a los temas estudiados en la tercera unidad de dicho curso, titulada Lenguajes Estructurados por Frases. En esta unidad se estudian las Máquinas de Turing, su computación, y las llamadas Funciones Recursivas.


En el presente blog, llamado Máquinas de Turing, se desarrolla un total de diez preguntas sobre estos dispositivos, abarcando aspectos como su definición, representación, clasificación, y funcionamiento, a través de diversos ejemplos presentados. Según esto, se buscan alcanzar los siguientes objetivos:

• Comprender el funcionamiento de la Máquina de Turing (MT) a través de la compilación de información que incluye los inicios del dispositivo, la descripción de la prueba máquina – persona, la definición formal de una MT, su representación gráfica y los lenguajes que reconoce.

• Conocer las diferentes clases de Máquinas de Turing y sus principios de funcionamiento.

• Comprender a través de ejemplos el proceso de reconocimiento de cadenas en una Máquina de Turing.

 
 
TRABAJO COLABORATIVO No. 3


LENGUAJES ESTRUCTURADOS POR FRASES

Presentado por

EDWIN MARTINEZ

SERGIO MAYORGA

FRAN ORTIZ

JUAN PIZZA

DIEGO POVEDA

Presentado a

Tutor JAIRO RIAÑO

GRUPO 301405_5

AUTOMATAS Y LENGUAJES FORMALES

UNIVERSIDAD ABIERTA Y A DISTANCIA UNAD

AGOSTO-2010