INTELIGENCIA ARTIFICIAL

Inferencia en Lgica Proposicional

Mg. Samuel Oporto Daz

Mapa Conceptual del Curso

2 /39

Tabla de Contenido
1. 2. 3. 4. 5. 6. 7. Inferencia. Reglas de Inferencia Formas Cannicas Probador de Teoremas Ejercicios Anexo Bibliografa

3 /39

Objetivos
Exponer los mecanismos de inferencia Presentar las reglas de inferencia. Presentar el concepto del probador de Teoremas

4 /39

INFERENCIA
y ahora qu hago?

5 /39

Inferencia
Segn la filosofa existen tres modos bsicos de razonamiento: Deduccin. inferencia desde las causas hacia los efectos, o desde lo universal hacia lo particular. Induccin. Recorre el camino inverso. Abduccin o retroduccin. Relacionado con la gnesis de la hiptesis

Deductiva o analtica
Inferencia Sinttica Induccin Hiptesis

6 /39

Mecanismo de Inferencia
Realiza razonamiento Verifica la consistencia de una sentencia dada. Es completo si puede encontrar una prueba para cada sentencia que se puede producir . Es robusto si los pasos que se siguen conducen solamente a sentencias que son consistentes con la base de conocimiento Teora de pruebas: Conjunto de pasos de razonamiento que son robustos

7 /39

Inferencia
Razonamiento robusto, inferencia lgica, deduccin Procedimiento que calcula la validez de sentencias Una sentencia es valida si y solo si es verdadera para todas las interpretaciones en todos los mundos posibles (sentencias analticas, tautologas) No hay limite en la complejidad de las sentencias No importa la interpretacin que se este utilizando Un proceso de inferencia confiable se denomina demostracin

|=
desde se obtiene : reglas de inferencia : conjunto de frmulas bien formada : teoremas que se pueden deducir desde

Regla de inferencia
Patrn de inferencias que se presenta constantemente Si se prueba su robustez una vez, se puede extender a cualquier caso

Se utilizan para hacer inferencias sin tener que construir tablas de verdad

9 /39

REGLAS DE INFERENCIA
Reglas + Observaciones
|=

10 /39

Reglas de inferencia
Modus Ponens : a b, a b Modus Tollens: a b, -b -a Eliminacin-y : a1 a2 . an ai Introduccin-y: a1, a2, .,an a1 a2 . an Introduccin-o:_____ai_________ a1 a2 . an Eliminacin-doble-negacin: ~~a a Resolucin Unitaria: a b, ~b a Resolucin: a b, ~b c ~a b, b c ac ~a c
11 /39

Ejercicio 1
Cmo se puede demostrar que una nueva regla de inferencia es vlida?

12 /39

FORMAS CANONICAS

13 /39

Forma Normal Clausal

Un literal es una variable proposicional o una variable proposicional negada (o sea, con el smbolo delante). En el primer caso diremos que es un literal positivo, y, en el segundo, que es un literal negativo. Una clusula es una sentencia de la forma: L1 V L2 V Ln donde los Li son literales y estn unidos por disyunciones.

Una sentencia est en forma clausulada si tiene la forma: (L11 V L12 V...) (L21 V L22 V..) ...
14 /39

Conversin a Forma Clausal

1. Eliminar condicionales y bicondicionales: A B A V B A B (A B) (B A) (A V B) (B V A) 2. Introducir negaciones mediante las equivalencias (1) (doble negacin), (2) y (3) (de Morgan): (A) A (A V B) A B (A B) A V B 4. Distribuir las con la equivalencia: L1 V (L2 L3) (L1 V L2) (L1 V L3)
15 /39

Ejemplo
G (R => F) Paso 1: G (R V F) Paso 2: no es necesario Paso 3: no es necesario (G (R => F)) Paso 1: (G (R V F)) Paso 2: (G (R F)) G V (R F) G V (R F) Paso 3: (G V R) (G V F)
16 /39

Ejercicio 2
Convertir a la FNC las siguientes expresiones:

1. 2. 3. 4. 5. 6. 7.

(A (B V C) (EA)) V D [(A(BVE)) (C(DVF))] V [((AVB)E) ((CVD)F)] (A B C D) V (B C D E ) S (P (Q V R)) (P (Q V R)) (P V Q) R (R V Q V P) (P Q) (R (Q V P)) (P Q)

17 /39

PROBADOR DE TEOREMAS

18 /39

Probador de Teoremas
Conocido como: Refutacin. Demostracin por contradiccin Reduccin al absurdo

Consiste en que para demostrar P(x), suponemos que P(x) es falsa (se aade P(x) a la BD) y se demuestra la contradiccin

[BD P(x) Falso] [BD P(x)]

19 /39

Ejemplo
Supongamos que tu me quieres, si me quieres entonces debemos ser fieles, pero no me has sido fiel, por lo tanto no me quieres. Supongamos que eres un excelente congresista, si eres un excelente congresista entonces debes plantear leyes de alcance nacional, pero siempre te preocupas de los problemas eventuales, entonces eres un psimo congresista. Si eres un buen hijo, entonces siempre debes de hacerle caso a la mam, pero nunca le haces caso a la mam, por lo tanto no eres un buen hijo.
20 /39

EJERCICIOS

21 /39

Ejercicio 3
Si pedro le apost a Pittsburg, entonces se gast el dinero. Si Pedro se gast el dinero entonces su esposa no compra joyas y su esposa pide divorcio. Si su esposa no compra joyas, entonces los nios no comen o la esposa est enojada. Pedro le apost al Pittsburg . Los nios comen por lo tanto su esposa est enojada.

22 /39

