Cualquier lenguaje de programacin puede ser usado para desarrollar programas de inteligencia artificial. No obstante, destacan en especial tres lenguajes que fueron desarrollados especficamente para realizar programas dotados de inteligencia artificial, los lenguajes Lisp, Prolog y Ops5. Estos lenguajes brindan caractersticas especialmente diseadas para operar problemas generalmente hallados en Inteligencia Artificial.
Una de las principales caractersticas que comparten los lenguajes LISP y PROLOG, como derivacin de su respectiva estructura, es que logran ser utilizados para escribir programas capaces de examinar a otros programas, incluyendo a ellos mismos. LISP: Su nombre viene de List Processor. LISP fue el primer lenguaje para procesamiento simblico. Fue desarrollado en 1958, en el Instituto de Tecnologa de Massachusetts PROLOG: PROgramming in LOGic (PROLOG), es otro de los lenguajes de programacin utilizados en IA. PROLOG fue desarrollado en Francia, en 1973 en la Universidad de Marseilles. OPS5: Official Production System 5 (OPS5), es un lenguaje para ingeniera cognoscitiva que aguanta el procedimiento de representacin del conocimiento en forma de reglas.
Entre las aplicaciones de la Inteligencia Artificial (IA) Tenemos: Lingstica computacional: la lingstica y la informtica que utiliza la informtica para estudiar y tratar el lenguaje humano. Minera de datos (Data Mining): se puede definir como "extraccin no trivial de informacin implcita, desconocida previamente, y potencialmente til desde los datos", y consiste en el conjunto de tcnicas avanzadas para la extraccin de informacin escondida en grandes bases de datos. Mundos virtuales : es un campo relacionado con la inteligencia artificial. Se trata de la simulacin de mundos o entornos, denominados virtuales, en los que el hombre interacciona con la mquina en entornos artificiales semejantes a la vida real. Procesamiento de lenguaje natural : es una subdisciplina de la Inteligencia Artificial y la rama ingenieril de la lingstica computacional. El PLN se ocupa de la formulacin e investigacin de mecanismos eficaces computacionalmente para la comunicacin entre personas o entre personas y mquinas por medio de lenguajes naturales. [SISTEMAS INTELIGENTES] IDSYSTEMS 2014
Leccion 1.6 Lenguajes de programacion Pgina 2
Robtica: es una ciencia o rama de la tecnologa, que estudia el diseo y construccin de mquinas capaces de desempear tareas realizadas por el ser humano o que requieren del uso de inteligencia. Sistemas de apoyo a la decisin: son sistemas de tipo OLAP o de minera de datos que proporcionan informacin y soporte para tomar decisiones. Videojuegos: es un programa informtico, creado expresamente para divertir, basado en la interaccin entre una persona y un aparato electrnico donde se ejecuta el videojuego. Estos recrean entornos virtuales en los cuales el jugador puede controlar a un personaje o cualquier otro elemento de dicho entorno, para conseguir uno o varios objetivos por medio de unas reglas determinadas.
Lenguaje LISP
Es el segundo lenguaje de programacin de alto nivel ms viejo que existe que todava tiene un gran uso. Fue desarrollado por John McCarthy en 1958 aunque ha cambiado mucho desde sus comienzos.
Figura 4 - Insignia incluida en programas realizados con LISP El nombre de LISP deriva de LISt Processing, proceso de listas. Se trata de una de las claves de este lenguaje de programacin, las listas encadenadas. Gracias e esto, los programas de LISP pueden manipular el cdigo fuente como una estructura de datos, dando lugar a macro sistemas, que permiten a los programadores crear nueva sintaxis de programas de dominio especfico. Todo el cdigo de programacin de LISP se escribe en expresiones S, o lo que es lo mismo, listas entre parntesis. Desde un principio LISP naci estrechamente relacionado con la investigacin de la IA, especialmente en sistemas PDP-10.
Enlace externo, prctica de LISP http://avellano.usal.es/~vmoreno/Apuntes/IA/Lisp.pdf [SISTEMAS INTELIGENTES] IDSYSTEMS 2014
Leccion 1.6 Lenguajes de programacion Pgina 3
Lenguaje Prolog
Se trata de un lenguaje de programacin muy usado en el medio de investigacin en Inteligencia Artificial, creado a principios de los 70 por Alain Colmerauer y Phillipe Roussel. Se trata de un lenguaje declarativo que, en un principio era totalmente interpretado y tras su desarrollo por David H.D. Warren pas a ser semi interpretado. Prolog proviene del francs PROgrammation en LOGique. Enlace externo, Introduccin a Prolog
Lenguaje OPS 5
El lenguaje OPS5 es quizs el menos conocido de los nombrados. No obstante, su importancia en el desarrollo de la inteligencia artificial fue clave dado que fue el primer lenguaje usado con resultado de xito en un sistema experto. La familia de los lenguajes OPS (Oficial Production System) fue desarrollada a finales de la dcada de 1970 por Charles Forgy, se trata de un lenguaje para ingeniera cognoscitiva que aguanta el procedimiento de representacin del conocimiento en forma de reglas.