Académique Documents
Professionnel Documents
Culture Documents
INTELIGENCIA ARTIFICIAL
Lógica de Proposiciones
Lógica de Predicados
Deducción Automática
Representación del Conocimiento
• El conocimiento debe estar expresado en un
lenguaje simbólico para que pueda ser
reconocido por una computadora o ‘agente’.
Acciones:
Ir hacia adelante, girar izda/dcha 90º
Agarrar (estando en la casillla)
Disparar (sólo una flecha)
• Notación:
– Bij indica que hay brisa en la celda (i,j).
– Pij indica que hay un pozo en la celda (i,j).
• Doble Negación: ~( ~p ) ≡ p
Lógica de Proposiciones
• Leyes Conmutativas
(pvq)≡(qvp)
(p^q)≡(q^p)
• Leyes Asociativas
(pvq)vr≡pv(qvr)
(p^q)^r≡p^(q^r)
Lógica de Proposiciones
• Leyes Distributivas
pv(q^r)≡(pvq)^(pvr)
p^(qvr)≡(p^q)v(p^r)
• Leyes de Idempotencia
(pvp)≡p
(p^p)≡p
Lógica de Proposiciones
• Leyes de DeMorgan
~( p v q ) ≡ ~p ^ ~q
~( p ^ q ) ≡ ~p v ~q
• Leyes de Identidad
( p v ~p ) ≡ t
( p ^ ~p ) ≡ f
(pvf)≡p
(pvt)≡t
Lógica de Proposiciones
• Leyes de Identidad
(pvf)≡f
(pvt)≡p
• Leyes de la Implicación
(p ⇔ q) ≡ (p ⇒ q) ^ (q ⇒ p)
(p ⇒ q) ≡ (~q ⇒ ~p)
(q ⇒ p) ≡ (~p ⇒ ~q)
(p ⇒ q) ≡ (~p v q)
Lógica de Proposiciones
• Reglas de Inferencias
• La siguiente implicación lógica se llama
Modus Ponens y corresponde a la siguiente
inferencia:
p ^ ( p ⇒ q ) :: q
• Ejemplo:
p: Estudio
p ⇒ q: Si estudio aprobaré Matemáticas
Lógica de Proposiciones
• La siguiente implicación lógica se llama
Modus Tollens y corresponde a la siguiente
inferencia:
( p ⇒ q ) ^ ~q :: ~p
• Ejemplo:
p ⇒ q: Si estudio apruebo Matemáticas
~q: No aprobé Matemáticas
~p: Entonces, no Estudié
Lógica de Proposiciones
• La siguiente implicación lógica se llama
Silogismo Hipotético y corresponde a la
siguiente inferencia:
( p ⇒ q ) ^ ( q ⇒ r ) :: ( p ⇒ r )
• Ejemplo:
p ⇒ q: Si estudio apruebo Matemáticas
q ⇒ r: Si apruebo Matemáticas me regalan un
auto
p ⇒ r: Entonces, Si estudio me regalan un auto
Lógica de Proposiciones
• La siguiente implicación lógica se llama
Silogismo Disyuntivo y corresponde a la
siguiente inferencia:
( p v q ) ^ ~p :: q
• Ejemplo:
p v q: Hay que estudiar Francés o Alemán
~p: No estudio Francés
q: Entonces, Estudio Alemán
Lógica de Proposiciones
• La simplificación conjuntiva consiste en
eliminar uno de los términos de una
conjunción:
( p ^ q ) :: q o también: ( p ^ q ) :: p
• E9: ~B12
• E10: B12 ⇔ P11 v P13 v P22
• E12: ~P22
Lógica en Wumpus
• Concluimos que no hay pozo ni en la casilla
(1,3) ni en la (2,2).
• E11: ~P13
• E12: ~P22
• E15: P31
• Se convierte a FNC:
• (~B11 v P12 v P21) ^ (~P12 v B11) ^ (¿P21 v
B11) ^ ~B11 :: ~P12
Lógica Proposicional
• Y para probar por reducción al absurdo,
tenemos la negación:
• (~B11 v P12 v P21) ^ (~P12 v B11) ^ (~P21 v
B11) ^ ~B11 ^ P12
• p^(p⇒q)
• ((p ^ q) ⇔ (p v ~q))
• Padre_de(Pepe) ?
• 〈Sentencia Atómica〉 →
〈Predicado〉(〈Término〉…) | 〈Término〉 =
〈Término〉
• 〈Término〉 → 〈Función〉(〈Término〉…) |
Lógica de Primer Orden
• 〈Conector〉 → . | - | ⇔ | ⇒
• 〈Cuantificador〉 → ∀ | ∃
• 〈Constante〉 → Martin | 59302 | Gato | X | …
• 〈Variable〉 → a | x | s | …
• Considerar la sentencia:
• ∀x ~Gusta(x,Verduras) “Para todo x, x no le
gustan las verduras."
• FOL en Wumpus:
• Identificación de la tarea.
• Recopilación del conocimiento.
• Decidir el vocabulario.
• Codificar el conocimiento.
Deducción Automática
• Para el hecho: Contrata(Telmex,Toño),
podemos construir índices para las siguientes
peticiones:
6. Marco es romano
• romano(Marco) (en FNC)
Deducción Automática
• Los Miembros del equipo de tenis son: Juan,
Sara, Beto y Elena.