Академический Документы
Профессиональный Документы
Культура Документы
LO
1 /48
09
-P
R
O
SUSTITUCION
Sustitucin
SE
SI
O
LO
Dadas las variables x1, x2, ..., xn y los trminos t1, t2, .., tn
(sin variables), la sustitucin es un conjunto de pares
ordenados:
= {x1/t1, x2/t2,..,xn/tn} (x/t se lee sustituir x por t)
Sustitucin
-P
R
O
09
3 /48
Ejercicio 1
SE
SI
O
= monopolio(M) penalizado(M)
= {M/LosGarcia}
= realiza(M,W) feo(W) odiado(M)
= {M/Hormel, W/Spam}
= presidente(X)inteligente(X)
= {X/Bush}
4 /48
G
LO
5 /48
09
-P
R
O
UNIFICACION
Unificacin
SE
SI
O
Formalmente:
UNIFICAR(, ) = , donde SUST(, ) = SUST(, )
se conoce como el unificador de las dos oraciones.
6 /48
LO
Unificacin
-P
R
O
09
7 /48
Unificacin
SE
SI
O
conoce(juan,jane)
conoce(Y,lenidas)
conoce(Y,madre(Y))
conoce(X, isabel)
8 /48
-P
R
O
LO
Unificacin
UNIFICAR(conoce(juan,x1),conoce(x2,isabel))={x1/isabel, x2/juan}
09
9 /48
Ejercicio 3
Unifique y resuelva.
SE
SI
O
1. femenino(ana)
10 /48
Ejercicio 3
LO
1. femenino(ana)
2. padre (juan, ana)
3. femenino(X) padre (Y, X) hija(X, Y)
femenino(X) padre (Y, X) hija(X, Y)
femenino(ana)
-P
R
O
1 = {X/ana}
padre(Y,ana) hija(ana,Y)
2 = {Y/juan}
11 /48
SE
SI
O
09
hija(ana, juan)
PREGUNTAS
12 /48