REPRESENTACION DEL

CONOCIMIENTO

PREMISA FUNDAMENTAL DE IA:

Para que un sistema informtico

demuestre un comportamiento inteligente
en la solucin de problemas, debe poseer
gran cantidad de conocimiento y
un potente mecanismo de razonamiento.
IMPORTANCIA DE UNA ADECUADA
REPRESENTACION DEL CONOCIMIENTO

CONOCIMIENTO DEL MUNDO

(en IA)
:
Es la habilidad para construir un modelo de
los objetos, sus vinculaciones y de las
acciones que pueden realizar.
REPRESENTACION DEL CONOCIMIENTO
Es la expresin mediante algn lenguaje, de un
modelo que exprese el conocimiento sobre el
mundo.

DISTINTOS PARADIGMAS:
DECLARATIVO
Descripcin del estado del mundo

PROCEDIMENTAL
Expresin de las transformaciones de estados

ORIENTADO A OBJETOS
Descripcin de los objetos existentes

ELEMENTOS BASICOS QUE INTERVIENEN EN EL

DISEO DE UN SISTEMA BASADO EN EL
CONOCIMIENTO (KBS)
Lenguaje formal para expresar conocimiento
Forma de efectuar razonamientos
COMPONENTE MEDULAR DE UN KBS (Agente)
BASE DE CONOCIMIENTOS (KB)
Es un conjunto de representaciones de hechos
acerca del mundo
Conjunto de sentencias del lenguaje para la
representacin del conocimiento

UNA KB DEBE PERMITIR CON EFICIENCIA:

AADIR Y MODIFICAR
SENTENCIAS

BC

PREGUNTAS

RESPUESTAS

MECANISMO DE INFERENCIAS

PROPIEDADES DE UN BUEN
FORMALISMO DE REPRESENTACION:

ADECUACION REPRESENTACIONAL
ADECUACION INFERENCIAL
EFICIENCIA INFERENCIAL
EFICIENCIA EN LA ADQUISICIONMODIFICACION
Rich & Knight

DISTINTOS FORMALISMOS

FORMALISMOS LOGICOS

SISTEMAS DE PRODUCCION

FORMALISMOS ESTRUCTURADOS:
REDES SEMANTICAS
FRAMES
OBJETOS

SINTAXIS: posibles
sentencias del lenguaje
LENGUAJE DE
REPRESENTACION

SEMANTICA: conexin entre

sentencias y el mundo
MECANISMO DE INFERENCIA
Generar nuevas sentencias que derivan de BC
Dada una sentencia, puedo contestar si es
consecuencia de la BC

FORMALISMOS LOGICOS
Constituyen sistemas formales en los cuales:
SINTAXIS Y SEMANTICA ESTA BIEN DEFINIDA
HAY UNA TEORIA DE LA DEMOSTRACION
Completa y Consistente

LA LOGICA DE 1er ORDEN

Es la base de la mayora de los esquemas de
representacin

FORMALISMOS LOGICOS
Conocimiento es representado mediante un
conjunto de frmulas bien formadas (fbfs)
en algn sistema lgico (proposicional predicados - multivaluada...)
Los mecanismos de inferencia son los
mtodos deductivos del sistema lgico
(Resolucin en predicados)

DISTINTOS SISTEMAS LOGICOS:

LOGICA PROPOSICIONAL
LOGICA DE PREDICADOS
LOGICAS NO-CLASICAS
MULTIVALUADAS (Fuzzy Logic)
MODALES
OBJETIVO: ESTABLECER LA VALIDEZ DE
DISTINTOS RAZONAMIENTOS OBTENER CONCLUSIONES DE UN CONJUNTO
DE FORMULAS

REPRESENTACION DEL
CONOCIMIENTO
FORMALISMOS LOGICOS

Lgica proposicional

LOGICA PROPOSICIONAL
LENGUAJE
Sintaxis: fbfs
Semntica: asignacin de valores a las variables
SISTEMA FORMAL
Lenguaje
Axiomas
Reglas de inferencia
COMPLETO Y CONSISTENTE
EL PROCESO DE DEMOSTRACION NO ES
EFECTIVO

Introduccin Informal
Proposicin: Una oracin afirmativa de la
cual podemos decir que es verdadera o
falsa (pero no ambas!!)
Ejemplos de Proposiciones:
Ayer llovi en Rosario.
El sol gira alrededor de la tierra.
2.3=3+3
3 es primo.
El sucesor de 3 es primo.

