¿sera que la Computadora puede Programar Sola?

  

    Los lenguajes de programación se pueden clasificar en imperativos y declarativos. Aquellos que dan órdenes detalladas a la computadora son “imperativos”. Por otro lado, aquellos que describen el problema son “declarativos”. Dentro de la segunda clasificación, se encuentra el problema de descripción e interpretación. Es decir, se intenta describir el problema frente a la máquina, ésta intenta interpretar la descripción y generar una solución automáticamente. Esta idea en Inteligencia Artificial (IA) no es nueva. La programación declarativa con lenguaje natural era considerada como ciencia ficción hasta hace no mucho tiempo atrás. Ahora, se comenzó a abordar dicho desafío.

    En la perspectiva tradicional de la IA, la programación funcional y la programación lógica pertenecen a la programación declarativa. El programador escribe una descripción del problema a resolver utilizando un lenguaje particular (como LISP o PROLOG). Luego, un compilador genera el programa ejecutable. Sin embargo, estos estilos de programación están muy lejos están de la idea de “proveer una descripción del problema capaz con el objetivo de que una maquina puede resolver en forma autónoma”.