7.

3 considere el problema de decidir si una sentencia es lógica

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 símbolo de la sentencia s). El
algoritmo debería ejecutarse en tiempo lineal respecto al tamaño de la sentencia.
( De alternativa, utiliza una versión de esta función del repositorio de código en
línea, online).

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

más eficiente.

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

¿Cuántos modelos hay para las siguientes sentencias?

a)(A ʌ B) v (R ʌ C)

r= 6

b)A v B

r= 12

c)A↔B↔C

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 lógicas binarias.

a) ¿Hay otras conectivas que podrían ser útiles?

Si hay más conectivas que se pueden usar y que sin lugar a duda son de
utilidad.

b) ¿Cuántas conectivas binarias puede haber?

Según 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 información estaría incompleta.

7.8 demuestre para cada una de las siguientes sentencias, si es válida,

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

a) Humo → Humo
Es una sentencia que es válida porque implica los mismos valores.

b) Humo → Fuego

Entra dentro de la categoría 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

implicación 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))

Válida, hay correspondencia entre ambas, es decir, que si hay calor es porque
hubo fuego y humo

f) ((Humo → Fuego) → ((Humo ʌ Calor) → Fuego)

Válida, porque si hay humo y fuego, es porque humo y calor es porque hay fuego

g) Grande v Mudo v (Grande → Mudo)

Es una expresión valida, porque dice que grave o mudo implica grande es mudo.

h) (Grande ʌ Mudo) v ┐Mudo.

Es insatisfacible, porque no tiene razón de ser la expresión.

7.9 (Adaptado a Barwise y Etchemendy (1993)). Dado el siguiente párrafo,

¿puede demostrar que el unicornio es un animal mitológico? ¿Qué es
mágico? ¿Qué tiene cuernos?

Si el unicornio es un animal mitológico, entonces es inmortal, pero si no es

mitológico, entonces es un mamífero mortal. Si el unicornio es inmortal o
mamífero, entonces tiene cuernos. El unicornio es mágico si tiene cuernos.

7.12 Este ejercicio trata de la relación entre las clausulas y las

sentencias de implicación.

a)
b)Demuestre que cada clausula (sin tener en cuenta el número de literales
positivos) se puede escribir en la forma (P1 ʌ… ʌ Pm) → (Q1 v..v Qn), donde las
Ps y Qs son símbolos 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 resolución 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 definición de AGENTE – WUMPUS – LP
no es óptima y sugiera mecanismos para mejorarla.

El comportamiento óptimo en el mundo WUMPUS se refiere a la mejor decisión

esperada que pueda tener el agente, en cuanto a su programación.

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 decisión clara, y entonces elige una decisión 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.