Vous êtes sur la page 1sur 4

7.

3 considere el problema de decidir si una sentencia es lgica proposicional


es verdadera dada un modelo.
a) Escriba un algoritmo recursivo VERDADERA-LP? (s,m) que devuelva
verdadero si y solo si la sentencia s es verdadera en el modelo m (donde el
modelo m asigna un valor de verdad a cada smbolo de la sentencia s). El
algoritmo debera ejecutarse en tiempo lineal respecto al tamao de la sentencia.
( De alternativa, utiliza una versin de esta funcin del repositorio de cdigo en
lnea, online).

e) investigue si el algoritmo modificado puede hacer que IMPLICACION-TV? Sea


ms eficiente.

7.5 considere un vocabulario con tan solo cuatro proposiciones, A, B, C y D.


Cuntos modelos hay para las siguientes sentencias?
a) (A B) v (R C)
r= 6
b) A v B
r= 12
c) ABC
r=4
Resultados basados en las posibles con las posibles combinaciones de modelos
con respuestas positivas y tomando en cuenta todas y cada una de las variables,
bueno proposiciones.

7.6 Hemos definido cuatro conectivas lgicas binarias.


a) Hay otras conectivas que podran ser tiles?
Si hay ms conectivas que se pueden usar y que sin lugar a duda son de utilidad.
b) Cuntas conectivas binarias puede haber?

Segn las tablas de la verdad que se pueden hacer y que tienes resultados como
true o false, se tienen alrededor de 16 totales conectivas binarias.
c) Por qu algunas de ellas no son muy tiles?
Porque algunas de estas conectivas omiten datos, entrada, salida, o ambos, es
por ello que no sirven de mucha utilidad por que la informacin estara incompleta.

7.8 demuestre para cada una de las siguientes sentencias, si es vlida,


insatisfacible, o ninguna de las dos cosas. Verifique su decisin utilizando
las tablas de verdad o las equivalencias de la figura 7.11

a) Humo Humo

Es una sentencia que es vlida porque implica los mismos valores.


b) Humo Fuego
Entra dentro de la categora de ninguna de las dos, puesto que es satisfacible
porque implica una dentro de la otra, tiene algo de correspondencia.
c) (Humo Fuego) (Humo Fuego)
Esta entra dentro de lo anterior, es satisfacible, porque tienen un grado de
implicacin una con la otra.
d) Humo v fuego v Fuego
Valida, tienen un grado de correspondencia entre ellas, es decir, que puede haber
humo, o fuego, o no fuego pero humo.
e) ((Humo Calor) Fuego) ((Humo Fuego) v (Calor Fuego))
Vlida, hay correspondencia entre ambas, es decir, que si hay calor es porque
hubo fuego y humo
f) ((Humo Fuego) ((Humo Calor) Fuego)
Vlida, porque si hay humo y fuego, es porque humo y calor es porque hay fuego
g) Grande v Mudo v (Grande Mudo)
Es una expresin valida, porque dice que grave o mudo implica grande es mudo.
h) (Grande Mudo) v Mudo.
Es insatisfacible, porque no tiene razn de ser la expresin.

7.9 (Adaptado a Barwise y Etchemendy (1993)). Dado el siguiente prrafo,


puede demostrar que el unicornio es un animal mitolgico? Qu es
mgico? Qu tiene cuernos?
Si el unicornio es un animal mitolgico, entonces es inmortal, pero si no es
mitolgico, entonces es un mamfero mortal. Si el unicornio es inmortal o
mamfero, entonces tiene cuernos. El unicornio es mgico si tiene cuernos.
7.12 Este ejercicio trata de la relacin entre las clausulas y las sentencias de
implicacin.
a)

b) Demuestre que cada clausula (sin tener en cuenta el nmero de literales


positivos) se puede escribir en la forma (P1 Pm) (Q1 v..v Qn), donde las
Ps y Qs son smbolos proposicionales. Una base de conocimiento compuesta por
este tipo de sentencia est en forma normal implicativa o forma de Kowalski
c) Interprete la regla de la resolucin general para las sentencias en forma normal
implicativa.

7.14 Discuta lo que quiere significar un comportamiento ptimo en el mundo


de wumpus. Demuestre que nuestra definicin de AGENTE WUMPUS LP
no es ptima y sugiera mecanismos para mejorarla.
El comportamiento ptimo en el mundo WUMPUS se refiere a la mejor decisin
esperada que pueda tener el agente, en cuanto a su programacin.
El AGENTE WUMPUS LP no es ptimo en el momento en el que se enfrenta a
tomar decisiones al azar, es decir, cuando el agente dentro del mundo WUMPUS
est rodeado de muchos peligros, no tiene la capacidad de tomar una decisin
clara, y entonces elige una decisin al azar, es entonces cuando se dice que el
agente no es ptimo.
Lo que se recomienda para optimizar en su rendimiento al AGENTE WUMPUS
LP, es que tome en cuenta la seguridad de cada una de las decisiones que vaya a
tomar, lo que quiere decir, que aunque tenga que salir del mundo WUMPUS elija
esa posibilidad, o en su defecto hacer el movimiento en el que menos peligro
corra.