Este documento presenta dos ejercicios sobre inteligencia artificial. El primer ejercicio pide identificar cuáles de cuatro expresiones son proposiciones y formalizarlas lógicamente. El segundo ejercicio pide formalizar una serie de enunciados sobre las edades de Pedro, Jaime, Elena y Marcela en lógica de predicados y analizar si la conclusión se desprende de la hipótesis.
BIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICA
Ejercicios de logica proposicional y de predicados - grupo 4
1. UNIVERSIDAD NACIONAL DE INGENIERIA FACULTAD DE CIENCIAS Y SISTEMAS UNI-RUPAP Inteligencia Artificial Integrantes: Vilma Hernandez Salgado Jennifer Chavarría Galeano Luis Marenco Aviles 4T2-IS
2. Inteligencia Artificial. Ejercicio 1. ¿Cuáles de las expresiones siguientes son proposiciones? De las que no son diga por qué. Además escríbalas en lógica proposicional o de predicado, si fuera posible. ● Comer mucho, engorda. ● Las montañas cantan bonito. ● Los mosquitos viven menos de un año. ● El hombre desciende del elefante.
3. Respuesta ● Comer mucho, engorda. (Verdadero, falso), no es una preposición. ● Las montañas cantan bonito. (Falso) ● Los mosquitos viven menos de un año. (Verdadero) ● El hombre desciende del elefante. (Falso) Comer mucho, engorda no es una proposición ya que esta puede ser verdadera o falsa según cada organismo. Comer mucho engorda: Engorda (comer).
4. Ejercicio 2. Formalice en lógica de predicados y analice si la conclusión corresponde a la hipótesis. Puede auxiliarse de cualquier forma de representación del conocimiento para un mejor análisis o una correcta conclusión. Pedro y Jaime son de la misma edad o Pedro es mayor que Jaime. Si Pedro y Jaime son de la misma edad, entonces Elena y Pedro no tienen la misma edad. Si Pedro es mayor que Jaime, entonces Pedro es mayor que Marcela. Así que o Elena y Pedro no son de la misma edad o Pedro es mayor que Marcela.
5. Respuesta. Simbología: ˅ = o. -> = entonces. ® = si. ⌐ = no. Simbolización de las proposiciones: p = Pedro. T = tienen la misma edad. j = Jaime. R = mayor que. e = Elena. m = Marcela. Formalización en lógica de predicados: (T (p, j)) v (R (p, j)) -> ® (T (p, j)) -> (⌐T (p, e)) Se lee como: Pedro y Jaime son de la misma edad o Pedro es mayor que Jaime. Si Pedro y Jaime son de la misma edad, entonces Elena y Pedro no tienen la misma edad.
6. (T (p, j)) v (R (p, j)) -> ® (R (p, j)) -> (R (p, m)) Se lee como: Pedro y Jaime son de la misma edad o Pedro es mayor que Jaime, si Pedro es mayor que Jaime entonces Pedro es mayor que Marcela. -> (⌐T (p, e)) v (R (p, m)) Se lee como: Elena y Pedro no son de la misma edad o Pedro es mayor que Marcela. (T (p, j)) v (R (p, j)) Si Si (T (p, j)) (R (p, j)) Entonces Entonces (⌐T (p, e)) (R (p, m))
