3-Feb-2001

Segundo Parcial

Lgica

Modelo A
1.- El resultado de la pregunta ?-X = 2, X = X * 2. es:
X=4
X=2
No
Error
2.- Sea p(x)=x es un perro, q(x,y)=x quiere a y. La frase: Todos los perros quieren a alguien se podra representar en Prolog como:
q(X,f(X)):-p(X).
q(X,Y):-p(X).
p(X):-q(X,Y).

p(X):-q(X,f(X)).
3
En la siguiente pregunta se utiliza un rbol binario definido a partir de la constante hoja y de la funcin
rama(X,I,D) en la que X es un elemento, e I y D son rboles binarios.
2
2
3.- El predicado genera(N,A) toma un nmero positivo N y devuelve el rbol binario A cuyos nodos toman
valores decrecientes por niveles desde N hasta 1. Por ejemplo, si se le pasa un 3, el rbol generado sera
el de la figura. Indicar cul sera la definicin de genera
1
1
1
1
genera(0,hoja).
genera(N,rama(N,I,D)):- M is N - 1, genera(M,I), genera(M,D).
genera(0,hoja).
genera(N,rama(N,I,D)):- genera(N-1,I), genera(N-1,D).
genera(0,hoja).
genera(N,rama(N,I,D)):- N is N 1, genera(N,I), genera(N,D).
genera(0,hoja).
genera(N,I,D):- M is N 1, genera(M,rama(N,I,D)).
4.- Suponiendo que el predicado concat(X,Y,Z) se cumple cuando Z es la lista resultante de concatenar las listas X e Y.
Cul de los siguientes predicados permitira obtener la lista de nodos de un rbol binario (suponer que ya se ha definido el caso bsico)?
nodos(rama(X,I,D),[X|N]):-nodos(I,NI),nodos(D,ND),concat(NI,ND,N).
nodos(rama(X,I,D),concat(NI,ND,[X|N])):-nodos(I,NI),nodos(D,ND).
nodos(X,R):-nodos(rama(X,I,D),M,[X|N]),concat(M,N,R).
nodos(X,[X|N]):-nodos(rama(I),NI),nodos(rama(D),ND),concat(NI,ND,N).
Para implementar un sistema experto de acondicionamiento de automviles se utilizan los predicados:
pn(X,P)=P es la potencia normal de X, sube(X,C,P)=P es el incremento de potencia de X con la caracterstica C .
Se sabe que la potencia normal de un R9 es de 90cv, que el incremento de potencia al aadir un compresor es de 25cv y al aadir un kit de
inyeccion es de 10cv. Estos hechos se representan en Prolog como:
pn(r9,90).
sube(r9,compresor,25).
sube(r9,inyeccion,10).
Se desea construir un predicado potencia(X,L,P) que indique la potencia P obtenida por un coche con la lista de caractersticas L. Por
ejemplo, con los datos anteriores, la pregunta ?-potencia(r9,[compresor,inyeccion],P). devolvera P=125.
5.- El caso bsico sera:
potencia(X,[],P):-pn(X,P).
potencia(X,[],P).
pn(X,P):-potencia(X,[],P).
pn(X,P).
6.- El caso recursivo sera:
potencia(X,L,P):-potencia(X,[C|L],P),sube(X,C,S),P is P + S.
potencia(X,[C|L],R):-R is P + S, potencia(X,L,P),sube(X,C,S).
potencia(X,[C|L],R):-potencia(X,L,P),sube(X,C,S), R is P + S.
potencia(X,[C|L],[S|M]):-potencia(X,L,M),sube(X,C,S).
7.- En el sistema anterior, la regla: La potencia de coches con inyeccin sube 5cv cuando la potencia normal es de 100cv se representara
como:
sube(X,inyeccion,100):-pn(X,5).
pn(X,100):- sube(X,inyeccion,5).
sube(X,inyeccion,5):-pn(X,100).
pn(X,5):- sube(X,inyeccion,100).
8.-Dados los predicados D(x,y)=x da limosna a y, P(x)=x es pobre, B(x)=x es bueno y la interpretacin I formada por el dominio
D={juan,pedro} y las asignaciones: B(x)={pedro}, P(x)={pedro,juan}, D(x,y)={(juan,pedro)}.
Considrese la frase F1=Si juan da limosna a algn pobre, entonces Juan es bueno y F2=x( (D(juan,x)P(x)) B(juan) ). Se cumple que:
VI(F1)=V y VI(F2)=F
VI(F1)=V y VI(F2)=V
VI(F1)=F y VI(F2)=V
VI(F1)=F y VI(F2)=F
9.- Se dice que un conjunto borroso A es k-normal si x tal que A(x)k. A partir de la potencia del motor de un coche, se define el conjunto
borroso M de coches molones como: M(x)={60/0.2, 80/0.4, 100/0.6, 120/0.8 }. Se cumple entonces que:
El conjunto coches muy molones y no muy molones es 0.9-normal
El conjunto coches no muy molones es 0.9-normal
El conjunto coches muy molones es 0.9-normal
El conjunto coches molones es 0.9-normal
10.- La frmula definida en lgica de tipos como x:A (P(x) y:B (Q(x,y) Q(y,x)) ) equivale en lgica de predicados a:
x(A(x) (P(x) y (B(y) (Q(x,y) Q(y,x)) ) ) )
x(A(x) (P(x) y (B(y) (Q(x,y) Q(y,x)) ) ) )
x(A(x) (P(x) y (B(y) (Q(x,y) Q(y,x)) ) ) )
x(A(x) (P(x) y (B(y) (Q(x,y) Q(y,x)) ) ) )
11.- La frmula x(P(x)y(Q(x,y)P(y))) equivale en Forma Normal de Skolen a:
x((P(x)Q(x,f(x))) (P(x)P(f(x))))
x(P(x) (Q(x,f(x)) P(f(x))))
x((P(x)Q(x,y)) (P(x)P(y)))
x(P(x) (Q(x,y) P(y)))

