Paradigmas de Lenguajes de Programacion

2do cuatrimestre de 2007

Practica No 4 - Resolucion en Logica de Primer Orden

En esta gua, salvo que se haga referencia a SLD, la palabra resolucion denota el metodo de resolucion general.

Resolucion en Logica Proposicional

Ejercicio 1

Convertir a Forma Normal Conjuntiva las siguientes formulas proposicionales:

i. p p

ii. (p q) p

iii. (p q) (p q)

iv. (p (p q)) (p q)

v. (p q) p

vi. (p q) (p r)

Ejercicio 2

i. Determinar si las formulas del ejercicio anterior son tautologas utilizando el metodo de resolucion
para la logica proposicional.

ii. Se deduce (p q) de (p q) (p q) (p q)? Contestar utilizando el metodo de

resolucion para la logica proposicional.

Ejercicio 3

Expresar adecuadamente en logica proposicional, y luego en forma normal conjuntiva, lo siguiente:

i. El mundo es finito e ilimitado, o limitado.

ii. Lo finito, es chico.

iii. Lo limitado, es chico.

iv. El mundo anda con miedo.

v. Quien anda con miedo, arruga.

vi. El que arruga es humano o un panuelo.

vii. El mundo es inhumano.

Aplicando resolucion, concluir que:

i. el mundo es chico

ii. el mundo es un panuelo

Pagina 1 de 5
 Paradigmas de Lenguajes de Programacion
2do cuatrimestre de 2007

Resolucion en Logica de Primer Orden

Ejercicio 4

Convertir a Forma Normal Negada (NNF) las siguiente formulas de primer orden:

i. x.y.(Q(x, y) P (x, y))

ii. x.y.((P (x, y) Q(x, y)) R(x, y))

iii. x.y.(P (x, y) Q(x, y))

Ejercicio 5

Convertir a Forma Normal de Skolem y luego a Forma Clausal las siguientes formulas de primer orden:

i. x.y.x < y

ii. x.y.x < y

iii. x.(P (x) y.(P (y) Q(y)))

iv. x.y.(P (x, y) Q(x) R(y))

v. x.(P (x) y.(Q(y) z.w.(P (z) Q(w))))

Ejercicio 6

Escribir en logica de primer orden y luego convertir a Forma Clausal los siguientes enunciados expre-
sados en lenguaje natural:

i. Todo conjunto no vaco de numeros naturales tiene un elemento mnimo.

Utilizar los siguientes predicados: N (x) para expresar que x es un numero natural, C(x) para x
es conjunto, x y para x pertenece a y y x y para x menor o igual a y.

ii. Un dragon es feliz si todas sus cras pueden volar.

Los dragones verdes pueden volar.
Un dragon es verde si al menos uno de sus progenitores es verde, y es rosa en cualquier otro
caso.
Utilizar los siguientes predicados: D(x) para expresar que x es un dragon, P (x, y) para x es el
progenitor de y, F (x) para x es feliz, V (x) para indicar que x puede volar, V E(x) para x es
verde y R(x) para x es rosa.

Ejercicio 7

Convertir las siguientes formula a forma prenexa sin pasar a NNF y utilizando las equivalencias
adicionales a aquellas vistas en clase:

i. (x)A (x)A

ii. (x)A (x)A

Pagina 2 de 5
 Paradigmas de Lenguajes de Programacion
2do cuatrimestre de 2007

iii. [(x)(y)P (x, y) (x)Q(x)] [(x)A (x)B(x)]

iv. (x)(y)[P (x, y) (x)(y)P (x, y)]

v. (x)[(y)[((z)P (x, y, z) (w)Q(x, y, w)) R(x)] S(x)]

Ejercicio 8

La computadora de la polica registro que el Sr. Smullyan no pago una multa. Cuando el Sr. Smullyan
pago la multa, la computadora grabo este hecho pero, como el programa tena errores, no borro el
hecho que expresaba que no haba pagado la multa. A partir de la informacion almacenada en la
computadora, mostrar utilizando resolucion que el presidente es un espa.
Utilizar los siguientes predicados y constantes: P ago(x) para expresar que x pago su multa, Espa(x)
para x es un espa, smullyan para el Sr. Smullyan y presidente para el presidente.

