Certamen Inteligencia Artificial Ubb

1.- Considere el siguiente conocimiento:

Los deportistas tienen buena salud
Nadie que no viva muchos años es deportista
Ninguna persona que no viva muchos años ha recibido buena alimentación
Noexiste nadie que al mismo tiempo no sea deportista y no se alimente bien
Algunas personas tienen buena salud.

Se pide representar el conocimiento anterior mediante la lógica de predicados deprimer orden, dando previamente una definición

deportistax=x es depostista
buenax,y=x con buena y
personax=x es persona
vivex, muchos, años=x vive muchos años

∀x, deportistax∧buenax, salud
∃x,personax∧¬vivex,muchos, años→¬depostistax
∀x,personax∧¬vivex,muchos, años→¬buenax,alimentación
∃x,¬deportistax∧¬buena(x,alimentación)
∀x, personax∧buena(x,salud)

2.- Un robot esta almacenandosaco de dinero en una caja fuerte. Los sacos están en una fila y conectados por un hilo de alarma, de forma que solo tiene impresa su cantidad de dinero (en millones de pesos).
Podemos retirar ytransportar los pesados sacos rápidamente a nuestra furgoneta de uno en uno, pero cada vez que cogemos un saco el robot se apodera del que ha quedado más al a derecha y lo pone fuera de nuestro alcance.Se desea sustraer la mayor cantidad de dinero posible(para fines benéficos, por supuesto) sin accionar la alarma. Modelar el problema de la retirar de sacos para resolverlo mediante búsqueda,definiendo un espacio de estados adecuados

Si=dinero del saco A=alarma ei=extremo izquierdo
s=saco con dinero on=encedida ed=extremo derecho
i=posicion del saco off=apagadaEE=(S1,S2,S3…Sn-1,Sn∕Si>0 ∧i>0∧ A=off}
EI=(S1,S2,S3…Sn-1,Sn/A=off}
EF={(0)/A=off}

Operadores:
Op1=
Precondición
Sei>Sed, i=ei∨ed

Sacar saco Sei
Poscondición
(Sei+1,Sei+2,Sei+3…Sei-2,Sei-1)/A=off

Op2=Precondición
Sei>Sed, i=ei∨ed

Sacar saco Sed
Poscondición
(Sei,Sei+1,Sei+2…Sei-3,Sei-2)/A=off

Op3=
Sacar un saco que no fuera extremo, tendría la consecuencia de que la alarma se...