ESCUELA POLITÉCNICA NACIONAL

FACULTAD DE INGENIERÍA DE SISTEMAS

INGENIERÍA EN SISTEMAS INFORMÁTICOS Y DE COMPUTACIÓN
ASIGNATURA: INTELIGENCIA ARTIFICIAL GRUPO: GR1
TÍTULO: EJERCICIOS SOBRE AGENTES LÓGICOS PERÍODO: 2019A
FECHA: 10/06/2019
3. Mostrar por refutación:
- Harry, Ron y Draco son estudiantes de la escuela Hogwarts para magos.

𝑒𝑠𝑡𝑢𝑑𝑖𝑎𝑛𝑡𝑒(𝐻𝑎𝑟𝑟𝑦, 𝐻𝑜𝑔𝑤𝑎𝑟𝑡𝑠)

𝑒𝑠𝑡𝑢𝑑𝑖𝑎𝑛𝑡𝑒(𝑅𝑜𝑛, 𝐻𝑜𝑔𝑤𝑎𝑟𝑡𝑠)

𝑒𝑠𝑡𝑢𝑑𝑖𝑎𝑛𝑡𝑒(𝐷𝑟𝑎𝑐𝑜, 𝐻𝑜𝑔𝑤𝑎𝑟𝑡𝑠)

- Cada estudiante es o malvado o un buen jugador de Quidditch, o ambos.

∀𝑥[𝑒𝑠𝑡𝑢𝑑𝑖𝑎𝑛𝑡𝑒(𝑥) → (𝑚𝑎𝑙𝑣𝑎𝑑𝑜(𝑥)) ∨ (𝑒𝑠𝑡𝑢𝑑𝑖𝑎𝑛𝑡𝑒(𝑥) → (𝑗𝑢𝑔𝑎𝑑𝑜𝑟(𝑥)))]

- A ningún jugador de Quidditch le gusta la lluvia y a todos los estudiantes

malvados les gustan las pociones.

∄𝑥(𝑗𝑢𝑔𝑎𝑑𝑜𝑟(𝑥) → 𝑔𝑢𝑠𝑡𝑎𝐿𝑙𝑢𝑣𝑖𝑎(𝑥)) ∧ ∀𝑥(𝑚𝑎𝑙𝑣𝑎𝑑𝑜(𝑥) → 𝑔𝑢𝑠𝑡𝑎𝑃𝑜𝑐𝑖𝑜𝑛𝑒𝑠(𝑥))

- A Draco no le gusta cualquier cosa que le guste a Harry y le gusta

cualquier cosa que le disgusta a Harry.

¬(𝐷𝑟𝑎𝑐𝑜(𝑥) → 𝐻𝑎𝑟𝑟𝑦(𝑥)) ∧ (𝐷𝑟𝑎𝑐𝑜(𝑥) → (¬𝐻𝑎𝑟𝑟𝑦(𝑥)))

- A Draco le gusta la lluvia y las pociones.

𝐷𝑟𝑎𝑐𝑜(𝑥) → (𝑙𝑙𝑢𝑣𝑖𝑎(𝑥) ∧ 𝑝𝑜𝑐𝑖𝑜𝑛𝑒𝑠(𝑥))

Probar el objetivo: ¿Hay algún estudiante que es bueno en Quidditch pero no es

bueno con las pociones?

𝐶1: 𝐸𝑠𝑡𝑢𝑑𝑖𝑎𝑛𝑡𝑒(𝐻𝑎𝑟𝑟𝑦, 𝐻𝑜𝑔𝑤𝑎𝑟𝑡𝑠)

𝐶2: 𝐸𝑠𝑡𝑢𝑑𝑖𝑎𝑛𝑡𝑒(𝑅𝑜𝑛, 𝐻𝑜𝑔𝑤𝑎𝑟𝑡𝑠)
𝐶3: 𝐸𝑠𝑡𝑢𝑑𝑖𝑎𝑛𝑡𝑒(𝐷𝑟𝑎𝑐𝑜, 𝐻𝑜𝑔𝑤𝑎𝑟𝑡𝑠)
∀𝑥 𝐸𝑠𝑡𝑢𝑑𝑖𝑎𝑛𝑡𝑒(𝑥) → 𝑚𝑎𝑙𝑣𝑎𝑑𝑜(𝑥) ∨ 𝑗𝑢𝑔𝑎𝑑𝑜𝑟(𝑥)
𝐶4: ¬𝐸𝑠𝑡𝑢𝑑𝑖𝑎𝑛𝑡𝑒(𝑥) ∨ 𝑚𝑎𝑙𝑣𝑎𝑑𝑜(𝑥) ∨ 𝑗𝑢𝑔𝑎𝑑𝑜𝑟(𝑥)
∀𝑥 𝑗𝑢𝑔𝑎𝑑𝑜𝑟(𝑥) → ¬𝑔𝑢𝑠𝑡𝑎(𝑥, 𝑙𝑙𝑢𝑣𝑖𝑎)
∀𝑥 𝑚𝑎𝑙𝑣𝑎𝑑𝑜(𝑥) → 𝑔𝑢𝑠𝑡𝑎(𝑥, 𝑝𝑜𝑐𝑖𝑜𝑛𝑒𝑠)
𝐶5: ¬𝑗𝑢𝑔𝑎𝑑𝑜𝑟(𝑥) ∨ ¬𝑔𝑢𝑠𝑡𝑎(𝑥, 𝑙𝑙𝑢𝑣𝑖𝑎)
 𝐶6: ¬𝑚𝑎𝑙𝑣𝑎𝑑𝑜(𝑥) ∨ 𝑔𝑢𝑠𝑡𝑎(𝑥, 𝑝𝑜𝑐𝑖𝑜𝑛𝑒𝑠)
