Lenguaje de programación de inteligencia artificial:.

Lenguaje de programación de inteligencia artificial, un lenguaje informático desarrollado expresamente para implementar la investigación en inteligencia artificial (IA). En el curso de su trabajo sobre Logic Theorist y GPS, dos de los primeros programas de IA, Allen Newell y J. Clifford Shaw de Rand Corporation y Herbert Simon de la Universidad Carnegie Mellon desarrollaron su lenguaje de procesamiento de información (IPL), un lenguaje informático diseñado para Programación de IA. En el corazón de IPL había una estructura de datos altamente flexible a la que llamaron lista. Una lista es simplemente una secuencia ordenada de elementos de datos. Algunos o todos los elementos de una lista pueden ser ellos mismos listas. Este esquema conduce a estructuras ricamente ramificadas.

En 1960, John McCarthy, un informático del Instituto Tecnológico de Massachusetts (MIT), combinó elementos de IPL con el cálculo lambda (un sistema matemático-lógico formal) para producir el lenguaje de programación LISP (List Processor), que sigue siendo el lenguaje principal. para el trabajo de IA en los Estados Unidos. (El cálculo lambda en sí fue inventado en 1936 por el lógico Alonzo Church de la Universidad de Princeton mientras investigaba el Entscheidungsproblem abstracto , o “problema de decisión”, para el cálculo de predicados, el mismo problema que el matemático y lógico británico Alan Turing había estado atacando cuando inventó la máquina universal de Turing.)

El lenguaje de programación lógica PROLOG (Programmation en Logique) fue concebido por Alain Colmerauer en la Universidad de Aix-Marsella, Francia, donde el lenguaje se implementó por primera vez en 1973. PROLOG fue desarrollado aún más por el lógico Robert Kowalski, miembro del grupo AI. en la Universidad de Edimburgo. Este lenguaje hace uso de una poderosa técnica de demostración de teoremas conocida como resolución, inventada en 1963 en el Laboratorio Nacional Argonne de la Comisión de Energía Atómica de Estados Unidos en Illinois por el lógico británico Alan Robinson. PROLOG puede determinar si una declaración dada se sigue lógicamente de otras declaraciones dadas. Por ejemplo, dadas las afirmaciones “Todos los lógicos son racionales” y “Robinson es un lógico”, un programa PROLOG responde afirmativamente a la pregunta “¿Robinson es racional?” PROLOG se utiliza ampliamente para trabajos de IA, especialmente en Europa y Japón.

Investigadores del Instituto de Tecnología Informática de Nueva Generación de Tokio han utilizado PROLOG como base para sofisticados lenguajes de programación lógica. Conocidos como lenguajes de quinta generación, se utilizan en computadoras paralelas no numéricas desarrolladas en el Instituto.

Otro trabajo reciente incluye el desarrollo de lenguajes para razonar sobre datos dependientes del tiempo, como "la cuenta se pagó ayer". Estos lenguajes se basan en una lógica tensa, que permite ubicar los enunciados en el flujo del tiempo. (La lógica tensa fue inventada en 1953 por el filósofo Arthur Prior en la Universidad de Canterbury, Christchurch, Nueva Zelanda).

BJ Copeland