Diseo de una mquina de turing-Scriven para inteligencia artificial

Basada en un criterio de invariancia de una funcin discreta

Y su aplicacin en criptosistema.

Rodolfo A. Nieves Rivas

fesol7luzley@gmail.com

Resumen:

En este breve ensayo se presenta el diseo de una mquina de Turing-Scriven; adems

se realiza un anlisis de este dispositivo y se explica su funcionamiento, el cual se
fundamenta en un criterio de invariancia de una funcin discreta y se concluye con la
aplicacin de dicho dispositivo en un ejemplo de criptosistema.

Palabras clave: Maquina de Turing-Scriven; Inteligencia artificial; Criptosistema.

 Introduccin:

Se conoce como mquina de Turing a un dispositivo propuesto por el filsofo y

matemtico Ingles: Alan Mathison Turing y la misma consiste en la construccin de una
caja negra que permite ir inspeccionando una cinta ilimitada dividida en casillas, aqu
es necesario explicar que el diseo presentado en este artculo, por estar fundamentado
en un criterio de invariancia de una funcin discreta, presenta caractersticas de un
hibrido de una mquina de turing y adems de una mquina de scriven, bautizada con
este nombre en honor a Michel Scriven y esto nos permite garantizar su eficacia y
certeza determinstica y su aplicacin en criptosistema de seguridad.

Cabe destacar que al estar directamente vinculada esta mquina a la teora de

inteligencia artificial es conveniente explicar que existen programas que permiten que
un computador simule conversaciones en lenguaje natural como por ejemplo el
propuesto por el ingeniero elctrico del M.I.T., Joseph Weizenbaum llamado Eliza.

Esta mquina no requiere de una base de datos como por ejemplo la utilizada por el
sistema informtico de inteligencia artificial: Watson.

Es por todo lo anterior que se presenta esta propuesta de construccin y diseo de una
mquina de Turing-Scriven que nos permita a travs de la teora de criptosistemas
elaborar un algoritmo de seguridad ptimo.

Marco terico:

A representa el conjunto de todos los trminos: an de una sucesin numrica.

an es cualquier trmino de la sucesin numrica del conjunto: A

La serie o funcin: A
n

an
n=x
an=n
0 x 9

B representa el conjunto de todos los trminos: bn de una sucesin numrica.

bn es cualquier trmino de la sucesin numrica del conjunto: B

La serie o funcin: B
n

bn
n=x
bn=n
0 x 9
Funcin discreta:
n n

an b n=Di
n=x n= x
an=n bn=n
0 x 9 0 x 9

Criterio de invariancia de la funcin discreta:

Si:
n n

an b n=Di
n=x n= x
an=n bn=n
0 x 9 0 x 9

Entonces: an =bn

Si y solo si: Di=Di 1

Mquina de Turing-Scriven para inteligencia artificial.

 Componentes o partes de la mquina de Turing-Scriven:

Cintas: A y B transportadoras de la informacin:

Cinta: A

. . . . . . . . . .
Cinta: B

. . . . . . . . . .
Procesamiento de la informacin en el punto: C

Codificacin de la informacin del punto: A

* * * * * * * * * *

Codificacin de la informacin del punto: B

* * * * * * * * * *

Procesamiento de la informacin en el punto: D

Codificacin de la informacin del punto: C

* * * * * * * * * *

Procesamiento de retorno de la informacin: A1 y B1 desde: B y A Hasta: A y B

* * * * * * * * * *

Procesamiento de confirmacin del retorno de la informacin en: A y B

Confirmacin en la cinta: A

. . . . . . . . . .
0 1 0 0 1 1 1 0 1 0
 Cinta: B1

Confirmacin en la cinta: B

. . . . . . . . . .
0 1 0 0 1 1 1 0 1 0

Cinta: A1

Funcionamiento de la mquina para inteligencia artificial de Turing-Scriven:

Algoritmo:

Desde el punto: A se enva la informacin al punto: C y se le solicita que codifique la

informacin y se la enve a el punto: D

Desde el punto: B se enva la informacin al punto: C y se le solicita que codifique la

informacin y se la enve a el punto: D

En el punto: C se codifica la informacin de: A y B y se le enva al punto: D y se le

solicita que luego de encriptado se la enve tanto al punto: A as como al punto: B para
que ambos usuarios las transformen en sistema binario.

Desde el punto: D se enva encriptado la informacin a los puntos: A y B

