Lic. Patricia Rodríguez Inteligencia Artificial EJERCICIOS LOGICA DE PREDICADOS DE PRIMER ORDEN PARTE I. TRADUCIR AL CALCULO DE PREDICADOS 1. Todos los tiburones comen a alguna persona. Los peces largos y blancos son tiburones. Existen peces largos y blancos viviendo en aguas profundas. Cualquier persona comida por un pez de agua profunda es buceador. Por tanto: Existen buceadores. Utilizar: T(x)=”x es un tiburón”. P(x)=”x es una persona”. C(x,y)=”x come a y”. LB(x)=”x es un pez largo y blanco” AP(x)=”x vive en aguas profundas”. B(x)=”x es buceador” 2. Godofredo estudia lo que estudie Robustiana. Robustiana estudia asignaturas asequibles. Si el profesor de una asignatura es inteligente, la asignatura es asequible. Constancio es profesor de política. Teodoro es profesor de lógica. Raimundo es profesor de filosofía. Teodoro es inteligente. Raimundo es inteligente. Utilizar: est(x,y) = x estudia y, aseq(x) = x es asequible, prof(x,y)= x es profesor de y, intel(x) = x es inteligente, god=Godofredo, rob=Robustiana, teo=Teodoro, rai=Raimundo, log=Lógica, pol=Política y fil=Filosofía. 3. Si un curso es fácil algunos de sus estudiantes son felices, si un curso tiene un examen final, ninguno de sus estudiantes es feliz. Conclusión: Un curso tiene un examen final sólo si no es fácil. Utilizar F(x)="x es fácil", E(x,y) = "x estudia el curso y". Z(x) ="x es feliz" y TF(x)="x tiene examen final". 4. Formalizar el siguiente conocimiento utilizando únicamente el predicado "S(X,Y,Z)=Z es la suma de X e Y", la función s(X)=siguiente de X, o sea X+1, la constante 0 y el dominio de los números naturales. Todo número sumado con el cero es igual a sí mismo. Si un número Z es igual a la suma de otros dos números, X e Y, entonces el siguiente de ese número será igual a la suma de X más el siguiente de Y." 5. No existen funciones recursivas primitivas que no sean totales. Una función no es recursiva primitiva a menos que sea computable. La función de Ackerman no es recursiva primitiva. Por tanto, se puede concluir que: Es suficiente que la función de Ackerman sea total y computable para que no todas las funciones totales y computables sean recursivas primitiva. Asignar: R(x)="x es recursiva primitiva, T(x)="x es total", C(x)="x es computable" 6. Todo el que estudia lógica aprenderá algo interesante y estará capacitado para cualquier alto cargo. Los alumnos del plan nuevo tienen la suerte de enfrentarse a la asignatura más valiosa de su vida académica: la lógica. Cualquiera puede llegar a ser presidente siempre que esté capacitada para algún alto cargo. Carmela se ha matriculado en el plan nuevo y existen altos cargos. Luego Carmela puede llegar a ser presidente" Asignar: E(x,y)="x estudia y” A(x,y)="x aprende y" I(x)="x es interesante" L(x)="x es un alto cargo" N(x)="x está en el plan nuevo" C(x,y)="x está capacitado para y" P(x)="x puede llegar a ser presidente" l="lógica" c="Carmela e I la interpretación: Dominio: {Triángulo, Rectángulo, 7. Sea Pentágono}. Predicados: P(x)="x tiene 5 lados", M(x,y)="x tiene menos lados que y" y R(x)= "x tiene cuatro lados", entonces: El valor de F bajo I es Verdadero. El valor de F bajo I es Falso. El valor de F bajo I depende de las figuras geométricas consideradas. El valor de F bajo I no está definido. 8. Sea y la interpretación: Dominio: Números reales. Predicados: "N(x)=x es un número". M2(x,y)=" y es igual 2 multiplicado por x". El valor de la fórmula bajo esa interpretación es: Verdadero, porque para todo número natural x existe otro número natural y tal que y es el doble de x. Falso, Porque no existe un número que sea el doble de todos los naturales. Verdadero o Falso, dependiendo de los valores de x. Ninguna de las anteriores o más de una de las anteriores. 21/11/2006 1 Lic. Patricia Rodríguez Inteligencia Artificial 9. Los informáticos son orgullosos, por tanto, las cabezas de los informáticos son cabezas de orgullosos. Emplear: I(x)="x es informático", O(x)="x es orgulloso", C(x,y)="x es la cabeza de y". 10. En el Ministerio del Interior se está investigando quién o quiénes son los posibles corruptos. El conocimiento de que se dispone es: "El sueldo de todo empleado es de 200 ptas. El sueldo de los jefes es de 400 ptas. Carlos odia a todos los que ganen más que él. Todos los que odian a alguien son corruptos. Carlos es un empleado y Luis un jefe. 200 es menor que 400." Utilizar sueldo(X,Y)=El sueldo de X es Y empleado(X) = X es empleado jefe(X)=X es un jefe odia(X,Y) = X odia a Y menor(X,Y) = X es menor que Y corrupto(X) = X es corrupto 12. Papá pitufo se enfada a no ser que el pitufo Gruñón juegue con los pitufos. Para que el pitufo Gruñón juegue con los pitufos es necesario que éstos no pitufen gansadas. Por tanto: Es suficiente que Papá pitufo no se enfade para que: pitufo Gruñón juegue con los pitufos y éstos pitufen gansadas. PARTE II. RESOLVER SEGÚN SE INDIQUE 1. Calcular el unificador más general (si existe) de los siguientes pares de términos e indicar cómo quedarían los términos tras aplicarles el unificador: a.- h( x, f( a, x)) b.- h( b, f( g ( a, f( w, c)), h ( y, x))) c.- f ( a, y) d.- h ( b, f ( g ( a, f ( w, c) ), h ( y, x))) e.- f( a, f ( g (x) , x)) h ( b, y) h( x, f( g ( a, x), z)) f ( a, f ( b, f( c, x))) h( x, f ( g (a, y), z)) f( y, f ( g ( h ( y, a) ), z)) 2. 3. 4. 5. 6. 21/11/2006 2