PROLOG Programacin Lgica

Los Modelos para la Representacin del conocimiento tienen un papel fundamental en la tecnologa de los sistemas Inteligentes, La programacin lgica implica un estilo de programacin radicalmente distinto al de la programacin Tradicional.

Con PROLOG dispones de: Declarar propiedades de objetos o individuos y relaciones entre ellos. Escribir reglas para definir nuevas propiedades o relaciones ya declaradas Hacer consultas para comprobar si objetos o individuos concretos tienes ciertas propiedades o estn en determinada relacin

Redes Semnticas
son estructuras utilizadas para la representacin de cocimiento en Inteligencia Artificial. Una red semntica es un grafo dirigido en el cual los nodos corresponden a: Constantes de relacin tales como clases(como en los lenguajes orientados a objetos)y propiedades Instancias: Objetos de una clase Un arco en una red semntica puede tener diversas etiquetas

ALAS tiene AVE SEMILLAS SD come CANARIO SD tiene

PLUMAS

DESEOS

tiene HALCON

ID

ID

TWEETY

PEDRO

Como Codifico en PROLOG?

Para modelar redes semnticas en PROLOG, necesitamos codificar grafo que la representa. Para esto utilizaremos los predicados:
SD: Sub Clase de una Clase ID: Identifica al Objeto PROPIEDAD : Caractersticas de un Objeto

A que clase pertenece un objeto?

instancia_de(Objeto,Clase). Defines como un objeto identifica a una Clase.

Ejemplo: instancia_de(Tweety,Canario)

A que clase X pertenece la clase Y?

Subclase_de(Clase1,Clase2). indicas como una clase pertenece a otra clase.

Ejemplo: instancia_de(Canario,Ave).

Que propiedades tiene un objeto?

Tiene_propiedad(Clase1,Propiedad,Clase2). Indica la relacin de una clase a otra mediante la propiedad. Ejemplo: tiene_propiedad(Canario,come,Semillas).