Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 152 vistas

    Ejercicios Sobre Agentes Lógicos

    Cargado por

    Devaluado Mike
    El documento presenta un problema lógico sobre los estudiantes de la escuela de magia Hogwarts. Plantea que Harry, Ron y Draco son estudiantes de Hogwarts y que cada estudiante es malvado o jugador de Quidditch. Afirma también que ningún jugador gusta de la lluvia y que a todos los estudiantes malvados les gustan las pociones. Finalmente, busca probar si existe algún estudiante que sea bueno en Quidditch pero no le gusten las pociones.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd

    Ejercicios Sobre Agentes Lógicos

    Cargado por

    Devaluado Mike
    152 vistas2 páginas
    El documento presenta un problema lógico sobre los estudiantes de la escuela de magia Hogwarts. Plantea que Harry, Ron y Draco son estudiantes de Hogwarts y que cada estudiante es malvado o jugador de Quidditch. Afirma también que ningún jugador gusta de la lluvia y que a todos los estudiantes malvados les gustan las pociones. Finalmente, busca probar si existe algún estudiante que sea bueno en Quidditch pero no le gusten las pociones.

    Descripción original:

    ejercicios sobre agentes lógicos

    Título original

    EjerciciosSobreAgentesLógicos

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    DOCX, PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    El documento presenta un problema lógico sobre los estudiantes de la escuela de magia Hogwarts. Plantea que Harry, Ron y Draco son estudiantes de Hogwarts y que cada estudiante es malvado o jugador de Quidditch. Afirma también que ningún jugador gusta de la lluvia y que a todos los estudiantes malvados les gustan las pociones. Finalmente, busca probar si existe algún estudiante que sea bueno en Quidditch pero no le gusten las pociones.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    152 vistas2 páginas

    Ejercicios Sobre Agentes Lógicos

    Cargado por

    Devaluado Mike
    El documento presenta un problema lógico sobre los estudiantes de la escuela de magia Hogwarts. Plantea que Harry, Ron y Draco son estudiantes de Hogwarts y que cada estudiante es malvado o jugador de Quidditch. Afirma también que ningún jugador gusta de la lluvia y que a todos los estudiantes malvados les gustan las pociones. Finalmente, busca probar si existe algún estudiante que sea bueno en Quidditch pero no le gusten las pociones.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    de 2

    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

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

    {𝑥/𝐻𝑎𝑟𝑟𝑦}

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

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

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

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

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

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

    También podría gustarte