Documentos de Académico
Documentos de Profesional
Documentos de Cultura
/39
2
INFERENCIA
¿y ahora qué hago?
/39
3
Inferencia
• Según la filosofía existen tres modos básicos de
razonamiento:
• Deducción. inferencia desde las causas hacia los efectos, o
desde lo universal hacia lo particular.
• Inducción. Recorre el camino inverso.
• Abducción o retroducción. Relacionado con la génesis de la
hipótesis
Deductiva o analítica
Inferencia Inducción
Sintética
Hipótesis
/39
4
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
• Teoría de pruebas: Conjunto de pasos de razonamiento
que son “robustos”
/39
5
Inferencia
• Razonamiento “robusto”, inferencia lógica, deducción
• 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 analíticas, tautologías)
• No hay limite en la complejidad de las sentencias
• No importa la interpretación que se este utilizando
• Un proceso de inferencia confiable se denomina
demostración
Δ |=ρ ω
desde Δ se obtiene ω
ρ : reglas de inferencia
Δ : conjunto de fórmulas bien formada
Ω: teoremas que se pueden deducir desde Δ
Regla de inferencia
• Patrón de inferencias que se presenta constantemente
/39
7
REGLAS DE INFERENCIA
Reglas + Observaciones
Δ |=ρ ω
/39
8
Reglas de inferencia
Modus Ponens : a b, a
b
Modus Tollens: a b, -b
-a
Eliminación-y : a1 a2 …. an
ai
Introducción-y: a1, a2, ….,an
a1 a2 …. an
Introducción-o:_____ai_________
a1 a2 …. an
Eliminación-doble-negación: ~~a
a
Resolución Unitaria: a b, ~b
a
Resolución: a b, ~b c ~a b, b c
ac ~a c
/39
9
Ejercicio 1
• ¿Cómo se puede demostrar que una nueva regla de
inferencia es válida?
10
/39
FORMAS CANONICAS
11
/39
Forma Normal Clausal
• Un literal es una variable proposicional o una variable
proposicional negada (o sea, con el símbolo ¬ delante).
• En el primer caso diremos que es un literal positivo, y, en el
segundo, que es un literal negativo.
12
/39
Conversión 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)
• G Λ (R => F)
• Paso 1: G Λ (¬R V F)
• Paso 2: no es necesario
• Paso 3: no es necesario
14
/39
Ejercicio 2
Convertir a la FNC las siguientes expresiones:
1. (A Λ (B V C) Λ (EA)) V D
2. [(A(BVE)) Λ (C(DVF))] V [((AVB)E) Λ ((CVD)F)]
3. (A Λ B Λ C Λ D) V (B Λ C Λ D Λ E )
4. S (P (Q V R))
5. (P (Q V R)) Λ (P V Q) Λ R
6. (R V Q V P) (P Λ Q)
7. (R Λ (Q V P)) (P Q)
15
/39
PROBADOR DE TEOREMAS
16
/39
Probador de Teoremas
• Conocido como:
– Refutación.
– Demostración por contradicción
– Reducción al absurdo
17
/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.
19
/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 niños no
comen o la esposa está enojada.
• Pedro le apostó al Pittsburg .
• Los niños comen por lo tanto su esposa está enojada.
20
/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 niños comen 1. PQ
2. QR Λ S
• U: Su esposa está enojada 3. R¬T V U
4. P
5. T U
21
/39
Ejercicio 4
Establezca la siguiente expresión en lógica proposicional y
diga si es posible llegar a la conclusión indicada:
– Para que el país salga adelante, se requiere de empresas.
– Para hacer una empresa se requiere inversión.
– 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 país no sale adelante
22
/39
Ejercicio 5
Establezca la siguiente expresión en lógica proposicional y
diga si es posible llegar a la conclusión indicada:
– Si quiero bajar de peso, debo comer a la hora, hacer
ejercicio, dormir bien y no ver TV más de 1 hora al día.
– Para dormir bien, debo hacer ejercicios.
– Para ver TV 1 hora, debo dormir bien.
– Siempre hago ejercicios
– No bajo de peso
23
/39
Ejercicio 6
Establezca la siguiente expresión en lógica proposicional y diga
si es posible llegar a la conclusión 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 capacitación constante.
– Para tener capacitación 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 capacitación constante.
– La UNI sale adelante
24
/39
Ejercicio 7
Establezca la siguiente expresión en lógica proposicional y
diga si es posible llegar a la conclusión 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
25
/39
Ejercicio 8
Establezca la siguiente expresión en lógica proposicional y
diga si es posible llegar a la conclusión 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.
26
/39
Ejercicio 9
Dado los siguientes axiomas:
(1). P
(2). (P Q) R
(3). (S T) Q
(4). T
27
/39
Ejercicio 9
Convirtiendo a la forma canónica FNC
(1). P P
(2). (P Q) R P Q R
(3). (S T) Q S Q
(4). T Q
(5). T T
(6) ¬R
28
/39
Ejercicio 9
Aplicando reglas de inferencia (resolución)
P Q R R
P Q P
T Q Q
T T
nil
29
/39
Ejercicio 10
• Demostrar que (τΛχ),(τν),(χω) |= (vΛω)
30
/39
Ejercicio 10
1 (τΛχ) Premisa
2 (τ) y-eliminación, línea 1
3 (τv) Premisa
4 (ν) eliminación, 2 y 3 (modus ponens)
5 (χ) Y – eliminación (derecha), línea 1
6 (χω) Premisa
7 (ω) eliminación, 5, 6 (modus ponens)
8 (vΛω) Y - introducción
31
/39
Ejercicio 11
~S11 R1: ~S11 ~W11 ~W12 ~W21
~S21 R2: ~S21 ~W11 ~W21 ~W22 ~W31
S12 R3: ~S12 ~W11 ~W12 ~W22 ~W13
~B11 R4: S12 W11 W12 W22 W13
B21
~B12
33
/39
Forma Normal Conjuntiva
• Se supone que todas las disyunciones (V) de la BC se
agrupan en una conjunción (Λ) implícita grande, por lo que
a esta forma se le denomina forma normal conjuntiva
(CNF), aún cuando cada oración en particular es una
disyunción (V)
P Verdad P
34
/39
Formas Canónicas
• Forma normal conjuntiva (CNF). Disyunción de literales.
• Forma normal implicativa (INF). Conjunciones en la
izquierda que implica las disyunciones en el derecho.
35
/39
Bibliografía
• AIMA. Capítulo 6, primera edición.
• AIMA. Chapter 7, second edition.
36
/39
PREGUNTAS
37
/39