Contabilidad

Ejercicios de Logica de Predicados
1. Representa el siguiente fragmento de conocimiento usando logica de predicados y transformalo a forma
normal conjuntiva (FNC).
- Todos los caballeros de la mesa redonda son leales a Arturo
- Arturo esta casado con Ginebra
- Lanzarote es un caballero de la mesa redonda y esta liado con Ginebra
- Toda mujer que estando casada se lia con otro hombre no esleal a su marido
- Los caballeros de la mesa redonda que vencen a todos sus enemigos se
convierten en campeones de Arturo
Usando refutacion mediante resolucion comprueba si con ese conocimiento es posible demostrar que
hay alguien desleal a Arturo (9 x :lean(x; Arturo)) NOTA: Podeis utilizar los siguientes predicados u
otros distintos:
caballero(X), vence(X,Y), ...
casado(X,Y), liado(X,Y),... X esta casado/liado con Y
enemigo(X,Y), campeon(X,Y),... X es enemigo/campeon de Y
Representacion:
(1) 8x fcaballero(x) ! leal(x; Arturo)g
(2) casado(Arturo; Ginebra)
(3) caballero(Lanzarote) ^ liado(Lanzarote; Ginebra)
(4) 8x 8y f[casada(x; y) ^ [9z liado(z; x)]] ! :leal(x; y)g
(5) 8x f[caballero(x) ^ [8y (enemigo(x; y) ^ vence(x; y))]] ! campeon(x; Arturo)g
Otra opcion: 8xfcaballero(x) ! [f8y [enemigo(x; y) ^ vence(x; y)]g ! campeon(x; Arturo)]g
2. Representa el siguiente fragmento de conocimiento usando logica de predicados y transformalo a forma
normal conjuntiva (FNC).
1 - Asterix es un galo.
2 - Los romanos que son amigos de algun galo odian a Cesar.
3 - Axterix ayudo a Marco.
4 - Marco es amigo de quien le ayuda.
5 - Quien odia a algun romano lucha contra el.
6 -Marco es un romano.
Usando refutacion mediante resolucion comprueba si con ese conocimiento es posible demostrar que
Marco odia a Cesar.
NOTA: Podeis utilizar los siguientes predicados:
amigo(X,Y), ayuda(X,Y), galo(X), odia(X,Y), lucha(X,Y), romano(X),. . .
Representacion:
(1) galo(Asterix)
(2) 8x f[romano(x) ^ [9y (amigo(x; y) ^ galo(y))]] ! odia(x; Cesar)g
Otra opcion: 8x fromano(x) ![f9y [amigo(x; y) ^ galo(y)]g ! odia(x; Cesar)]g
(3) ayuda(Asterix; M arco)
(4) 8x 8y fayuda(x; M arco) ! amigo(M arco; x)g
(5) 8x 9y f[romano(y) ^ odia(x; y)] ! lucha(x; y)g
(6) romano(M arco)3. Dado el siguiente fragmento de conocimiento, representalo en logica de predicados de 1er. orden y
transformalo a forma normal conjuntiva (FNC).
1 - Todos los coyotes persiguen a algun correcaminos
2- Algunos correcaminos son inteligentes
3 - Los coyotes que persiguen a correcaminos inteligentes no los atrapan
4 - Cualquier coyote que persigue a algun correaminos pero no lo atrapa estara hambriento
5 - Pepe es un coyote y Ana una correcaminos y ambos son inteligentes
6 - Pepe persigue al correcaminos Ana
Usando refutacion mediante resolucion comprueba si con ese conocimiento es posiblesaber si ``Pepe
esta hambriento''.
NOTA: Posibles predicados: coyote(x), correcaminos(x), inteligente(x), hambriento(x), persigue(x,y), atrapa(x,y),
...
Representacion:
(1) 8x fcoyote(x) ! [9y fcorrecaminos(y) ^ persigue(x; y)g]g
(2) 9x [correcaminos(x) ^ inteligente(x)]
(3) 8x8y f[coyote(x) ^ correcaminos(y) ^ inteligente(y) ^ persigue(x; y)] ! :atrapa(x; y)g
Otra opcion: 8x8y f[coyote(x)^ correcaminos(y) ^ persigue(x; y)] ! [inteligente(y) ! :atrapa(x; y)]g
(4) 8x f[coyote(x) ^ f9y [correcaminos(y) ^ persigue(x; y) ^ :atrapa(x; y)]g] ! hambriento(x)g
(5) coyote(P epe) ^ correcaminos(Ana) ^ inteligente(P epe) ^ inteligente(Ana)
(6) persigue(P epe; Ana)
4. Representar el siguiente conocimiento en logica de predicados de 1er orden.
1 - Todos los felinos son mamferos.
2 -Todos los rumiantes son mamferos.
3 - Todos los mamferos tienen pelo.
4 - Todos los mamferos cazados por carnvoros son herbvoros.
5 - Todos los felinos son carnvoros, tienen garras y tienen dientes.
6 - Los carnvoros que cazan herbvoros mas lentos que ellos se los acaban comiendo.
Convertirlo a FNC y combinarlo con los siguientes atomos
caza(Silvestre, Linda) felino(Silvestre) rumiante(Linda)...