Representacin del Conocimiento usando lgica de predicados

Representacin del conocimiento inferible

Lgica de predicados Lgica de primer orden

Lgica de predicados

Considera al mundo formado por entes (objetos) con identidades individuales Los objetos tienen propiedades que los distinguen de otros Los objetos se relacionan entre s

Lgica de predicados

Podemos expresar propiedades de grupos de objetos usando conectores lgicos: conjuncin dis!uncin negacin implicacin"

Sintaxis para prolog y semntica

Predicado: oracin declarativa que puede ser verdadera o falsa" es_un: La ballena es un animal. es_un:Cuba es una isla. es_un:La ballena es un mamfero. es:El nmero 4 es par.

Sintaxis en prolog y semntica

Constante: #dentificador de un objeto La ballena es un animal. cuba es una isla. La ballena es un mamfero. El numero4 es par.

Sintaxis y semntica

$ariable: %mbolo para represen& tar un individuo indeterminado" X es un animal. Y es una isla. Z es un mamfero. W es par.

Predicados en prolog

'ec(os (afirmaciones verdaderas sobre constantes) La ballena es un animal. es_un(ballena,animal). cuba es una isla. es_un(cuba,isla).

Reglas de inferencia / operaciones

Predicados compuestos (predicados asociados entre s mediante operadores lgicos) que frecuentemente involucran variables" )stablecen las precondiciones para (acer una deduccin"

Reglas de produccin

Representacin procedimental en la forma de condicionales %#""")*+,*C)% Permiten modificar el estado"

(ttp:--..."gsi"dit"upm"es-/gfer-ssii-rcsi-rcsisu01"(tml2 x33&304441"3"0

Un ejemplo usando Prolog

http://www.mediafire.com/view/7mi1k8909y07k9j/ApunteRepresentacionReg as!ro og.pdf

Predicados

sobre(5 6) bloque X encima de bloque Y libre(5) bloque X libre en la parte superior enpiso(5) bloque X sobre el piso agarrado(5) brazo sostiene bloque X bra7o$acio brazo no sostiene bloque

Predicados (2

tomar(5 6) quitar bloque X de encima de

bloque Y

apilar(5 6) pone bloque X sobre bloque Y levantar(5) toma bloque X del piso soltar(5) pone bloque X sobre el piso

!ec"os# declaraciones

enpiso(8) enpiso(9) sobre(C 8) libre(9) bra7o$aco

$% procedimental# Reglas de inferencia

Si sobre(5 6) ! libre(5) ! bra7o$aco &'()'$&S tomar(5 6) Si tomar(5 6) &'()'$&S agarrado(5) ! libre(6) ! no sobre(5 6) ! no libre(5) ! no bra7o$aco"

*otor de inferencia

%u tarea es determinar la secuencia de operadores que llevar:n de la situacin inicial a una situacin meta establecida"