Ejercicios de Lgica de Predicados o

1. Representa el siguiente fragmento de conocimiento usando lgica de predicados y transformalo a forma o normal conjuntiva (FNC). Todos los caballeros de la mesa redonda son leales a Arturo Arturo est casado con Ginebra a Lanzarote es un caballero de la mesa redonda y est liado con Ginebra a Toda mujer que estando casada se lia con otro hombre no es leal a su marido Los caballeros de la mesa redonda que vencen a todos sus enemigos se convierten en campeones de Arturo

Usando refutacin mediante resolucin comprueba si con ese conocimiento es posible demostrar que o o hay alguien desleal a Arturo ( x lean(x, Arturo)) NOTA: Podeis utilizar los siguientes predicados u
otros distintos: caballero(X), vence(X,Y), ... casado(X,Y), liado(X,Y), ... enemigo(X,Y), campeon(X,Y),... X est casado/liado con Y a X es enemigo/campen de Y o

Representacin: o (1) (2) (3) (4) (5) x {caballero(x) leal(x, Arturo)} casado(Arturo, Ginebra) caballero(Lanzarote) liado(Lanzarote, Ginebra) x y {[casada(x, y) [z liado(z, x)]] leal(x, y)} x {[caballero(x) [y (enemigo(x, y) vence(x, y))]] campeon(x, Arturo)} Otra opcin: x {caballero(x) [{y [enemigo(x, y) vence(x, y)]} campeon(x, Arturo)]} o

2. Representa el siguiente fragmento de conocimiento usando lgica de predicados y transformalo a forma o normal conjuntiva (FNC). 1 2 3 4 5 6 Asterix es un galo. Los romanos que son amigos de algn galo odian a Csar. u e Axterix ayud a Marco. o Marco es amigo de quien le ayuda. Quien odia a algn romano lucha contra l. u e Marco es un romano.

Usando refutacin mediante resolucin comprueba si con ese conocimiento es posible demostrar que o o Marco odia a Csar. e
NOTA: Podeis utilizar los siguientes predicados: amigo(X,Y), ayuda(X,Y), galo(X), odia(X,Y), lucha(X,Y), romano(X),. . .

Representacin: o (1) galo(Asterix) (2) x {[romano(x) [y (amigo(x, y) galo(y))]] odia(x, Cesar)} Otra opcin: x {romano(x) [{y [amigo(x, y) galo(y)]} odia(x, Cesar)]} o (3) ayuda(Asterix, M arco) (4) x y {ayuda(x, M arco) amigo(M arco, x)} (5) x y {[romano(y) odia(x, y)] lucha(x, y)} (6) romano(M arco)

3. Dado el siguiente fragmento de conocimiento, represntalo en lgica de predicados de 1er. orden y e o transformalo a forma normal conjuntiva (FNC).
1 2 3 4 5 6 Todos los coyotes persiguen a algn correcaminos u Algunos correcaminos son inteligentes Los coyotes que persiguen a correcaminos inteligentes no los atrapan Cualquier coyote que persigue a algn correaminos pero no lo atrapa estar hambriento u a Pepe es un coyote y Ana una correcaminos y ambos son inteligentes Pepe persigue al correcaminos Ana

Usando refutacin mediante resolucin comprueba si con ese conocimiento es posible saber si Pepe o o est hambriento. a
NOTA: Posibles predicados: coyote(x), correcaminos(x), inteligente(x), hambriento(x), persigue(x,y), atrapa(x,y), ...

Representacin: o (1) x {coyote(x) [y {correcaminos(y) persigue(x, y)}]} (2) x [correcaminos(x) inteligente(x)] (3) xy {[coyote(x) correcaminos(y) inteligente(y) persigue(x, y)] atrapa(x, y)} Otra opcin: xy {[coyote(x) correcaminos(y) persigue(x, y)] [inteligente(y) atrapa(x, y)]} o (4) x {[coyote(x) {y [correcaminos(y) persigue(x, y) atrapa(x, y)]}] hambriento(x)} (5) coyote(P epe) correcaminos(Ana) inteligente(P epe) inteligente(Ana) (6) persigue(P epe, Ana) 4. Representar el siguiente conocimiento en lgica de predicados de 1er orden. o 1 2 3 4 5 6 Todos los felinos son mamferos. Todos los rumiantes son mamferos. Todos los mamferos tienen pelo. Todos los mamferos cazados por carnvoros son herbvoros. Todos los felinos son carnvoros, tienen garras y tienen dientes. Los carnvoros que cazan herbvoros ms lentos que ellos se los acaban comiendo. a

Convertirlo a FNC y combinarlo con los siguientes tomos a caza(Silvestre, Linda) tiene(Linda, Cuernos) felino(Silvestre) mas_lento(Linda, Silvestre) rumiante(Linda) come(Linda, Hierba)

Empleando refutacin mediante resolucin determinar si es posible determinar: o o a) Existe alguien que tenga pelo? (1 = w tiene(w, P elo)) b) Es Linda un herb voro? (2 = herbivoro(Linda)) Representacin: o

