INTELIGENCIA

EJERCICIO LIBRO RUSSEL, S. Y NORVING P. (2003). INTELIGENCIA ARTIFICIAL, UN ENFOQUE MODERNO (2DA ED.) ESPAÑA: PRENTICE HALL.

EJERCICIO 7.5
Considere un vocabulario con sólo cuatroproposiciones, A, B, C. y D. ¿Cuántos modelos hay para las siguientes sentencias?

a) (A ∧ B) ∨ (B ∧ C)
HAY 6 MODELOS
b) A v B
HAY 12 MODELOS
c) A ⇔ B ⇔ C
HAY 4 MODELOS


EJERCICIO 7.8
Demuestrepara 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)
b)c)
d)
e)
f)
g)
h)




1) TENEMOS UNA FORMULA EN α EN LÓGICA PROPOSICIONAL.
a) De las siguientes afirmaciones indicar cuál es el número de la afirmación que define una F.N.C:2) ¿Es el siguiente razonamiento correcto? Traducir a fórmulas bien formadas y aplicar reglas de inferencia para verificar si es correcto.

“Si la temperatura y la presión del aire permanecenconstantes no llueve. La temperatura permaneció constante. Por lo tanto, si llovió entonces la presión del aire no permaneció constante.”

T: TEMPERATURA
P: PRESIÓN DEL AIRE
L: LLUEVE

{(t ∧ p)→¬l,t}|= l→¬p



3) CONSIDERAR LAS SIGUIENTES OBSERVACIONES

“Sólo hay dos formatos de foto: rectangular y cuadrada. Las fotos son en color o en blanco y negro. Si la foto es cuadrada, entonces es unafoto en blanco y negro. Si es rectangular, es una foto digital en color. En caso de que la foto sea en blanco y negro o digital, entonces es un retrato. Si es un retrato, es la foto de mi amigo.”a) Construir la base de conocimiento escribiendo fórmulas bien formadas de lógica proposicional que representen lo expresado en el párrafo anterior.

Para escribir las fórmulas, utilizad losátomos A, B, C, D, E, F, G.


Átomo
Interpretación
A
la foto es en color
B
la foto es en blanco y negro
C
la foto es cuadrada
D
la foto es rectangular
E
la foto es digital
F
la foto es un...