Ejercicio 9

Determinar para cada uno de los siguientes pares de terminos de primer orden si son unificables o
no. En cada caso justificar su respuesta exhibiendo una secuencia exitosa o fallida (segun el caso) del
algoritmo de Martelli-Montanari. Asimismo, en caso de que los terminos sean unificables indicar el
mgu (most general unifier). Notacion: x, y, z variables; a, b, c constantes; f, g smbolos de funcion.

i. f (x, x, y) y f (a, b, z)

ii. f (x) y y

iii. f (g(c, y), x)) y f (z, g(z, a))

iv. f (a) y g(y)

v. f (x) y x

vi. g(x, y) y g(f (y), f (x))

Ejercicio 10

Ejemplos para unificacion y resolucion.

i. La relacion entre terminos unifica con, es reflexiva? Es simetrica? Es transitiva?

ii. Existe algun termino t tal que todo termino s unifique con el?

iii. Como aplicara el algoritmo de unificacion visto, al problema de determinar si dado un conjunto
finito de terminos existe un unificador comun a todos?

iv. Mostrar una clausula que arroje un resolvente entre ella y ella misma.

v. Mostrar dos clausulas, cada una con no mas de dos predicados, que arrojen tres o mas resolventes
distintos entre ambas.

Pagina 3 de 5
 Paradigmas de Lenguajes de Programacion
2do cuatrimestre de 2007

Ejercicio 11

Determinar si las siguientes formulas son logicamente validas usando resolucion.

i. xyR(x, y) yxR(x, y)

ii. xyR(x, y) yxR(x, y)

iii. x[P (x) xP (x)]

iv. x[P (x) P (y)] [xP (x) xQ(x)]

v. x[P (x) P (y)] [xP (x) xQ(x)]

vi. [xP (x) xQ(x)] x[P (x) Q(x)]

vii. xyzw[P (x, y) P (w, z)]

viii. x.y.z.((P (f (c)) P (y) Q(y)) P (f (z)) (P (f (f (x))) Q(f (x))))

Ejercicio 12

Aplicaciones del metodo de resolucion.

i. Expresar en forma clausal la regla del modus ponens y mostrar que es valida, usando resolucion.

ii. Lo mismo para la regla del modus tollens.

iii. Lo mismo para la regla de especializacion: de xP (x) concluir P (t) cualquiera sea el termino t.

Ejercicio 13

Cualquiera que sepa leer no es analfabeto. Los delfines son analfabetos. Algunos delfines son inteli-
gentes. Demostrar utilizando resolucion que hay quienes son inteligentes pero analfabetos.
Utilizar los siguientes predicados: L(x) para expresar que x sabe leer, A(x) para x es analfabeto, D(x)
para x es delfn e I(x) para x es inteligente.

Ejercicio 14

Dadas las siguientes clausulas:

{P (x), P (x), Q(a)}

{P (x), Q(y), R(x, y)}

{P (x, x, z), Q(x, y), Q(y, z)}

{M (1, 2, x)}

i. Cuales son clausulas de Horn?

ii. Indicar que clausulas de Horn son hechos y que clausulas de Horn son goals.

iii. Dar, para cada clausula, la formula de primer orden que le corresponde.

Pagina 4 de 5
 Paradigmas de Lenguajes de Programacion
2do cuatrimestre de 2007

Ejercicio 15

Dadas las siguientes formulas en logica de primer orden:

x.(S(x) y.(T (y) E(x, y)))

x.(W (x) S(x))

W (a) D(a)

z.(T (z) y.(D(y) E(y, z) M (z)))

Determinar si la siguiente formula es consecuencia del conjunto anterior utilizando resolucion SLD:

z.(T (z) M (z))

Ejercicio 16

Cualquier robot que puede resolver un problema logico es inteligente. Todos los robots japoneses
pueden resolver todos los problemas logicos. Existe al menos un problema logico. Alan es un robot
japones. Quien es inteligente? Encontrarlo utilizando resolucion SLD.
Utilizar los siguientes predicados y constantes: R(x) para expresar que x es un robot, Res(x, y) para
x puede resolver y, P L(x) para x es un problema logico, I(x) para x es inteligente, J(x) para x es
japones y la constante alan para Alan.

Pagina 5 de 5