ms proposiciones...
Si ayer llovi en Rosario, entonces el intendente
se moj.
El sol gira alrededor de la tierra o la tierra gira
alrededor del sol.
2 . 3 = 6 y 6 es impar
3 no es primo.
Hay un nmero natural que es par y es primo.
Todo entero par mayor que cuatro es la suma de
dos nmeros primos.

ejemplos de oraciones que no

son proposiciones...
Ayer llovi en Rosario?
Por qu es importante saber si el sol gira
alrededor de la tierra?
Parece que no hay primos que sean pares.
Averigen si la tierra gira alrededor del sol o si
el sol gira alrededor de la tierra.
2.n=n+n
x-y=y-x

Sintaxis
Alfabeto PROPOSICIONAL
PROP que consiste de:
i) variables proposicionales p0, p1,p2,...
ii) conectivos , , , ,
iii) smbolos auxiliares: (, )

Notacin : llamaremos C al conjunto {, , ,}

Sintaxis
Frmulas proposicionales PROP
PROP es el conjunto definido inductivamente por :
i) pi PROP para todo i
(frmulas atmicas - AT)
ii) Si PROP y PROP entonces
( ) PROP
( ) PROP
( ) PROP
( ) PROP
iii) Si PROP entonces () PROP

PROP (cont.)
Ejemplos de objetos de PROP:
p0
(p1 p3)
((p1 p2) (p3 ( p5)))

Traduccin al lenguaje lgico

Las oraciones simples se traducen como letras de
proposicin (elementos de P)
Ejemplos:
Ayer llovi en Rosario  p0.
El intendente se moj  p1.
El sol gira alrededor de la tierra  p2.
2.3=6
 p3
6 es impar  p4.
El sucesor de 3 es primo  p5.

Traduccin al lenguaje Lgico

Las oraciones compuestas se traducen usando los
conectivos
Ejemplos:
Si ayer llovi en Rosario, entonces el
intendente se moj  (p0 p1) .
2 . 3 = 6 y 6 es impar  (p3 p4).
6 no es impar  ( p4).

Traduccin al lenguaje Lgico

Algunas oraciones no tienen una buena
traduccin a PROP:
Hay aves que no vuelan.

p0

Todo entero par mayor que cuatro es la suma

de dos nmeros primos.

p1

Razonamientos
P1
p2
PREMISAS
...
Pn
C
CONCLUSION
EJEMPLO
Rex es un perro
Si Rex es un perro entonces tiene cuatro
patas / Rex tiene 4 patas.

Razonamiento
Si contina la lluvia el ro aumentar.
Si el ro aumenta entonces el puente ser
arrastrado.
Si la continuacin de la lluvia hace que el
puente sea arrastrado entonces un solo camino
no ser suficiente para la ciudad.
O bien un solo camino es suficiente para la
ciudad, o los ingenieros han cometido un
error.
Por lo tanto los Ingenieros han cometido un
error.
ES VALIDO ????

Justificacin de la validez del

razonamiento?
Dos maneras diferentes de justificar
Justificar que la veracidad de las hiptesis
implica la veracidad de la conclusin
(Justificacin semntica |= )
Dar una prueba matemtica, que llegue a la
conclusin a partir de las hiptesis, a travs de
pasos debidamente justificados.
(Justificacin sintctica | )

