INGENIERIA Super SUPERIOR en INFORMTICA

EXAMEN del primer llamamiento de IAIC 2 junio de 2011

1) Ha desaparecido un porttil en tu oficina. Sabes que en tu trabajo el

80% de los porttiles son baratos y el 20% caros. Si el porttil es
caro la probabilidad de que lo hayan robado es del 10% y de que
alguien lo haya perdido el 90%. Si el porttil es barato, la
probabilidad de haber sido robado es del 5% y de que lo haya
perdido es del 95%. Si el porttil es robado, la probabilidad de que
encuentres su funda en la oficina es del 20%, cuando es perdido la
probabilidad es del 5%. Aunque tienes un servicio de seguridad que
vigila la oficina el 80% del tiempo, temes que haya ms robos.
Piensas que si el servicio de seguridad vigila y el porttil fue robado,
la probabilidad de que se cometa otro robo es del 40%. Cuando el
servicio de seguridad no vigila la probabilidad sube al 60%. Si el
porttil fue perdido las probabilidades anteriores son del 5%.
Se pide:
a) disear la red bayesiana de esto
b) Si el precio del porttil desaparecido es caro y aparece la funda
Cul es la probabilidad de que haya otro robo?
c) Si el servicio de seguridad est activo (me despist creo que deca
que encontrabas la funda, calcular la probabilidad de otro robo o algo
as, que mierda de carrera dios mo).
2)
a) Expresar en clculo de predicados:
Dos personas que comparten el mismo coche necesariamente son
amigos.
Slo las casillas adyacentes a wumpus tienen hedor
Todas las casillas salvo una estn ocupadas
b) usa un tablero semntico para determinar de que tipo segn la
semntica es la expresin siguiente:
( p q ) ^ ( q p) ^ p

3) Expresar mediante clusulas de Horn y construir el rbol de

resolucin SLD del siguiente programazo en PROLOG (quin dijo
que no entraba??):
?partes([1], X), partes([3], Y).
partes([],[]).
partes([X|Xs],[X|Ys]) :- partes(Xs,Ys).
partes([_|Xs],Ys):- partes(Xs,Ys).
4) Determina si el siguiente razonamiento es correcto usando las
magnficas tcnicas de DEMOSTRACIN DE TEOREMAS que
hemos aprendido en clases:

x y (R(x) S(x,y)), xy(S(x,y) P(y)) x(R(y) P(x))