Re: La Inteligencia Artificial avanzaría con la técnica Cuántica?

#35366
saibaba
Miembro

Vos querés que haya bugs y cuelgues «a propósito».

Por un lado, para lograr eso, basta con instalar Windows en el sistema. :P

Dijiste algo como esto: «una parte del sistema que vigila a la otra parte».

Habría que ver qué es lo que vigila, y qué hace al detectar cierto «estado» de la parta vigilada.

En lo que se refiere a computadoras, hay limitaciones sobre esto, hay cosas que son imposibles.

Te pongo un ejemplo, a ver si se entiende.

Las computadoras son, prácticamente, máquinas de Turing.

La máquina de Turing es algo teórico, pero podemos pensar que una PC tiene la capacidad de proceso de una «máquina de Turing» para simplificar la discusión.

En realidad cualquier programa puede considerarse también una máquina de Turing.

Ahora imaginemos dos procesos A y B, tal que el A vigila al B.

Se desea permitir que B tenga «cuelgues». Digamos que se trata de un tipo específico de cuelgue: que entre en un loop infinito, con lo cual el proceso B no es capaz de parar por sí mismo.

Entonces el proceso A tiene que tener la capacidad de detectar si otro proceso dado es capaz de pararse o no.

Este es el famoso problema del Halting problem.

Ocurre que diseñar un proceso A que detecte la parada de CUALQUIER otro proceso, es algo imposible.

La demostración de esto está en todos lados, y en particular en Wikipedia:

http://es.wikipedia.org/wiki/Problema_de_la_parada

Sin embargo, hay muchos procesos particulares que obviamente pueden determinarse si terminan o no.

Pero la paradoja del Halting Problem muestra que algoritmos que hagan esta tarea deben hacerse con mucho cuidado, evitando caer en la paradoja, que no sé como lograr de forma sistemática.

_________

Por eso hay que tener cuidado con esto, porque si te ponés a experimentar por un camino imposible sin saberlo, vas a perder mucho tiempo en algo que ya se sabe de antemano que no conduce a nada.

Son problemas teóricos de la computación de los que hay que estar al tanto, porque no hay programa ni compilador en el mundo que nos diga si estamos entrando en caminos paradójicos o imposibles.