LOS LENGUAJES DE PROGRAMACIÓN Y SU RELACIÓN CON LA INTELIGENCIA ARTIFICIAL

Inteligencia Artificial 

La Inteligencia Artificial empezó como resultado de la investigación en la psicología cognitiva y lógica matemática. Se ha encaminado sobre la explicación del trabajo mental y construcción de algoritmos de solución a problemas de propósito general. La Inteligencia Artificial es una mezcla de la ciencia del computador, fisiología y filosofía, tan general y amplio como eso, es que reúne varios campos (robótica, sistemas expertos, por ejemplo), todos los cuales tienen en común la creación de máquinas que pueden "pensar" Y es por esa mezcla que podemos encontrar lenguajes de programación orientados a esta área, que están diseñados para acoplarse a diferentes factores que influyen en el diseño de máquinas y/o programas relacionados a la inteligencia artificial.

La inteligencia artificial (IA) es un área multidisciplinaria que, a través de ciencias, tales como la informática, la lógica y la filosofía, estudia la creación y diseño de entidades capaces de razonar por sí mismas utilizando como paradigma la inteligencia humana. La Inteligencia Artificial trata de conseguir que los ordenadores simulen en cierta manera la inteligencia humana.

La IA es la ciencia e ingeniería que permite diseñar y programar ordenadores de forma que realicen tareas que requieren inteligencia.

La IA es la ciencia e ingeniería que permitirá replicar la inteligencia humana mediante máquinas. (López, 2017)

Categorías de la inteligencia artificial

Stuart Russell y Peter Norvig diferencian estos tipos de la inteligencia artificial:

Sistemas que piensan como humanos: Estos sistemas tratan de emular el pensamiento humano; por ejemplo, las redes neuronales artificiales.

Sistemas que actúan como humanos: Estos sistemas tratan de actuar como humanos; es decir, imitan el comportamiento humano; por ejemplo, la robótica.

Sistemas que piensan racionalmente: Con lógica (idealmente), tratan de imitar o emular el pensamiento lógico racional del ser humano; por ejemplo, los sistemas expertos. Sistemas que actúan racionalmente: Tratan de emular de forma racional el comportamiento humano; por ejemplo, los agentes inteligentes.

Lenguajes de programación

Los programas de Inteligencia Artificial pueden distinguir entre el programa de razonamiento o motor de inferencia y base de conocimientos dándole la capacidad de explicar discrepancias entre ellas. Los sistemas expertos son una variedad comercial de una clase de programas computacionales llamados sistemas basados en conocimiento. Cualquier lenguaje de programación puede ser usado para desarrollar programas de inteligencia artificial. No obstante, destacan en especial tres lenguajes que fueron desarrollados específicamente para realizar programas dotados de inteligencia artificial, los lenguajes Lisp, Prolog y Ops5

Estos lenguajes ofrecen características especialmente diseñadas para manejar problemas generalmente encontrados en Inteligencia Artificial. Por este motivo se los conoce como lenguajes de inteligencia Artificial. Una de las principales características que comparten los lenguajes LISP y PROLOG, como consecuencia de su respectiva estructura, es que pueden ser utilizados para escribir programas capaces de examinar a otros programas, incluyendo a ellos mismos.

Lenguaje LISP (LIST –PROCESSING)

Es el segundo lenguaje de programación de alto nivel más viejo que existe que todavía tiene un gran uso. Fue desarrollado por John McCarthy en 1958 aunque ha cambiado mucho desde sus comienzos. El Lisp fue creado originalmente como una notación matemática práctica para los programas de computadora, basada en el cálculo lambda de Alonzo Church. Se convirtió rápidamente en el lenguaje de programación favorito en la investigación de la inteligencia artificial (AI). Como uno de los primeros lenguajes de programación, el Lisp fue pionero en muchas ideas en ciencias de la computación, incluyendo las estructuras de datos de árbol, el manejo de almacenamiento automático, tipos dinámicos, y el compilador auto contenido.

El nombre de LISP deriva de “LISt –Processing”, proceso de listas. Se trata de

una de las claves de este lenguaje de programación, las listas encadenadas. Gracias e esto, los programas de LISP pueden manipular el código fuente como una estructura de datos, dando lugar a macrosistemas, que permiten a los programadores crear nueva sintaxis de programas de dominio específico. Todo el código de programación de LISP se escribe en expresiones S, o lo que es lo mismo, listas entre paréntesis

LENGUAJE PROLOG (PROGRAMMATION EN LOGIQUE)

Se trata de un lenguaje de programación muy usado en el medio de investigación en Inteligencia Artificial, creado a principios de los 70 por Alain Colmerauer y Phillipe Roussel.S e trata de un lenguaje de programación ideado a principios de los años 70 en la Universidad de Aix-Marseille I (Marsella, Francia) por los estudiantes modélicos Alain Colmerauer y Philippe Roussel. Nació de un proyecto que no tenía como objetivo la traducción de un lenguaje de programación, sino la clasificación algorítmica de lenguajes naturales. Alain Colmerauer y Robert Pasero trabajaban en la parte del procesado del lenguaje natural y Jean Trudel y Philippe Roussel en la parte de deducción e inferencia del sistema. Interesado por el método de resolución SL, Trudel persuadió a Robert Kowalski para que se uniera al proyecto, dando lugar a una versión preliminar del lenguaje Prolog a finales de19712 y apareciendo la versión definitiva en1972.3 Esta primera versión de Prolog fue programada en ALGOL W. Inicialmente se trataba de un lenguaje totalmente interpretado hasta que, en1983, David H.D. Warren desarrolló un compilador capaz de traducir Prolog en un conjunto de instrucciones de una máquina abstracta denominada Warren Abstract Machine, o abreviadamente, WAM. Desde entonces Prolog es un lenguaje semi-interpretado. Si bien en un principio se trataba de un lenguaje de uso reducido, la aparición de intérpretes del mismo para microordenadores de 8 bits (ej: micro-PROLOG) y para ordenadores domésticos de 16 bits (ej: Turbo Prolog de Borland, entre otros muchos) a lo largo de la década de 1980 contribuyó notablemente a supopularización.4 Otro importante factor en su difusión fue la adopción del mismo para el desarrollo del proyecto de la quinta generación de computadoras a principios de la década de los 80,5 en cuyo contexto se desarrolló la implementación paralelizada del lenguaje llamada KL1 y del que deriva parte del desarrollo moderno de Prolog. Las primeras versiones del lenguaje diferían, en sus diferentes implementaciones, en muchos aspectos de sus sintaxis, empleándose mayormente como forma normalizada el dialecto propuesto por la Universidad de Edimburgo, hasta que en 1995 se estableció un estándar ISO (ISO/IEC 13211-1), llamado ISO-Prolog. Prolog se enmarca en el paradigma de los lenguajes lógicos y declarativos, lo que lo diferencia enormemente de otros lenguajes más populares tales como Fortran, Pascal, Co Java. Prolog proviene del francés PROgrammation en LOGique.

LENGUAJE OPS5 (OFFICIALPRODUCTION SYSTEM 5)

El lenguaje OPS5 es quizás 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 fue desarrollada a finales de la década de 1970 por CharlesForgy, se trata de un lenguaje para ingeniería cognoscitiva que aguanta el procedimiento de representación del conocimiento en forma de reglas. Incorpora un módulo unificador, un intérprete que incluye un mecanismo de

encadenamiento progresivo, y herramientas para edición y depuración de los programas.

Referencias

López, R. (2017). Inteligencia artificial. Madrid: Editorial CSIC Consejo Superior de Investigaciones Científicas.