Pregunta de Inteligencia Artificial Capitulo 7

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.