Pgina 1 de 1

3-Feb-2001

Segundo Parcial

Lgica

Modelo A
En las siguientes preguntas considrese que se ha cargado el siguiente programa Prolog:
p(Y,b):-q(X,Y).
q(f(X),X).
12.- En el programa anterior, la respuesta del sistema Prolog ante la pregunta: ?-q(Y,f(b)).
Y = f(f(b)) X = f(b)
Y = f(X)
X = f(b)
Y = f(f(b))
No
13.- En el programa anterior, la respuesta del sistema ante la pregunta ?-p(a,X).
es:
X=a
X = f(a)
X=b
No
14.- Se ha demostrado el razonamiento {x(P(x)Q(x)), xQ(x) } xP(x) por
deduccin natural, siguiendo el esquema de la figura. Indicar cul sera la frmula
del paso 8.
P(a)
P(a)
Q(a)
Q(a)
En el siguiente ejercicio, utilizar: V(X)=x es una vaca, L(x)=x est loco, A(x)=x
es asturiano, S(x,y)=x sube a y, m=Monte.

1.-

x(P(x) Q(x))

Premisa

2.-

Premisa

3.-

(a) Q(a)

Supuesto

4.-

5.-

6.-

7.-

8.-

9.-

10.-

15.- Al formalizar la segunda premisa del razonamiento:

Existen vacas asturianas. No todos los que suben al monte estn locos, pero todos los asturianos que suben al monte s lo estn. Por tanto,
algunas vacas asturianas estn locas, se obtiene:
x(L(x)S(x,m)) x((S(x,m)A(x))L(x))
x(S(x,m)L(x)) x((S(x,m)A(x))L(x))
x(L(x)S(x,m)) x(L(x)(S(x,m)A(x)))
x(L(x)S(x,m)) x((S(x,m)A(x))L(x))
16.- El razonamiento del ejercicio anterior es:
Correcto, porque se alcanza la clusula vaca aplicando resolucin
Incorrecto, porque se alcanza la clusula vaca aplicando resolucin
Correcto, porque no se alcanza la clusula vaca aplicando resolucin
Incorrecto, porque no se alcanza la clusula vaca aplicando resolucin
17.- Sea F= x (P(g(x,y)) Q(f(x))), entonces:
F es una frmula bien formada cerrada
F es una frmula bien formada con una variable libre y otra ligada
x(P(x) Q(x))
1.Premisa
F no es una frmula bien formada
F est en forma normal de Skolem
2.Fp
Premisa
18.- Sea I la siguiente interpretacin: Dominio =Substituciones, U(x)=x es un
unificador, G(x)=x es un unificador ms general, f(x,y)=substitucin formada al
3.?
Supuesto
componer x con y, I(x,y)=x es igual a y. Indicar cul de las siguientes frmulas
toma valor verdadero en dicha interpretacin:
E1
4.?
x(G(x) y (U(y) z I(y,f(x,z)) ))
x(U(x) y (G(y) z I(x,f(y,z)) ))
5.?
?
x(G(x) y (U(y) z I(x,f(y,z)) ))
x(G(x) y (U(y) z I(y,f(x,z)) ))
I-3,5
6.?
19.- Se ha realizado una demostracin por deduccin natural siguiendo el
7.?
?
esquema de la figura de un razonamiento de la forma {x(P(x)Q(x)), Fp } Fq
donde Fp y Fq son dos frmulas distintas entre s. Cul es el valor de Fp?
FE-7
8.Fq
xP(x)
xP(x)
9.P(a)Fq
?
xP(x)
xQ(x)
10.?
?
20.- En el razonamiento anterior, cul es el valor de Fq?
xQ(x)
11.Fq
?
xP(x)
12.Q(a)Fq
?
xP(x)
xP(x)
13.Fq
?

14.-

Pgina 2 de 2

Fq

3-Feb-2001

Segundo Parcial

Modelo A

1.c
2.a
3.a
4.a
5.a
6.c
7.c
8.c
9.b
10.a
11.a
12.c
13.c
14.a
15.b
16.d
17.b
18.a
19.c
20.a

Pgina 3 de 3

Lgica