01 Miscelanea L Predicados2 (1)

ESCUELA SUPERIOR POLITÉCNICA DE
CHIMBORAZO
ESCUELA INGENIERÍA EN SOFTWARE
BASES DE CONOCIMIENTO
INTEGRANTES:
Encuentre la representación en fórmulas bien formadas de las siguientes proposiciones:
1.- En los polos el frío es intenso únicamente si los planetas giran en torno al sol.
2.- Siempre que los herbívoros corren o el frío en los polos es intenso, los planetas giran en
torno al sol.
3.- Juan es francés si nació el 23 de febrero. Si es bretón, entonces es más bien bajo. Ahora
bien, nació el 23 de febrero o es bretón. Por consiguiente, es francés o es más bien bajo.
4.- Un sólo proveedor no puede afectar los precios si el mercado es libre. Si un sólo proveedor
no puede afectar los precios, es que hay un gran número de proveedores. Es así que no hay un
gran número de proveedores; luego, no es libre el mercado.
Describa en lenguaje natural las siguientes fórmulas proposicionales:
1.- Representación simbólicas:
p: Aristóteles nació en Estagira
q: Aristóteles fue tutor de Alejandro Magno
r: Aristóteles era macedonio por su nacimiento
Formalización:
(p ∧ q) ∧ (p → r) → r
2.- Representación simbólicas:
p: hay subsidios del gobierno para la agricultura
q: hay controles sobre la agricultura
ESCUELA SUPERIOR POLITÉCNICA DE
CHIMBORAZO
r: hay depresión
s: hay sobreproducción agrícola
Formalización:
¬p → q, q → ¬r, r ∨ s, ¬s
3.- Representación simbólicas:
p: ellos quieren la paz de verdad
q: nosotros somos superiores en armamento
r: obstaculizamos la conferencia de desarme
s: habrá guerra
Formalización:
p ∧ q → r, s ∨ ¬r, s → ¬p
4.- Representación simbólicas:
p: perderé mi apuesta
q: la palabra “pentágono” significa “transparente”
r: las figuras geométricas denominadas “triángulos” tienen tres ángulos
s: hay alguna relación entre las características de las figuras geométricas y
los nombres que se les asignan
Formalización:
p ∨ q, r, r → s, s → ¬q ├ p
ESCUELA SUPERIOR POLITÉCNICA DE
CHIMBORAZO
EJEMPLO
Representa el siguiente fragmento de conocimiento usando lógica de predicados y
transformarlo a forma normal conjuntiva (FNC)





Todos los caballeros de la mesa redonda son leales a Arturo
Arturo está casado con Ginebra
Lanzarote es un caballero de la mesa redonda y está liado con Ginebra
Toda mujer que estando casada se lía 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 refutación mediante resolución comprueba si con ese conocimiento es posible
demostrar que hay alguien desleal a Arturo (9 x :lean(x; Arturo)) NOTA: Se Puede utilizar los
siguientes predicados u otros distintos:
Resuelva los siguientes problemas con el cálculo de predicados y transformarlo a
forma normal conjuntiva (FNC).:
1. Fragmento de conocimiento






Asterix es un galo.
Los romanos que son amigos de alg_un galo odian a C_esar.
Axterix ayud_o a Marco.
Marco es amigo de quien le ayuda.
Quien odia a alg_un romano lucha contra _el.
Marco es un romano.
ESCUELA SUPERIOR POLITÉCNICA DE
CHIMBORAZO
2. Fragmento de conocimiento.






Todos los coyotes persiguen a algún correcaminos
Algunos correcaminos son inteligentes
Los coyotes que persiguen a correcaminos inteligentes no los atrapan
Cualquier coyote que persigue a algún correcaminos pero no lo atrapa estará
hambriento
Pepe es un coyote y Ana una correcaminos y ambos son inteligentes
Pepe persigue al correcaminos Ana
3. Fragmento de conocimiento.






Todos los felinos son mamíferos.
Todos los rumiantes son mamíferos.
Todos los mamíferos tienen pelo.
Todos los mamíferos cazados por carnívoros son herbívoros.
Todos los felinos son carnívoros, tienen garras y tienen dientes.
Los carnívoros que cazan herbívoros más lentos que ellos se los acaban comiendo.
4. Fragmento de conocimiento.
 Se considerará que los clientes estarán interesados en todos los estilos de los cuales
hayan comprado algún disco.
 Los clientes con interés en un estilo musical estarán también interesados en todos los
estilos relacionados con él
 Los clientes con interés en Heavy Metal o Música Clásica nunca comprarán un disco
cuyo autor sea Enrique Iglesias
 Nadie tiene interés en la Jota Aragonesa y el Heavy Metal a la vez
5.- Represente, primero en Lógica de Predicados y luego en Prolog, los siguientes
hechos:
- Pedro quiere a María.
- Pedro quiere a Belén.
- Manuel quiere a Belén.
- María quiere a Pedro.
- Todos quieren a Juan y a María.
- Todo el mundo se quiere a sí mismo.
- Alguien quiere a Juan y a Pedro.
- Alguien quiere a María.
- Alguien quiere a todos los demás.
A continuación, escriba los objetivos en Prolog necesarios para responder a las
preguntas indicadas a continuación:
- ¿Quiere Manuel a María?
- ¿Quiere Manuel a María y a Pedro?
ESCUELA SUPERIOR POLITÉCNICA DE
CHIMBORAZO
- ¿Quiere Manuel a alguien?
- ¿Quiénes son los que quieren a María?
- ¿Quiénes son los que quieren a Pedro?
- ¿Quiénes son los que se quieren mutuamente?
- ¿Quiénes son los que se quieren a sí mismos?
- ¿Se quiere Manuel a sí mismo?
- ¿Hay alguien que quiera a María?
- ¿Hay alguien que quiera a alguien?
- ¿Hay alguien que se quiera a sí mismo?
- ¿Hay alguien que quiera a todo el mundo?
6.- Escriba en Lógica de Predicados los hechos y reglas necesarios para representar:
- “Existe una persona que gobierna a todos los ecuatorianos”.
- “Todos los ecuatorianos tienen un animal”.
- Reglas que relacionen TienePerro y TieneGato con TieneAnimal.
- “Cada dueño debe vacunar de la rabia a su(s) perro(s)”.
Utilice los predicados
Gobierna, EsEcuatoriano, TieneAnimal, TienePerro,
TieneGato, EsPerro, EsVacuna, EsEnfermedad, DebeVacunar…
Luego traduzca a Prolog los predicados anteriores