TALLER N07

( RESOLUCIÓN EN LPPO)

1. Hallar Forma Normal de Skolem y la forma clausal de:

a) (x P(x)  x Q(x))

b) x (y R(x, y)  y w S(y, w, x))
c) (x P(x) x Q(x))
d) (x(P(x)z(yQ(x,y)P(f(z))))y (Q(x , y)  P(x)))
e) (x ((P(x) y (R(x , y)  z f(x , z)  y))  y R(x , y))

2. Demuestre que una fórmula x1xny (x1,,xn ,y) no es lógicamente equivalente a

su Forma Normal de Skolem x1xn (x1,,xn ,(x1,,xn)).

3. Demuestre lo siguiente: Si x no ocurre libre en , entonces

a) (  x )  x (  ) b) (  x)  x (  )
c) (  x )  x (  ) d) (   x )  x (  )
e) (x   )  x (  ) f) (x )  x(  )

4. Use resolución para demostrar:

a) x y (P(x)  R(x , y))  (x y R(x , y)  x P(x))

b) {x(P(x)  (Q(x)R(x))), (P(x)S(x))}  (xR(x) S(x))
c) {A(x,y)  B(x)  C(f(x)) , A(x,y)  B(y)  D(x,f(x)) ,C(u) , A(a,b) , B(b)} es
insatisfacible.
d) x y (P(x)  Q(y))  x y (P(x)  Q(y))
e) {xyR(x, y), xy(R(x, y)  R(y, x))} | x y R(x, y)
f) Dadas 1 : x (F(x)  y (E(y)  A(x, y)) y 2 : x y ((F(x)  C(y))  A(x, y))
Demuestre que: {1, 2}  x(E(x) C(x))

5. A partir de la siguiente información:

a) Antonio, Miguel y Juan son estudiantes de computación
b) A todos los estudiantes de computación les gusta el fútbol o el ajedrez
c) A nadie que le guste el fútbol le gusta la lluvia
d) A todos aquellos a quienes les gusta el ajedrez, les gusta la nieve
e) A Miguel le desagrada todo lo que le que gusta a Antonio y le gusta todo lo que le
desagrada a Antonio
f) Antonio le gusta la lluvia y la nieve
Determine si se puede responder, usando resolución, la pregunta y cuál es la
respuesta: ¿Quién es estudiante de computación y no le gusta el ajedrez?

6. Utilizando el universo y los símbolos definidos y la estrategia de Prolog, responda la

pregunta a la base de conocimientos:

Universo: U = {x | x es persona}
Relaciones: A(x, y): x es hijo de y
B(x, y): x es hermano de y
Individuos: p: Pedro, j: Juan, m: Mario

Información:

Juan es hijo de Pedro

Mario es hijo de Pedro
Cualquier par de personas que sean hijos de un mismo padre son hermanos

Pregunta: ¿De quién es hermano Juan?

7. Considere el universo A = conjunto de los números naturales y los siguientes

símbolos:

Predicado: Suma(x, y, z): x + y = z

Función: s(x): el sucesor de x. Por ejemplo, s(0)= 1, s(1) = 2, ...
Premisas: n Suma(0, n, n) , n m p (Suma(n, s(m), p)  Suma(s(n), m ,p))
Pregunta: z Suma(s(s(0)), s(s(0)), z)
a) Explique en el lenguaje natural el significado de las premisas y pregunta.
b) Escriba en notación Prolog el programa y el objetivo que resuelve el problema y
responda a la pregunta.

8. Considere el siguiente programa

Hermana(ana,pablo).
Hermana(mimi,juana).
Padreomadre(pablo,jaimito).
Padreomadre(juana,caty).
Mujer(caty).
Hombre(jaimito).
Tia(X,Y) : Hermana(X,Z) , Padreomadre(Z,Y).

Responder la consulta Tia(U,V).

9. Considere el siguiente programa:

Compra(X,Y) : Sevende(Y) , Gusta(X,Y) , Bueno(Y).

Sevende(vestido).
Sevende(sombrero).
Sevende(zapatos).
Gusta(jaime,zapatos).
Gusta(maria,vestido).
Gusta(maria,sombrero).
Bueno(sombrero).
Responda las siguientes consultas usando la estrategia de Prolog:

a) Compra(maria,sombrero)
b) Compra(Z,U)