RA: tema-04-ej-sol.txt Tema 4: Lógica clausual (Ejercicios) ============================================================================== 1. Traducir las siguientes frases a cláusulas usando los átomos persona, alegre y triste: (1) Las personas son alegres o tristes. (2) Ninguna persona es alegre y triste. (3) Las personas tristes no son alegres. (4) Las personas que no son alegres son tristes. ··············································································· 2. Dado el programa casado; soltero :- hombre, mayor_de_30. hombre. :- soltero. Determinar cuáles de las siguientes cláusulas es consecuencia del programa: (1) casado :- mayor_de_30. (2) casado :- soltero. (3) soltero :- hombre. (4) soltero :- soltero. ··············································································· 3. Escribiir las 6 interpretaciones de Herbrand que no son modelos del siguiente programa casado; soltero :- hombre, mayor_de_30. tiene_esposa :- hombre, casado. ··············································································· 4. Escribir una derivación de r a partir del siguiente programa: q; r :- p. r :- p, q. p; s. p :- s. ··············································································· 5. Demostrar por refutación que la cláusula español :- sevillano es consecuencia del programa andaluz :- sevillano. español :- andaluz. ··············································································· 6. Traducir a lógica clausal: (1) Todos los número tienen sucesores. (2) Alguien ama a todos. (3) Todo par de números tiene un máximo. (4) Todo par de números racionales distintos, tiene alguno entre ellos. ··············································································· 7. Determinar el universo de Herbrand del siguiente programa: longitud(nil,0). longitud(cons(X,Y), s(N)) :- longitud(Y,N) ··············································································· 8. Calcular, si es posible, el unificador de máxima generalidad de los siguientes pares de términos: (1) suma(X,Y,s(Y)) y suma(s(V),W,s(s(V))). (2) longitud(cons(X,Y),s(0)) y longitud(cons(V,nil),V). (3) mayor(s(s(X)),X) y mayor(V,s(V)). ··············································································· 9. Se considera el siguiente programa casado(X); soltero(X) :- hombre(X), mayor(X). hombre(pedro). mayor(pedro). :- casado(mario). :- soltero(mario). hombre(pablo). :- soltero(pablo). Escribir las derivacione a partir del programa de las siguientes cláusulas: (1) casado(pedro) ; soltero(pedro). (2) :- hombre(mario), casado(mario). (3) casado(pablo) :- mayor(pablo). ···············································································