∀𝑥 𝑔𝑢𝑠𝑡𝑎(𝐻𝑎𝑟𝑟𝑦, 𝑥) ↔ ¬𝑔𝑢𝑠𝑡𝑎(𝐷𝑟𝑎𝑐𝑜, 𝑥)
𝐶7: ¬𝑔𝑢𝑠𝑡𝑎(𝐻𝑎𝑟𝑟𝑦, 𝑥) ∨ ¬𝑔𝑢𝑠𝑡𝑎(𝐷𝑟𝑎𝑐𝑜, 𝑥)
𝐶8: 𝑔𝑢𝑠𝑡𝑎(𝐷𝑟𝑎𝑐𝑜, 𝑥) ∨ 𝑔𝑢𝑠𝑡𝑎(𝐻𝑎𝑟𝑟𝑦, 𝑥)
𝐶9: 𝑔𝑢𝑠𝑡𝑎(𝐷𝑟𝑎𝑐𝑜, 𝑙𝑙𝑢𝑣𝑖𝑎)
𝐶10: 𝑔𝑢𝑠𝑡𝑎(𝐷𝑟𝑎𝑐𝑜, 𝑝𝑜𝑐𝑖𝑜𝑛𝑒𝑠)
𝑶𝒃𝒋𝒆𝒕𝒊𝒗𝒐 → ∃𝒙 𝒋𝒖𝒈𝒂𝒅𝒐𝒓(𝒙) ∧ ¬𝒈𝒖𝒔𝒕𝒂(𝒙, 𝒑𝒐𝒄𝒊𝒐𝒏𝒆𝒔)

𝑃𝑜𝑟 𝑟𝑒𝑓𝑢𝑡𝑎𝑐𝑖𝑜𝑛 𝑠𝑒 𝑎𝑔𝑟𝑒𝑔𝑎 𝑞𝑢𝑒 ∀𝑥¬𝑗𝑢𝑔𝑎𝑑𝑜𝑟(𝑥) ∨ 𝑔𝑢𝑠𝑡𝑎(𝑥, 𝑝𝑜𝑐𝑖𝑜𝑛𝑒𝑠)

Se comprueba el objetivo

𝐺𝑢𝑠𝑡𝑎(𝐷𝑟𝑎𝑐𝑜, 𝑝𝑜𝑐𝑖𝑜𝑛𝑒𝑠) ¬𝑔𝑢𝑠𝑡𝑎(𝐻𝑎𝑟𝑟𝑦, 𝑥) ∨ ¬𝑔𝑢𝑠𝑡𝑎(𝐷𝑟𝑎𝑐𝑜, 𝑥)

{𝑥/𝐻𝑎𝑟𝑟𝑦}

¬𝑚𝑎𝑙𝑣𝑎𝑑𝑜(𝑥) ∨ 𝑔𝑢𝑠𝑡𝑎(𝑥, 𝑝𝑜𝑐𝑖𝑜𝑛𝑒𝑠) ¬𝑔𝑢𝑠𝑡𝑎(𝐻𝑎𝑟𝑟𝑦, 𝑝𝑜𝑐𝑖𝑜𝑛𝑒𝑠) ¬𝑗𝑢𝑔𝑎𝑑𝑜𝑟(𝑥) ∨ 𝑔𝑢𝑠𝑡𝑎(𝑥, 𝑙𝑙𝑢𝑣𝑖𝑎)

{𝑥/𝐻𝑎𝑟𝑟𝑦} {𝑥/𝐻𝑎𝑟𝑟𝑦}

¬𝑚𝑎𝑙𝑣𝑎𝑑𝑜(𝐻𝑎𝑟𝑟𝑦) ¬𝑗𝑢𝑔𝑎𝑑𝑜𝑟(𝐻𝑎𝑟𝑟𝑦)

𝐸𝑠𝑡𝑢𝑑𝑖𝑎𝑛𝑡𝑒(𝐻𝑎𝑟𝑟𝑦) ¬𝐸𝑠𝑡𝑢𝑑𝑖𝑎𝑛𝑡𝑒(𝑥) ∨ 𝑚𝑎𝑙𝑣𝑎𝑑𝑜(𝑥) ∨ 𝑗𝑢𝑔𝑎𝑑𝑜𝑟(𝑥)

𝑚𝑎𝑙𝑣𝑎𝑑𝑜(𝐻𝑎𝑟𝑟𝑦) ∨ 𝑗𝑢𝑔𝑎𝑑𝑜𝑟(𝐻𝑎𝑟𝑟𝑦)

𝑗𝑢𝑔𝑎𝑑𝑜𝑟(𝐻𝑎𝑟𝑟𝑦)