Fecha: 17 de julio/2014
INTRODUCCIÓN
El objetivo de esta clase es investigar
sobre PROLOG para utilizarlo en ejercicios de Inteligencia Artificial. La resolución
de ejercicios en este programa consiste en crear un archivo que contendrá información
suficiente para que se tomen correctas decisiones y se arrojen respuestas
correctas llamado “base del conocimiento” y otro que llevará las reglas, que validaran
las solicitudes para dar las respuestas.
PROGRAMACIÓN
LÓGICA
El lenguaje de programación PROLOG
(“PROgrammation en LOGique”) fue creado por Alain Colmerauer y sus
colaboradores alrededor de 1970 en la Universidad de Marseille-Aix. Se pretendía usar la lógica formal como base
para un lenguaje de programación, es decir, era un primer intento de diseñar un
lenguaje de programación que posibilitara al programador especificar sus problemas
en lógica. Lo que lo diferencia de los demás es el énfasis sobre la especificación
del problema.
Es un lenguaje para el procesamiento de
información simbólica. PROLOG es una realización aproximada del modelo de
computación de Programación Lógica sobre una máquina secuencial. Desde luego,
no es la única realización posible, pero sí es la mejor elección práctica, ya
que equilibra por un lado la preservación de las propiedades del modelo
abstracto de Programación Lógica y por el otro lado consigue que la
implementación sea eficiente.
El lenguaje PROLOG juega un importante
papel dentro de la Inteligencia Artificial, y se propuso como el lenguaje
nativo de las máquinas de la quinta generación ("Fifth Generation Kernel
Language", FGKL) que quería que fueran Sistemas de Procesamiento de
Conocimiento. La expansión y el uso de este lenguaje propició la aparición de
la normalización del lenguaje Prolog con la norma ISO (propuesta de junio de
1993).
PROLOG es un lenguaje de programación
para ordenadores que se basa en el enguaje de la Lógica de Primer Orden y que
se utiliza para resolver problemas en los que entran en juego objetos y
relaciones entre ellos. Por ejemplo, cuando decimos "Jorge tiene una
moto", estamos expresando una relación entre un objeto (Jorge) y otro objeto
en particular (una moto). Más aún, estas relaciones tienen un orden específico (Jorge
posee la moto y no al contrario). Por otra parte, cuando realizamos una
pregunta (¿Tiene Jorge una moto?) lo que estamos haciendo es indagando acerca
de una relación.
Además, usar reglas para describir relaciones:
"dos personas son hermanas si ambas son hembras y tienen los mismos
padres".
Una de las ventajas de la programación
lógica es que se especifica qué se tiene que hacer (programación declarativa),
y no cómo se debe hacer (programación imperativa). A pesar de esto, Prolog
incluye algunos predicados predefinidos metalógicos, ajenos al ámbito de la
Lógica de Primer Orden, (var, nonvar, ==, ...), otros extra-lógicos, que tienen
un efecto lateral, (write, get, ...) y un tercer grupo que nos sirven para
expresar información de control de como realizar alguna tarea ( el corte, ...
). Por tanto, Prolog ofrece un sistema de programación práctico que tiene
algunas de las ventajas de claridad y declaratividad que ofrecería un lenguaje
de programación lógica y, al mismo tiempo, nos permite un cierto control y
operatividad.
PROLOG es un lenguaje de programación
muy útil para resolver problemas que implican objetos y relaciones entre
objetos. Está basado en los siguientes mecanismos básicos:
ü Unificación
ü Estructuras de datos basadas en árboles
ü Backtracking automático
La sintaxis del lenguaje consiste en lo
siguiente:
ü Declarar hechos sobre objetos y sus
relaciones
ü Hacer preguntas sobre objetos y sus
relaciones
ü Definir reglas sobre objetos y sus
relaciones
Bibliografía:
Teresa Escrig; Julio Pacheco y Francisco
Toledo. 2001. El Lenguaje de Programación PROLOG.
Faraón Llorens Largo y Mª Jesús Castel
de Haro. 2001. LÓGICA DE PRIMER ORDEN, LÓGICA COMPUTACIONAL y AMPLIACIÓN DE
LÓGICA.