Ejercicio 3
P: Pedro le apost a Pittsburg Q: Pedro se gast el dinero. R: Su esposa no compra joyas S: Su esposa pide divorcio T: Los nios comen 1. 2. U: Su esposa est enojada 3.

PQ QR S RT V U

4. P 5. T U 7. 8. 9. 10. 11. Q RS R T V U TU modus ponens (1, 4) modus ponens (2, 7) y eliminacin (8) modus pones (3, 9) ley implicacin
23 /39

Ejercicio 4
Establezca la siguiente expresin en lgica proposicional y diga si es posible llegar a la conclusin indicada: Para que el pas salga adelante, se requiere de empresas. Para hacer una empresa se requiere inversin. Para invertir se requiere dinero Si tengo una empresa entonces tengo dinero Si eres peruano no tienes dinero Si eres extranjero tienes dinero Soy peruano . El pas no sale adelante

24 /39

Ejercicio 5
Establezca la siguiente expresin en lgica proposicional y diga si es posible llegar a la conclusin indicada: Si quiero bajar de peso, debo comer a la hora, hacer ejercicio, dormir bien y no ver TV ms de 1 hora al da. Para dormir bien, debo hacer ejercicios. Para ver TV 1 hora, debo dormir bien. Siempre hago ejercicios No bajo de peso

25 /39

Ejercicio 6
Establezca la siguiente expresin en lgica proposicional y diga si es posible llegar a la conclusin indicada:
Para que la UNI salga adelante se requiere de buenos profesores y de buenos alumnos. Los buenos profesores aparecen si hay buenos sueldos, buenos laboratorios y capacitacin constante. Para tener capacitacin constante se requiere buenos profesores. Los buenos profesores generan nuevos proyectos Los nuevos proyectos generan recursos propios Los recursos propios generan buenos sueldos Todos los alumnos son buenos Hay capacitacin constante. La UNI sale adelante
26 /39

Ejercicio 7
Establezca la siguiente expresin en lgica proposicional y diga si es posible llegar a la conclusin indicada: Para terminar la UNI, debo aprobar todos mis cursos. Para aprobar mis cursos, debo estudiar y ser inteligente. Para estudiar debo tener dinero y tiempo. Soy inteligente Tengo dinero pero no tiempo Termino la UNI

27 /39

Ejercicio 8
Establezca la siguiente expresin en lgica proposicional y diga si es posible llegar a la conclusin indicada: Si la banda no toca Rock and Roll, o las bebidas no llegan a tiempo, entonces la fiesta se cancela y Alicia est enojada. Si la fiesta se cancela entonces hay que regresar el dinero de las entradas. No se regres el dinero de las entradas. Por lo tanto, la banda toca Rock and Roll.

28 /39

Ejercicio 9
Dado los siguientes axiomas: (1). P (2). (P Q) R (3). (S T) Q (4). T Probar por refutacin: R

29 /39

Ejercicio 9
Convirtiendo a la forma cannica FNC (1). P P (2). (P Q) R P Q R (3). (S T) Q S Q (4). T Q (5). T T Introduciendo la proposicin a probar (6) R

30 /39

Ejercicio 9
Aplicando reglas de inferencia (resolucin) P Q R R

P Q
T Q T nil Q

31 /39

Ejercicio 10
Demostrar que (),(),() |= (v)

32 /39

Ejercicio 10
1 2 3 4 5 6 7 8 () () (v) () () () () (v) Premisa y-eliminacin, lnea 1 Premisa eliminacin, 2 y 3 (modus ponens) Y eliminacin (derecha), lnea 1 Premisa eliminacin, 5, 6 (modus ponens) Y - introduccin

33 /39

Ejercicio 11
~S11 ~S21 S12 ~B11 B21 ~B12 R1: ~S11 ~W11 ~W12 ~W21 R2: ~S21 ~W11 ~W21 ~W22 ~W31 R3: ~S12 ~W11 ~W12 ~W22 ~W13 R4: S12 W11 W12 W22 W13

S12 = hedor en [1,2]

Prueba para encontrar el wumpus: ~S11 y R1 con Modus Ponens (1) (1) con Eliminacin-y (2) ~S21 y R2 con Modus Ponens (3) S12 y R4 con Modus Ponens (4) Resolucin unitaria con (4) y ~W11 (5) Resolucin unitaria con (5) y ~W22 (6) Resolucin unitaria con (6) y ~W12 1. ~W11 ~W12 ~W21 2. ~W11, ~W12, ~W21 3. ~W11 ~W21 ~W22 ~W31 4. W11 W12 W22 W13 5. W12 W22 W13 6. W12 W13 7. W13
34 /39

ANEXO

35 /39

Forma Normal Conjuntiva

Se supone que todas las disyunciones (V) de la BC se agrupan en una conjuncin () implcita grande, por lo que a esta forma se le denomina forma normal conjuntiva (CNF), an cuando cada oracin en particular es una disyuncin (V)

Forma Normal Conjuntiva P V Q P

Forma Normal Implicativa PQ Verdad P

36 /39

Formas Cannicas
Forma normal conjuntiva (CNF). Disyuncin de literales. Forma normal implicativa (INF). Conjunciones en la izquierda que implica las disyunciones en el derecho.
Original KB
" x P(x) Q(x) " x P(x) R(x) " x Q(x) S(x) " x R(x) S(x)

CNF
P(w) Q(w) P(x) R(x) Q(y)S(y) R(z)S(z)

INF
P(w) Q(w) True P(x) R(x) Q(y) S(y) R(z) S(z)

La CNF es ms comn, pero la INF es ms "natural" para el anlisis humano.

A, A B B True A, A B True B
37 /39

Bibliografa
AIMA. Captulo 6, primera edicin. AIMA. Chapter 7, second edition.

38 /39

PREGUNTAS

39 /39