(1) (2) (3) (4) (5)

x {f elino(x) mamif ero(x)} x {rumiante(x) mamif ero(x)} x {mamif ero(x) tiene(x, P elo)} x {[mamif ero(x) {y [carnivoro(y) caza(y, x)]}] herbivoro(x)} x {f elino(x) [carnivoro(x) tiene(x, P elo) tiene(x, Garras) tiene(x, Dientes)]}
(Tambin se puede desglosar en 4 implicaciones con consecuencias simples) e

(6) x y{[carnivoro(x) herbivoro(y) caza(x, y) mas lento(y, x)] come(x, y)}

5. Dado el siguiente fragmento de conocimiento sobre el dominio de las compras y recomendaciones de discos
1 - Se considerar que los clientes estarn interesados en todos los estilos de los cuales a a hayan comprado algn disco. u 2 - Los clientes con inters en un estilo musical estarn tanbin interesados en todos los e a e estilos relacionados con l e 3 - Los clientes con inters en Heavy Metal o Msica Clsica nunca comprarn un disco cuyo autor e u a a sea Enrique Iglesias 4 - Nadie tiene inters en la Jota Aragonesa y el Heavy Metal a la vez. e

a) Representarlo en lgica de predicados de primer orden y transformarlo a FNC o Predicados a usar:

interes(cliente, estilo) estilo(disco, estilo) autor(autor, disco) compra(cliente, disco) relacionado(estilo, estilo)

b) Junto con las siguientes frmulas atmicas (ya en FNC) o o

relacionado(HeavyMetal, Rock) compra(Juan, HighwayToHell) compra(Juan, TuttoPavarotti) compra(Luis, Escape) compra(Pedro, JotaTotal) interes(Luis, Pop) relacionado(Ska, Reage) estilo(HighwayToHell, HeavyMetal) estilo(TuttoPavarotti, MusicaClasica) autor(EnriqueIglesias, Escape) estilo(JotaTotal, JotaAragonesa) interes(Pedro, JotaAragonesa) interes(Ana, Opera)

demostrar empleando refutacin por resolucin si hay alguien con inters en Rock y Msica o o e u Clsica ( = x [interes(x, Rock) interes(x, M usicaClasica)]) a Representacin: o (1) c e {[d (compra(c, d) estilo(d, e))] interes(c, e)} (2) c e1 {interes(c, e1 ) [e2 {relacionado(e1 , e2 ) interes(c, e2 )}]} Otra opcin: c e2 {[e1 (interes(c, e1 ) relacionado(e1 , e2 ))] interes(c, e2 )} o (3) c {[interes(c, HeavyMetal) interes(c, MusicaClasica)] [d (autor(EnriqueIglesias, d) compra(c, d))]}
Otra opcin: c {[interes(c, HeavyMetal) interes(c, MusicaClasica)] [d (autor(EnriqueIglesias, d) compra(c, d))]} o

(4) c [interes(c, JotaAragonesa) interes(c, HeavyMetal)]

6. Dado el siguiente fragmento de conocimiento en lgica de predicados, transformalo a forma normal o conjuntiva (FNC). 1 : x [P (x) S(M, x)] 2 : x {y [P (y) S(x, y)]} {z [A(z) G(x, z)]} 3 : x [P (x) A(x)] 4 : x y {[A(y) G(x, y)] M (x, y)} 5 : x {y [S(x, y) R(y)]} {z [T (x, z) Q(z)]} Usando refutacin mediante resolucin comprueba si con ese conocimiento es posible demostrar = o o xA(x) G(M, x).
NOTA: Mayscuas constantes; Minsculas variables u u

7. Dado el siguiente fragmento de conocimiento en lgica de predicados, transfrmalo a forma normal o o conjuntiva (FNC). 1: 2: 3: 4: 5: x {P (x) Q(x, M1 )} x y {[R(x, y) z S(x, z)] Q(x, y)} R(M1 , M2 ) S(M3 , M2 ) x y {[P (x) {z [Q(z) V (x, z)]}] W (x, y)} x {[{y [V (x, y) P (y)]} z V (x, z)] y W (x, y)}

Usando refutacin mediante resolucin comprueba si con ese conocimiento es posible demostrar = o o x Q(x, M1 ).
NOTA: En los predicados: mayscuas constantes; minsculas variables u u

8. Dado el siguiente fragmento de conocimiento, transfrmalo a forma normal conjuntiva (FNC). o 1: 2: 3: 4: 5: {[S(Eva) R(Juan)] T (Juan)} x {S(x) [y (R(y) Q(x, y))]} x {S(x) [y {R(y) T (y) Q(x, y)} P (x, y)]} x {[S(x) {y [R(y) Q(x, y) P (x, y)]}] V (x)} x y {[H(x) P (y)] B(x)} {[H(x) P (y)] C(x, y)}

Usando refutacin mediante resolucin comprueba si con ese conocimiento es posible demostar = o o
y [S(y) V (y)]