lenguaje de programación de inteligencia Artificial, un lenguaje informático desarrollado expresamente para implementar la investigación de inteligencia artificial (IA). En el curso de su trabajo sobre el teórico de la lógica y el GPS, dos primeros programas de IA, Allen Newell y J. Clifford Shaw de la Corporación Rand y Herbert Simon de la Universidad Carnegie Mellon desarrollaron su lenguaje de procesamiento de información (IPL), un lenguaje informático diseñado para la programación de IA. En el corazón de IPL estaba una estructura de datos altamente flexible que llamaron una lista., Una lista es simplemente una secuencia ordenada de elementos de datos. Algunos o todos los elementos de una lista pueden ser listas. Este esquema conduce a estructuras ricamente ramificadas.
en 1960 John McCarthy, un científico informático en el Instituto de tecnología de Massachusetts (MIT), combinó elementos de IPL con el cálculo lambda (un sistema lógico-matemático formal) para producir el lenguaje de programación LISP (procesador de listas), que sigue siendo el lenguaje principal para el trabajo de IA en los Estados Unidos., (El cálculo lambda fue inventado en 1936 por el lógico de la Universidad de Princeton Alonzo Church mientras investigaba el problema abstracto Entscheidungsproblem, 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 logic PROLOG (Programmation en Logique) fue concebido por Alain Colmerauer en la Universidad de Aix-Marseille, Francia, donde el lenguaje se implementó por primera vez en 1973., PROLOG fue desarrollado por el lógico Robert Kowalski, miembro del grupo AI de 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 los Estados Unidos en Illinois por el lógico británico Alan Robinson. PROLOG puede determinar si una instrucción dada sigue o no lógicamente de otras instrucciones 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 es ampliamente utilizado para el trabajo de IA, especialmente en Europa y Japón.
investigadores del Instituto de Tecnología Informática de Nueva Generación en Tokio han utilizado PROLOG como base para sofisticados lenguajes de programación lógica. Conocidos como lenguajes de quinta generación, estos están en uso 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 que las declaraciones se localicen 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.)
Deja una respuesta