Justificacin Semntica
Consiste en verificar que la frmula de PROP que
codifica el razonamiento es una tautologa
|= { p1 p2 p3... pn) C }
EJEMPLO DE REX
|= { ((Rp
(( 4p) Rp) 4p }

Justificacin Sintctica
Dar una prueba matemtica, que:
- llegue a la conclusin a partir de las hiptesis,
- est constituida de pasos debidamente
justificados
p1
p2
Pn
d1
dr
C

PREMISAS
CONCLUSIONES
INTERMEDIAS
CONCLUSION

Reglas de Inferencia
Pertenecen a las especificaciones del Sistema Lgico
Formal, o sea al Metalenguaje.
Son reglas sintcticas que me permiten deducir a
partir de ciertas formas proposicionales, otras formas
proposicionales.
La prueba consiste en un encadenamiento de
pasos de reglas de inferencia que nos permite llegar
a la conclusin.
EJEMPLOS DE REGLAS:
- MODUS PONENS:
- MODUS TOLLENS:
- SILOGISMO DISYUNTIVO:

AB, A /B
AB, B / A
A B, A / B

Razonamiento (ejemplo)
1- C R
2- R P
3- (C P) S
4- S E / E
5- C P
6- S
7- E

1y2
3y5
4y6

por S.H.
por M.P.
por S.D.

LUEGO EL RAZONAMIENTO ES
VALIDO

Del conjunto de hiptesis se

deduce ?
|= ?
-Tablas de verdad
- equivalencia lgicas
existe un mtodo que
siempre responde
SI o NO

| ?
- Prueba formal
- requiere ingenio

Estas dos formas de responder la pregunta

inicial son equivalentes?

Teorema de completitud
|=
-Tablas de verdad
- equivalencia lgicas
existe un mtodo que
siempre responde
SI o NO

|
- Prueba formal
- requiere ingenio

El teorema nos autoriza a combinar ambas tcnicas y

utilizar equivalencias semnticas y pruebas.
(que es lo que usualmente hacemos en matemticas)

Lgica de predicados

LOGICA PREDICADOS (1er orden)

LENGUAJE
Sintaxis: frmulas bien formadas (FORM)
Semntica: Interpretacin - valoracin
SISTEMA FORMAL
Lenguaje
Axiomas
Reglas de inferencia (se agregan a las para manejar
cuantificadores)
COMPLETO Y CONSISTENTE
EL PROCESO DE DEMOSTRACION NO ES
EFECTIVO

Todo perro es un mamfero y Rex es un perro,

luego Rex es un mamfero..
x (Perro(x) Mamfero (x)
Perro (Rex)
Mamfero (Rex)

x. P(x)
P(Rex)

La correccin de este razonamiento depende de

la relacin entre los sujetos de las proposiciones.
Lgica proposicional NO es suficientemente
expresiva para captar esta relacin

Por qu lgica de predicados ?

Lgica proposicional : bajo poder expresivo
Muchas expresiones usuales no son
representables
En proposicional:
Rex es un perro

p (una prop. atmica)

En predicados:
Sujeto: Rex
Propiedad: Ser Perro
Perro(Rex)

Como Traducir ???

Por ejemplo la oracin
Rex es un perro
puede analizarse de una de las siguientes maneras:

Es (Rex, perro)

Es-perro (Rex)

Es-Rex (Perro)
segn la propiedad o relacin que se identifique, y segn
los individuos del universo de quienes se hable.

Lenguaje de lgica de predicados

smbolos para denotar objetos

- sb. de constante (ej. Rex, 2, )

- sb. de variable (ej. x, y, z)
- sb. de funcin (ej. +, *, Padre) etc que
permiten crear nuevos nombres de objetos
smbolos de propiedades y de relaciones
conectivos
cuantificadores

Ejemplos de traduccin
Si algunos perros son mamferos, luego todos
son mamferos
( x) (P(x) M(x)) x (P(x) R(x))

Todo nmero es par o impar

(x) (N(x) P(x) I(x))
(x) (N(x) P(x) P(x))

Ningn nmero es a la vez par e impar

(x) (P(x) I(x))

Ejemplos de traduccin
Toda ave tiene alas y plumas
( x) (Av(x) Al(x) Pl(x) )
Existen aves que no vuelan
(x) (Av(x) V(x))
Para todo nmero natural hay otro natural
que es mayor que el.
( x) ( N(x) ( y) (N(y) y>x ) )
Cuidado con el orden de los cuantificadores !!!
( y) ( x ) ( N(x) ( N(y) y >x ) )

Universo de discurso
Si algunos trenes se retrasan entonces todos
se retrasan
y slo hablamos de trenes
(x) R(x) (x) R(x)

Todo nmero es par o impar

y slo hablamos de naturales
(x) (P(x) I(x))

Alfabeto de un lenguaje de primer orden

Un alfabeto para un lenguaje de primer orden, consiste de
los siguientes smbolos:
- Smbolos de relacin:
- Smbolos de funcin:
- Smbolos de constantes:
- Variables:
- Conectivos :
- Cuantificadores:
- Auxiliares :

P1 , P2 , , Pn , =
f1 ,f2 , , fm
ci tal que iI y | I |= k
x1, x2, x3,..

(, )

Trminos
El conjunto TERM de los trminos de un lenguaje de
primer orden se define inductivamente por:
) xi TERM (i
)
) ci TERM (i)
) si t1 TERM, ... tai TERM
entonces fi (t1,..tai) TERM
 Los trminos son las expresiones que representarn
