Escolar Documentos
Profissional Documentos
Cultura Documentos
Fundamentos de Informática I
I.T.I. Sistemas (2005-06)
© César Llamas Bello
Universidad de Valladolid
13/01/2006 FI1. ITI Sistemas - Informática (5)
Índice
• Lógica
• Lógica proposicional ecuacional
• Lógica: semántica
• Semántica de la lógica proposicional
• Transcripción de oraciones a fórmulas
• Pequeña calculadora proposicional
1
Introducción
• La lógica es la primera forma de
trabajo con símbolos
• Principalmente
→ razonamiento
→ modelado del conocimiento
→ representación del conocimiento
→ estudio de los procesos de
deducción
(cómputación lógica)
13/01/2006 FI1. ITI Sistemas - Informática (5)
Lógica
Lógica
Reglas de
Alfabeto Sintaxis Axiomas
inferencia
{constantes}
∪ { reglas
{variables} de
∪ formación }
Cálculo
{operadores}
13/01/2006 FI1. ITI Sistemas - Informática (5)
2
Demostración formal
Un paso de inferencia:
Aplicación Nuevo
Conjunto
de una conjunto
de
regla de de
fórmulas
inferencia fórmulas
Una demostración:
Fórmulas b. f.
Conjunto de
Lógica teoremas
Axiomas
× ×× × Axiomas E
⊥
3
Lógica
• Para utilizar la lógica podemos:
– Si somos unos usuarios normales podemos
elegir
• El conjunto de variables.
– Además, si somos unos gurus de la lógica,
podemos elegir:
• El conjunto de reglas de inferencia
• El conjunto de axiomas
– Y si no estamos satisfechos, podemos elegir:
• El conjunto de operadores
• La sintaxis de la lógica.
13/01/2006 FI1. ITI Sistemas - Informática (5)
Pequeño problemilla
4
Lógica de proposiciones E
• Sintaxis:
– constantes {cierto, falso},
– Variables para representar proposiciones
simples
– Operadores lógicos combinados al estilo
aritmético habitual.
• Mecanismo deductivo:
– Reglas de inferencia: Subs, Trans y Leib
– Axiomas: Refl, Sim, (y algunos otros más)
Axiomas ≡ Esquemas
10
5
Operadores y su acepción habitual
conector explicación
¬ Negación u operador no (not )
≡ Equivalencia. También se escribe ⇔
≡ Inequivalencia. También denominado o exclusivo
(xor )
∧ Conjunción o y lógico (and )
∨ Disyunción u o lógico (or )
⇒ Implicación material. Su expresión izquierda suele
llamarse antecedente y su derecha consecuente
⇐ Consecuencia. Su expresión izquierda se suele
denominar consecuente y su derecha antecedente
13/01/2006 FI1. ITI Sistemas - Informática (5)
11
12
6
Ej. solución de un problema con lógica
13
Φ := ((E1 ∧ … ∧ En) ⇒ E)
es teorema, es decir, si S Φ
T
14
7
Substitución aplicada a un axioma
p⇒q≡p∨q≡q
⇒ ≡ ∨ ≡
r⇒s≡r∨s≡s
(p≡T) ⇒ (¬p∧q) ≡ (p≡T) ∨ (¬p∧q) ≡ (¬p∧q)
15
Semántica en la lógica
Significado de los
operadores componente
dinámico
estructura
componente
estático
Interpretación
Significado de las
variables y
estado
constantes del Asignación concreta de
dominio de valores constantes a las
representación variables
13/01/2006 FI1. ITI Sistemas - Informática (5)
dominio 16
8
Satisfacibilidad, validez
Interpretación Prerequisito al
usar la lógica
Estructura
Depende del
Dominio
problema a
resolver
Estado
¿ siempre
no ¿ en algún
no
cierta ? estado ?
si si
E es E es
E es válida
satisfacible insatisfacible
13/01/2006 FI1. ITI Sistemas - Informática (5)
17
18
9
Conceptos importantes
• Consistente (coherente)
• Sólido (bien fundado, soundness)
• Completo
• Estructura estándar
• Procedimiento de decisión
• Decidible (semidecidible)
13/01/2006 FI1. ITI Sistemas - Informática (5)
19
Procesos informáticos
• En un proceso se manipulan entidades
simbólicas (carácter “sintáctico”)
• En una especificación se dan las
propiedades de los parámetros y de la
solución (carácter “semántico”)
• Conceptos importantes:
– Solidez,
– Completitud,
– (proceso engendrado por un programa
correcto)
13/01/2006 FI1. ITI Sistemas - Informática (5)
20
10
Estructura estándar de la lógica proposicional
conector significado
¬ Invierte el valor de verdad de su argumento
≡ T si ambos valores son iguales. ⊥ de otro modo
≡ T si ambos valores son distintos. ⊥ de otro modo
∧ T si y sólo si ambos operandos son T
∨ T si y sólo sí algún operando es T
⇒ ⊥ si y sólo si el antecedente es T y el consecuente ⊥
⇐ ⊥ sí y sólo sí el antecedente es T y el consecuente ⊥
21
p Satisfacibilidad (coste)
T ⊥
q q
3 T ⊥ T ⊥
Ejemplo
de
r r r r problema
SAT-3
T ⊥ T ⊥ T ⊥ T ⊥
T T ⊥ T T T T T
8
• El problema SAT requiere, en el peor de los
casos, un esfuerzo exponencial.
13/01/2006 FI1. ITI Sistemas - Informática (5)
22
11
Elementos eliminados
• No estudiaremos Metateorema de la
Dualidad
(aunque figuren ejercicios en la hoja de
problemas)
• No estudiaremos transcripción de
oraciones a fórmulas
(aunque también puede haber
ejercicios)
13/01/2006 FI1. ITI Sistemas - Informática (5)
23
Resumen de la lógica E
• Es consistente.
• Es sólida y completa (con la estructura
estándar).
• Es decidible.
24
12
Dualidad Dualidad
25
• Principio de dualidad
– Una expresión P es válida si y Dualidad
solo si PD es válida.
– Además, P ≡ Q es válida si y solo si PD ≡ QD.
P (válida) ¬ PD (válida)
T ¬⊥
p∨T ¬ (p ∧ ⊥)
p∨¬p ¬ (p ∧ ¬ p)
P ≡ Q (válida) PD ≡ QD (válida)
T≡T ⊥≡⊥
(p ∨ q) ≡ (q ∨ p) (p ∧ q) ≡ (q ∧ p)
p≡q≡q≡p p≡q≡q≡p
Ley de
¬ (p ∨ q) ≡ ¬ p ∧ ¬ q ¬ (p ∧ q) ≡ ¬ p ∨ ¬ q De Morgan
13/01/2006 FI1. ITI Sistemas - Informática (5)
26
13
Dualidad
⊥
Pero, para cada expresión
P
PD
T
13/01/2006 FI1. ITI Sistemas - Informática (5)
27
• Expresiones clausulares:
p∧q∧… ⇒z Calculadora
• Ejemplo: Mecanismo
– Base de reglas: (1) a ∧ b ⇒ u
(2) a ∧ c ⇒ v
(3) u ∧ v ⇒ x
– Base de hechos: a, b, c, u
– Reglas de reescritura:
A, B A, A ⇒ B
α β
A ∧B B
conjunción y modus ponens
13/01/2006 FI1. ITI Sistemas - Informática (5)
28
14
x Procedimiento
• Pregunta: ¿es cierto x?
• Idea: derivación en árbol (3) y (β)
(1) a ∧ b ⇒ u u∧v
(2) a ∧ c ⇒ v (α)
(3) u ∧ v ⇒ x
a, b, c, u u , v (2) y (β)
A, B A, A ⇒ B
α β
A ∧B B a∧c
u, v (α)
u ∧ v,u ∧ v ⇒ x
x u∧ v a , c
13/01/2006 FI1. ITI Sistemas - Informática (5)
29
x Derivación en lista
(3) y (β)
u∧v
(α)
(2) y (β)
u , v a∧c
(α)
a , c
β α
x ⎯
⎯→
3
u∧v ⇒ x ⎯
⎯→ u∧v ⎯
⎯→ u, v ⎯
⎯→
e
v
β α
⎯
⎯→
2
a∧b ⇒ v ⎯
⎯→ a∧b ⎯
⎯→ a, b ⎯
⎯→
e
b
⎯
⎯→
e
éxito
30
15
Mecanismo de derivación
31
Fallo
(1) a∧b⇒u z (4) y (β)
(2) a∧c⇒v
(3) u∧v⇒x
u∧p
(4) u∧p⇒z (α)
(5) q∧a⇒p (5) y (β)
u , p q∧a
a, b, c, u (α)
(6) u ∧ a ⇒ p q , a
β α β
z ⎯4,⎯→ u∧p ⎯
⎯→ u, p ⎯ ⎯→
e
p ⎯5,⎯→ q∧a
α
⎯⎯→ q, a ⎯⎯→ fallo, a
13/01/2006 FI1. ITI Sistemas - Informática (5)
32
16
z
Calculadora con reevaluación
(4) y (β)
u∧p
(α)
u , p (5) y (β)
(6) y (β)
(q∧a | a∧u)
(α)
q , a …
13/01/2006 FI1. ITI Sistemas - Informática (5) éxito
33
Resumen
34
17