Finalmente: A y B transforman en sistema binario: A1 y B1 y de esta forma confirman o

descodifican la informacin.

Ejemplo:

Cintas transportadoras de informacin:

Cinta: A

1 8 9 5 2 4 7 3 0 6

Cinta: B

3 8 5 2 4 0 7 1 9 6

Procesamiento de encriptacin de la informacin de: A y B en el punto: C

* * * * * * * * * *
Procesamiento de encriptacin de la informacin en el punto: D

-2 -2 2 5 3 7 7 9 0 0

Proceso de retorno de la informacin desde el punto: D Hasta los puntos: A y B

-2 -2 2 5 3 7 7 9 0 0

Proceso de confirmacin del retorno de la informacin en los puntos: A y B

Confirmacin en la cinta: A

1 8 9 5 2 4 7 3 0 6

-2 -2 2 5 3 7 7 9 0 0

Confirmacin en la cinta: B

3 8 5 2 4 0 7 1 9 6

-2 -2 2 5 3 7 7 9 0 0

Procedimiento para la descodificacin parcial o total:

Se selecciona el primer trmino de la cinta: D si es igual a: Cero y luego se determinan

todos los trminos en la cinta: D que se repitan y se descarta el primero de ellos y
solamente se toman en consideracin los siguientes al primero. Luego se comparan
estos trminos con los trminos de las cintas: A y B establecindose las coincidencias
correspondientes de ambas cintas y transformadas en sistema binario y de esta manera
queda descodificado el mensaje inicial de forma parcial o total.

Ejemplo de Descodificacin o des encriptacin de las cintas: A y B

1 8 9 5 2 4 7 3 0 6

-2 -2 2 5 3 7 7 9 0 0

0 1 0 0 0 0 1 0 0 1
 3 8 5 2 4 0 7 1 9 6

-2 -2 2 5 3 7 7 9 0 0

0 1 0 0 0 0 1 0 0 1

Discusin y anlisis de resultados:

Cabe destacar que el diseo de este dispositivo tiene caractersticas de una puerta lgica,
dado que la maquina cumple el rol de compilador e interprete, lo cual permite su
acoplamiento o ensamble en cualquier sistema y en lo referente a la descodificacin,
esta solo puede realizarse de forma bidireccional, lo que garantiza la seguridad optima y
confiabilidad de su aplicacin en criptosistema y adems es necesario aclarar que tanto
la encriptacin, as como la descodificacin pueden ambas realizarse de forma parcial o
total, as como local o global y esto es motivado a que esta mquina se fundamenta en
una funcin de restriccin que permiten transformar funciones no biyectivas en
funciones biyectivas parcial o localmente lo que asegura que la funcin original sea
restringida a un subconjunto particular de su dominio, esto es debido a que las nociones
de inyectividad y sobreyectividad de funciones son por lo general, de carcter local;
Esto significa que para mucha funciones que no son inyectivas o sobreyectivas en su
dominio y rango natural, resulta que restringiendo su dominio o su rango a ciertos
subconjuntos de estos, podemos hacer que ellas sean inyectivas o sobreyectivas en tales
subconjuntos y las funciones son ambas independientes del lenguaje usado, bien sea
procedimental como por ejemplo el fortran, cobol, pascal o no procedimentales como el
lisp o prolog, adems la informacin permanece siempre oculta en la mquina y es la
maquina la que realiza la encriptacin, y los usuarios la descodifican; Es importante
acotar que en la comunicacin: Usuario-maquina o mquina-usuario, ambos utilizan su
correspondiente lenguaje de alto nivel a bajo nivel o de bajo nivel a alto nivel, lo que
asegura su autonoma de decisin y adems la misma est condicionada a solo
responder la verdad y es por esto que se le considera mquina de turing-scriven de
inteligencia artificial.

Referencias bibliogrficas:

[1] Gardner, M. miscelnea matemtica; Biblioteca cientfica Salvat,1986.

Espaa.pag.129-137.
[2] Nieves R. Rodolfo Dos criterios y su aplicacin a un problema NP-completo.
Memorias de las XX jornadas tcnicas de investigacin y IV de postgrado; Unellez.
Ed, Horizontes.Venezuela, 2013.
[3] Brito Wilman. Estudio de las funciones; Recursos para el aula de la tercera escuela
venezolana para la enseanza de la matemtica, Merida-Venezuela.1999; pag.12-21