a los objetos de mi dominio

Frmulas bien formadas (FORM)

El conjunto FORM de las frmulas de un lenguaje
de primer orden se define inductivamente por:
) Si t1TERM, ...triTERM entonces
Pj (t1,...,tri)FORM
) Si FORM y FORM entonces
( ) FORM donde {, , ,}
) Si FORM entonces ( ) FORM
) Si FORM entonces ((xi) ) FORM
y ((xi) ) FORM

Ejemplos (menos formales)

Padre(x, y) Hijo (y, x)
Padre (x, y) Padre (y, z) Abuelo (x, z)
(x) ( Mamfero (x) Pelos(x) )

Razonamientos
en Lgica de 1er orden

P1
P2
...
Pn
C

PREMISAS

CONCLUSION

* LAS PREMISAS Y LA CONCLUSION PERTENECEN A

FORM

Justificacin de la validez del

razonamiento?
Una sola manera de justificar
Dar una prueba matemtica, que llegue a
la conclusin a partir de las hiptesis, a
travs de pasos debidamente justificados.
(Justificacin sintctica | )
(No existe justificacin semntica - no
siempre tienen sentido las tablas de
verdad)

Reglas de Inferencia
Reglas de Inferencia del clculo proposicional

+
Reglas especficas para el manejo de los
cuantificadores
- Ejemplificacin universal (EU)
- Generalizacin universal (GU)
- Ejemplificacin existencial (EE)
- Generalizacin existencial (GU) ...

Razonamientos
en Lgica de 1er orden
Todos los Ovejeros Alemanes son perros y todos los
perros son mamferos. Luego, todos los Ovejeros
Alemanes son mamferos.
(x) ( Oa(x) P(x))
(x) (P(x) M(x)) / (x) Oa(x) (x)
Todos los perros caminan al menos que alguno est
lastimado. Algunos perros no caminan. Luego, hay
algn perro lastimado.
Es vlido???

AUMENTA
EL PODER
EXPRESIVO

Lgica proposicional MAS COMPLEJO

EL MANEJO
COMPUTACIONAL

Lgica de predicados

PROBLEMAS PARA AUTOMATIZACION:

Que regla de inferencia aplicar
A que frmulas aplicarlas

Demostracin por Resolucin

(Robinson 1965)
SOLUCIONA:
Seleccin de las RI
Generacin de algunas proposiciones sin inters
OPERA CON SENTENCIAS EN LA FORMA
CLAUSAL
Forma genrica:
A1 A2 ... Ak Aj ... An
donde Ai es una frmula atmica

Algoritmo: fbf

conjunto de clusulas

Llevar a forma normal prenex

(Q1x1)(Qnxn) (M)

Prefijo de cuantificadores

Matriz libre de cuantificadores

Expresar la frmula utilizando los conectivos , y

Trabajar la frmula de modo que el este delante de
frmulas atmicas
Normalizar variables
Llevar cuantificadores adelante

Algoritmo: fbf

conjunto de clusulas

A partir de la forma Prenex (cuantificadores adelante).

Eliminar cuantificadores Existenciales
(utilizando constantes / funciones de Skolem)
(y) presidente (y)
presidente (P)
(x) (y) padre (y,x)
(x) padre (P2(x), x)

P: cte de Skolem

P2: funcin padre

(funcin de Skolem)

Algoritmo: fbf

conjunto de clusulas

Eliminar cuantificadores Universales.

Llevarlo a una forma normal conjuntiva
(A1 A2 ... Ak) ... (A1 A2 ... Ak )
clusula
clusula
(A1 A2 ... Ak)
.
(A1 A2 ... Ak )
Normalizar las variables de las distintas clusulas.
Forma clausal

Paso a forma clausal (ejemplo)

(x) (usuario-comp(x) ((y) clave(y)
posee(x,y)))
(x) (usuario-comp(x) ((y) clave(y)
posee(x,y)))
(x) (y) (usuario-comp(x) (clave(y)
posee(x,y))) forma normal Prenex
(x) (usuario-comp(x) (clave(P(x))
posee(x, P(x))))

Paso a forma clausal (cont.)

