Professional Documents
Culture Documents
P P Q
AND OR IF..THEN SI Y
0 1 SOLO SI
1 0 0 0 0 0 1 1
0 1 0 1 1 0
1 0 0 1 0 0
1 1 1 0 1 1
Reglas e Inferencia
1 0 0
1 1 1
EJEMPLO:
P1: Si hoy es sbado, entonces Carmen se ir a trabajar
P2: Hoy es sabado.
C: Por lo tanto, Carmen se ir trabajar
Regla de Inferencia de Resolucin
P1:A B,P2: B C; C: A C
Implicacin: KB
- Q est implicado por KB (un conjunto de premisas o asumciones), si y solo si, no
hay un mundo lgicamente posible en el cual Q es falso mientras que todas las
premisas en KB son verdaderas.
Derivacin: KB :
- Podemos derivar Q desde KB si hay una prueba consistente de una secuencia de
etapas de inferencia vlidas empezando desde las premisas en KB y resultando
en Q.
Completez y Decidibilidad
Completo: Si KB , entonces KB
Si est implicado, hay una prueba
Semi-decidible:
Si hay una prueba, entonces para
Si no, puede que pare o no pare
FOL
Propiedades, relaciones, funciones, cuantificadores,...
Trminos, sentencias axiomas, teoras, pruebas,...
Extensions a FOL
Agentes Lgicos
- Agentes reflejos
- Representacin de cambio: Clculo de Situaciones, el Problema del
Marco (Frame)
- Preferencias en las acciones
- Agentes dirigidos por metas
Lgica de Primer Orden (FOL)
Connectivos: , , , ,
Cuantificadores:
Universal: x: ( is_Man(x) is_Mortal(x) )
Existencial: y: ( is_Father(y, fred) )
Lgica de Primer Orden (FOL)
Un trmino (denotando un individuo del mundo real) es un smbolo de
constante, un smbolo de variable, o una funcin de n-posicin de n trminos.
x y f(x1, ..., xn) son trminos, donde cada xi es un trmino.
Un trmino sin variables es un trmino instanciado.
Una sentencia atmica (la cual tiene valor de T o F) es un predicado de n-
posicin de n trminos.
Una sentencia compleja est formada de sentencias atmicas conectadas por
conectivos lgicos.
P, PQ, PQ, PQ, PQ donde P y Q son sentencias.
Una sentencia cuantificada agrega los cuantificadores y
Una frmula bien formada (well-formed formula, wff) es una sentencia que
no contiene variables libres. Esto es, todas las variables estn ligadas por
cuantificadores universales o existenciales.
(x)P(x,y) tiene a x ligada como una variable cuantificada universalmente, pero y es libre.
Cuantificadores
Cuantificacin Universal
(x)P(x) significa que P aplica para todos los valores de x en el dominio
asociado con esa variable.
Cuantificacin Existencial
( x)P(x) significa que P aplica para algn valor de x en el dominio
asociado con esa variable.
Predicados:
parent(x, y), child(x, y), father(x, y), daughter(x, y), etc.
spouse(x, y), husband(x, y), wife(x,y)
ancestor(x, y), descendant(x, y)
male(x), female(y)
relative(x, y)
Hechos:
husband(Joe, Mary), son(Fred, Joe)
spouse(John, Nancy), male(John), son(Mark, Nancy)
father(Jack, Nancy), daughter(Linda, Jack)
daughter(Liz, Linda)
Actividad: Escribe una simple genealoga KB
mediante FOL
Reglas para las relaciones genelogicas
(x,y) parent(x, y) child (y, x)
(x,y) father(x, y) parent(x, y) male(x) (similarmente para mother(x, y))
(x,y) daughter(x, y) child(x, y) female(x) (similarmente para son(x, y))
(x,y) husband(x, y) spouse(x, y) male(x) (similarlmente para wife(x, y))
(x,y) spouse(x, y) spouse(y, x) (la relacin de esposos es simtrica)
(x,y) parent(x, y) ancestor(x, y)
(x,y)(z) parent(x, z) ancestor(z, y) ancestor(x, y)
(x,y) descendant(x, y) ancestor(y, x)
(x,y)(z) ancestor(z, x) ancestor(z, y) relative(x, y)
(related by common ancestry)
(x,y) spouse(x, y) relative(x, y) (related by marriage)
(x,y)(z) relative(z, x) relative(z, y) relative(x, y) (transitiva)
(x,y) relative(x, y) relative(y, x) (simtrica)
Preguntas
ancestor(Jack, Fred) /* la respuesta es s */
relative(Liz, Joe) /* la respuesta es s */
relative(Nancy, Matthew)
/* ninguna respuesta en general, no si es bajo la asumcin de mundos cerrados */
(z) ancestor(z, Fred) ancestor(z, Liz)
Semntica de FOL