Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 43 vistas

    Problemario Logica de Predicados

    Cargado por

    Wendy Escalante
    Este documento presenta un problema de la materia de Inteligencia Artificial para la alumna Wendy Kumary Cano Escalante. El problema incluye ejercicios para identificar relaciones y propiedades en oraciones y expresarlas como funciones, así como ejemplos de aplicación de reglas lógicas como modus ponens, modus tollendo tollens y cuantificadores universales.

    Copyright:

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

    Problemario Logica de Predicados

    Cargado por

    Wendy Escalante
    43 vistas7 páginas
    Este documento presenta un problema de la materia de Inteligencia Artificial para la alumna Wendy Kumary Cano Escalante. El problema incluye ejercicios para identificar relaciones y propiedades en oraciones y expresarlas como funciones, así como ejemplos de aplicación de reglas lógicas como modus ponens, modus tollendo tollens y cuantificadores universales.

    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?

    Este documento presenta un problema de la materia de Inteligencia Artificial para la alumna Wendy Kumary Cano Escalante. El problema incluye ejercicios para identificar relaciones y propiedades en oraciones y expresarlas como funciones, así como ejemplos de aplicación de reglas lógicas como modus ponens, modus tollendo tollens y cuantificadores universales.

    Copyright:

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

    Problemario Logica de Predicados

    Cargado por

    Wendy Escalante
    Este documento presenta un problema de la materia de Inteligencia Artificial para la alumna Wendy Kumary Cano Escalante. El problema incluye ejercicios para identificar relaciones y propiedades en oraciones y expresarlas como funciones, así como ejemplos de aplicación de reglas lógicas como modus ponens, modus tollendo tollens y cuantificadores universales.

    Copyright:

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

    INSTITUTO TECNOLOGICO SUPERIOR DE PÁNUCO

    CARRERA:
    INGENIERIA EN SISTEMAS COMPUTACIONALES

    PROBLEMARIO

    MATERIA:
    INTELIGENCIA ARTIFICIAL

    DOCENTE:
    Ing. Gil Santana Esparza

    Alumna:
    Cano Escalante Wendy Kumary
    Ejercicio: para
    las siguientes oraciones indica donde existe una relación y donde
    un propiedad. Después exprésalas como funciones.
    1. Pedro estudia la misma carrera que juan: Relación
    2. Pedro y juan estudian juntos: Relación
    3. A (m): Propiedad
    4. Jorge arregla la computadora de Mary: Relación

    Para representar los predicados utilizando conectivas lógicas se simplificara su


    expresión:
    Carlos nada rápido Marta está alegre
    Nada rápido (Carlos) Está alegre(Martha)
    N(c) A(m)
    Nc Am

    Andres es un miembro del club


    Ma

    Juan es un músico
    Sj

    El salón esta desordenado


    Ds

    La mesa es cuadrada
    Cm

    Luis nombró secretario a José


    Sij

    Ejercicio:
    Si los ingresos
    de Antonio no aumentan proporcionalmente, entonces sus ingresos
    reales disminuyen.
    Ix <-> x aumentan proporcionalmente
    Ny <-> y sus ingresos reales disminuyen
    a = Antonio
    ¬Ia -> Na
    O los ingresos reales aumentan o el nivel de vida no ha de subir.
    Aumentan(i) v no_sube(v)
    i = ingresos
    v = vida
    Juan no es licenciado.
    Lx <-> x es un licenciado
    ¬L(j)
    j = Juan
    Si Juan no es el hermano de Martha o Martha no es la cuñada de Juan, entonces el
    Sr. Pérez no es el padre de José y José es el primo de Martha.
    Hwx <-> w es hermano de x
    Cxw <-> x es cuñada de w
    Pyz <-> y es el padre de z
    Ozx <-> z es el primo de x
    ¬Hjm v ¬Cmj -> ¬Ppe ^ Oem
    j = Juan
    m = Martha
    p = Sr. Pérez
    e = José
    Modus
    ponendo ponens:
    Regla de inferencia (método) que permite demostrar. Esta regla de inferencia es el
    método (modus), que afirma (ponens) el consecuente, afirmando (ponendo) al
    antecedente
    Premisa 1
    Premisa 2

    Modus ponendo ponens:


    Esta regla de inferencia es el método (modus), que afirma (ponens) el consecuente,
    afirmando (ponendo) al antecedente.

    Esquematizando:
    1. R -> S P
    2. R P
    3. S PP 1,2
    Ejemplo:
    1. ¬A -> ¬B P 1. M P 1. R P
    2. ¬A P 2. M -> N P 2. R -> (¬T v Q) P
    3. ¬B PP 1,2 3. N PP 1,2 3. ¬T v Q PP 1,2

    1. A -> BP 1. S -> ¬T P 1. R -> ¬T P


    2. B -> C P 2. S P 2. S -> R P
    3. A P 3. ¬T -> R P 3. S P
    4. B PP 1,3 4. ¬T PP 1,2 4. R PP
    2,3
    5. C PP 2,4 5. R PP 3,4 5. ¬T PP
    1,4

    Demostrar: C
    1. A -> B ^ D
    P
    2. B ^ D -> C P
    3. A P
    4. B ^D PP 1,3
    5. C PP 2,4

    Demostrar: ¬S
    1. T P
    2. T -> ¬Q P
    3. ¬Q -> ¬S P
    4. ¬Q PP 1,2
    5. ¬S PP 3,4

    EJERCICIO
    Si se levanta
    aire húmedo, entonces refrescará 1. A -> R (A
    = aire, R = refrescará,
    Si refresca, entonces se formaran nubes 2. R -> N N = nubes)
    Se levanta aire húmedo 3. A
    Entonces se formaran nubes 4. R PP 1,3
    5. N PP 2,4

    1.- Todos los perros son animales. Lassie es un perro. Por tanto, Lassie es un
    animal.
    Ɐ x(Px -> Ax) P = perros, A = animales, l = lassie
    1. Pl -> Al P
    2. Pl P
    3. Al PP 1,2

    2.- Todos los loros son pájaros. Todos los pájaros son vertebrados. Polly es un loro.
    Por tanto, Polly es un vertebrado.
    Ɐ x(Lx -> Px) (L = loros, P = pajaros, V = vertebrados, p = polly)
    Ɐ x(Px -> Vx)
    1. Lp -> Pp
    2. Pp -> Vp
    3. Lp
    4. Pp PP 1,3
    5. Vp PP 2,4

    Modus Tollendo Tollens


    Regla de
    inferencia que se aplica también a las reglas proposicionales. Por
    en este caso, negando (tollendo) el consecuente, se puede negar (tollens) el
    antecedente de la condicional.
    Premisa 1. Si tiene luz propia, entonces el astro es una estrella.
    Premisa 2. El astro no es una estrella.
    Conclusión. Por tanto no tiene luz propia
    P = tiene luz propia 1. P -> Q P
    Q = el astro es una estrella 2. ¬Q P
    3. ¬P TT 1,2
    3. Todo presidente es un Jefe de Estado nombrado por elección. Un jefe de estado
    no nombrado por elección es un monarca. El rey Bladino es un monarca. Por tanto,
    el rey Baldino no es un presidente
    Ɐ x(Px -> Jx) (P = presidente, J = jefe de estado, M = monarca, b = rey
    Bladino)
    Ɐ x(Mx -> ¬Jx)
    1. Pb -> Jb
    2. Mb -> ¬Jb
    3. Mb
    4. ¬Jb PP 2,3
    5. ¬Pb TT 1,4

    También podría gustarte