(x) (usuario-comp(x) (clave(P(x))
posee(x, P(x))))
(usuario-comp(x) (clave(P(x))
posee(x, P(x))))
(usuario-comp(x) clave(P(x))
(usuario-comp(x) posee(x, P(x)))
(usuario-comp(x) clave(P(x))
Clusulas
(usuario-comp(x) posee(x, P(x))

Paso a forma clausal

Otro Ejemplo (Rich)
Todo romano que conoce a Marco o bien odia a
Csar o bien piensa que cualquiera que odie a
otro est loco.

(x) (((romano(x) conoce(x, Marco))

(odia(x,Cesar) (y)(z)(odia(y,z)
cree_loco(x,y)))
Forma Clusal ???

Resolucin
Trabaja con razonamientos en forma clusal
Opera por refutacin
Agrego C al conjunto de las premisas en forma
clausal y trato de llegar a la clusula vaca
(contradiccin: A A).
Es un proceso iterativo simple en el cual se utiliza una
nica Regla de Inferencia
resolucin A B, A C / B C

Algoritmo: Resolucin de
proposiciones P l- C
Convertir todas las proposiciones de P a forma
clusal
Negar C y aadir al conjunto de clusulas
Hasta que se encuentre una contradiccin o no se
pueda seguir avanzando repetir:
Seleccionar dos clusulas (padres)
Resolverlas (A B, A C / B C ,
resolvente)
Si la resolvente es , se ha encontrado una
contradiccin, si no lo es, agregarla al conjunto de
clusulas.

Resolucin en Proposiciones
Razonamiento
p
(p q) r
(s t) q
t / r

Prueba por resolucin

Forma clusal
p
p q r
sq
tq
t
r
p q
q
t

Resolucin en Proposiciones (ejemplo)

r

pq r
pq

tq

q
t

p
sq
s

Resolucin
Observaciones
Si existe una contradiccin se la encontrar en algn
momento
La conclusin negada debe estar involucrada en la
contradiccin que estamos buscando (si no el conjunto
de premisas ya era inconsistente)
Si no existe contradiccin, puede que el proceso
nunca termine

Resolucin en Predicados
Las bases del Mtodo son las mismas que para
proposiciones
Situacin ms compleja
Para resolver dos clusulas debo encontrar
sustitucin adecuada de variables

ALGORITMO DE UNIFICACION

Algoritmo de Unificacin
Idea: ver si existe una sustitucin que haga
concordar a dos frmulas
Ejemplos:
ama (x , y)
ama (Marco, z)

Sustituciones que unifican

(Marco/x, Paula/y, Paula/z)
(Marco/x, z/y)
ES MAS GENERAL

SE BUSCA ENCONTRARA LAS MINIMAS SUSTITUCIONES

QUE UNIFIQUEN

Algoritmo de Unificacin (idea)

1- Ver si los predicados coinciden, si no falla
2- Comprobar si los argumentos de a pares son
unificables,devolver sustitucin, si alguno no lo
es, falla la unificacin. Proceso recursivo:
- las ctes unifican si son iguales, sino falla
- una variable x unifica con:
- otra variable S:[ y/x]
- una cte k S: [k/x]
- una funcin que no tenga ninguna instancia
de la variable S:[f(y)/x]

Devuelve SkS1 o falla

Algoritmo: Resolucin en Predicados

Convertir todas las frmulas a forma clusal.
Negar C y agregar al conjunto de clusulas.
Hasta que se encuentre una contradiccin o se
realiz cantidad de esfuerzo predeterminado:
Seleccionar dos clusulas padres
Resolverlas (A1 B, A2 C , donde A1 y A2 son

unificables mediante [S ], la resolvente ser (B C) [S] ,

resolvente)

Si la resolvente es , se ha encontrado una

contradiccin, si no lo es, agregarla al conjunto de
clusulas.

Resolucin en Predicados (ejemplo)

Razonamiento

(x) (Perro(x) Mamfero (x))

Perro (Rex) /
Mamfero (Rex)

Forma clusal

Perro(x) Mamfero (x)

Perro (Rex) / Mamfero (Rex)

Resolucin en Predicados (ejemplo)

Mamfero (Rex)

Perro(x) Mamfero (x)

Unifico con [Rex/x]

Perro(Rex)

Perro (Rex)

Cuando unifico debo aplicar la sustitucin a TODA

la clusula

Algoritmo: Resolucin en Predicados

Observaciones:
Si la seleccin de padres se hace de forma
sistmica, siguiendo ciertas reglas, el
procedimiento encontrar la contradiccin, si
esta existe.
Hay estrategias de seleccin para mejorar la
complejidad temporal

Completitud de la Resolucin
*Es completa en cuanto a la
refutacin
*Si un conjunto de sentencias no se
puede satisfacer, mediante la
resolucin se obtendr una
contradiccin.

Completitud Conceptos para la

demostracin
* Universo de Herbrand Hs:
* Es el conjunto de todos los trminos de base que se pueden generar a
partir de las constantes de S y de los smbolos de funciones (si hay).
S: P(x,f(x)) Q(x,A)
R(x,B)
Hs = { A, B, f(A), f(B), f(f(A)), f(f(B)),...}

* Saturacin:
* Si S es un conjunto de clusulas y P es un conjunto de trminos de
base P(S) es el conjunto de todas las clusulas que se obtienen con
todas las sustituciones de las variables por los trminos de base de P.

* Base de Herbrand Hs(S)

* Es la saturacin de un conjunto de clusulas S respecto a su universo
de Herbrand.
Hs(S) = {P(A,f(A)) Q(A,A)
R(A,B),
P(B,f(B)) Q(B,A)
R(B,B),
P( f(A), f(f(A)) Q(f(A), A)
R(f(A), B), ... }

#Hs(S) =

Completitud - Estructura de la demostracin

(Robinson)

* Dado un conjunto S en forma clusal que no es

satisfactible

TEOREMA DE HERBRAND

* Algn S de casos especficos de base no es

safisfactible
TEOREMA DE RESOLUCION
DE BASE

* La resolucin puede llegar a una contradiccin en

S

PREMISA DE TRANSFERENCIA

* Hay una demostracin de resolucin de la

contradiccin de S

Para Trabajar: ejemplo N&R

* Juan tiene un perro.
* Todos los que tienen un perro aman a los
animales.
* Nadie que ame a los animales los mata.
* Juan o Curiosidad mat al gato, que se llama
Tuna.
* Mat Curiosidad al gato???
Escribir en lenguaje lgico
Pasar a forma clausal
Usar resolucin para probarlo

Para Trabajar:
*
*
*
*
*
*
*
*

Frodo era un Hobbit.

Sam era un Hobbit.
Todos los Hobbits vivan en la Comarca
Todos los que vivan en la Comarca vivan en la
Tierra Media.
Todos los que vivan en la tierra Media eran
leales a Sauron o lo odiaban.
Todos los seres son leales a alguien.
Uno slo intenta destruir a alguien a quien no es
leal.
Frodo intent destruir a Saurn.

Para Trabajar:
Escribir en lenguaje lgico
Pasar a forma clausal
Usar resolucin para probar
 Odia Frodo a Sauron???

Alguien que vive en la Comarca odia

a Sauron???

Resolucin
*Nos acercamos a la automatizacin
del clculo de predicados.
*Problema: falta una estructura de
control adecuada que me indique
que clusulas deben resolverse.

PROLOG: Una implementacin de

programacin lgica
Utiliza un proceso de control para decidir
que par de clusulas deben resolverse.
Reduce el poder expresivo de la lgica de
1er orden:
Clusulas
Clusulas de Horn:
tienen a lo sumo 1 literal positivo
A1 A2 ... An
o su forma equivalente: A1 (A2 ... An )
en Prolog: A1 :- (A2 ,... ,An )

CONTROL EN PROLOG
Se aplica el Principio de Resolucin:
Se lo implementa como bsqueda en un
rbol y/o.
Estrategia de control:
Bsqueda en profundidad, de izquierda a
derecha y con backtracking.

CONTROL EN PROLOG
Es una implementacin particular de la lgica
automatizada.
Modelo estandar: nica estrategia de control
Bsqueda backward, en profundidad y con
backtrack
No es muy eficiente para implementar otras
estrategias de control (bsqueda a lo ancho,
forward)

LOGICA DE PREDICADOS
+ RESOLUCION
Dada la BC y una frmula podemos probar
que
BC -

Podemos contestar
-perro (Rex) ?
preguntas como
- X / perro (X) ?
Pero no podemos obtener todas las
conclusiones ( ) que se derivan de una
base
? / BC -

LOGICA DE PREDICADOS COMO

FORMALISMO DE REPRESENTACION

VENTAJAS:
Es un formalismo bien establecido con una
sintaxis y semntica bien definida y que maneja
fcilmente aspectos cuantificacin.
Se establece un sistema de inferencias completo
(se puede extender al mtodo de resolucin).

LIMITACIONES:
Existen lmites en el poder expresivo:
posibilidades, incertidumbre,
Problemas en la implementacin de
razonamientos no-monotonos.