Planos Y Rectas

PROLOG Inteligencia Artificial Universidad de Talca, II Semestre 2005 Jorge P´rez R. e

1

Introducci´n a PROLOG o
PROLOG es un lenguaje interpretado basado en la l´gica o de predicados de primer orden. Puede ser visto como un lenguaje de programaci´n o como o un demostrador mec´nico de teoremas. a Fue implementado a principios de los a˜os 70 por Alain Coln merauer y junto con Lisp son loslenguajes que hist´ricamente o se han utilizado para construir aplicaciones en gran parte de las ramas de IA. Hoy existen muchas implementaciones de PROLOG, la que nosotros usaremos es SWI-Prolog desarrollado en la Universidad de Amsterdam. Es una versi´n libre y puede ser deso cargada para distintos ambientes. http://www.swi-prolog.org

2

LPOP a la r´pida... a
(supondremos ciertafamiliaridad con el tema) A grandes razgos la l´gica de predicados de primer orden o (LPOP) es un lenguaje formal para expresar cierta parte del lenguaje matem´tico. a Sus componentes principales son los predicados (atributos, relaciones), constantes, variables, y cuantificadores (∀, ∃). Ejemplo: “Todos los hombres son mortales, y dado que S´crates es un hombre, o podemos concluir que S´crates es mortal.” oPodemos modelarla con la siguiente f´rmula: o (∀X(hom(X) → mor(X)) ∧ hom(socrates)) → mor(socrates) que es una f´rmula de LPOP donde hom y mor son preo dicados, X es una variable cuantificada y socrates es una constante... la f´rmula resulta ser siempre verdadera. o Desde otro punto de vista podr´ ıamos pensar en la misma f´rmula anterior pero en un esquema de consulta donde: o 1. ∀X(hom(X) →mor(X)) 2. hom(socrates) son oraciones, y Q: ¿mor(socrates)? es una consulta. Luego si suponemos las oraciones 1 y 2 como hechos verdaderos, y preguntamos por la consulta Q, la respuesta debiera ser SI. PROLOG sigue un esquema similar de hechos y consultas.
3

PROLOG
PROLOG es un lenguaje interpretado que nos permite especificar hechos y reglas, similares a los de LPOP, y luego hacer consultassobre ellos. El interprete presenta un prompt para iteractuar ?-. La interacci´n con el interprete es a partir del ingreso de o hechos y reglas de manera directa ?- [user]. |: aqu´ se ingresan los hechos y reglas uno a uno... ı o cargando desde un archivo ?- [’ejemplo.pl’]. Donde ’ejemplo.pl’ es el nombre de un archivo con los hechos y reglas a cargar. El prompt siempre est´ a la espera de consultas aresponder. a Veremos con ejemplos las distintas formas de interacci´n y o los conceptos fundamentales de PROLOG.

4

Hechos
Los hechos son el tipo b´sico de oraciones de un prograa ma PROLOG. Supongamos que queremos modelar informaci´n geneal´gica acerca de un grupo de personas. Para esto o o utilizaremos los predicados o relaciones padre y madre sobre ciertas constantes. padre(juan,amanda). madre(ximena, amanda). madre(laura, juan). padre(andres, juan). padre(patricio, bonifacio). padre(juan, patricio). padre(juan, ana). madre(ximena, ana). Esto lo podemos ingresar haciendo ?|: |: |: [user]. padre(juan, amanda). madre(ximena, amanda). ....

o cargando desde un archivo ?- [’genealogico.pl’]. Los hechos anteriores representan un modelamiento del mundo en donde, por ejemplo “Juanes el padre de Amanda”. Algunas observaciones de sintaxis: los hechos son predicados instanciados en valores constantes, en nuestro caso juan y amanda son valores constantes. En PROLOG siempre las constantes comienzan con min´scuu la, seg´n esto la oraci´n padre(Juan, Ana) no ser´ un hecho u o ıa de PROLOG m´s adelante veremos qu´ significa. a e
5

Consultas
Dados los hechos agregados alinterprete PROLOG, podemos hacer consultas como por ejemplo ?- madre(ximena,ana). Yes ?- padre(juan, ximena). No Los Yes y No son las respuestas que entrega PROLOG luego de presionar [enter]. Note que son consistentes con los hechos agregados. Consultas m´s interesantes involucran el uso de variables (en a el sentido de la l´gica LPOP que es distinta al de una variable o usual de un lenguaje de...