Professional Documents
Culture Documents
15 de mayo de 2012
Programacion Logica
Ejemplo de programa
habla(ale,ruso).
habla(juan,ingles).
habla(maria,ruso).
habla(maria,ingles).
seComunicaCon(X,Y):-habla(X,L),habla(Y,L),X\=Y
Nuestro enfoque
v |= P sii v (P) = T
v |= A sii v 6|= A (i.e. no v |= A)
v |= A B sii v |= A o v |= B
v |= A B sii v |= A y v |= B
v |= A B sii v 6|= A o v |= B
v |= A B sii (v |= A sii v |= B)
Tautologas y satisfactibilidad
Una proposicion A es
I una tautologa (o valida) si v |= A para toda valuacion v
I satisfactible si existe una valuacion v tal que v |= A
I insatisfactible si no es satisfactible
Un conjunto de proposiciones S es
I satisfactible si existe una valuacion v tal que para todo A S,
se tiene v |= A
I insatisfactible si no es satisfactible
Ejemplos
Tautologas
I AA
I A A
I (A B) (B A)
Proposiciones insatisfactibles
I (A B) (A B) A
I (A B) A B
Tautologas e insatisfactibilidad
Teorema
Una proposicion A es una tautologa sii A es insatisfactible
Dem.
. Si A es tautologa, para toda valuacion v , v |= A.
Entonces, v 6|= A (i.e. v no satisface A).
. Si A es insatisfactible, para toda valuacion v ,
v 6|= A. Luego v |= A.
Notar
Este resultado sugiere un metodo indirecto para probar que una
proposicion A es una tautologa, a saber probar que A es
insatisfactible
Forma normal conjuntiva (FNC)
Ejemplos
I (P Q) (P Q) esta en FNC
I (P Q) (P Q) no esta en FNC
I (P Q) P no esta en FNC
Teorema
Para toda proposicion A puede hallarse una proposicion A0 en FNC
que es logicamente equivalente a A.
Nota
A es logicamente equivalente a B sii A B es una tautologa
Notacion conjuntista para FNC
{C1 , . . . , Cn }
{Bi1 , . . . , Bini }
Logica proposicional
Resolucion
Introduccion
Resolventes
El metodo de resolucion
es logicamente equivalente a
es insatisfactible sii
es insatisfactible
I La clausula {A, B} se llama resolvente de las clausulas {A, P}
y {B, P}
I El resolvente de las clausulas {P} y {P} es la clausula vaca
y se anota 2
Regla de resolucion
Ejemplo
Las clausulas {A, B} y {A, B} tienen dos resolventes: {A, A}
y {B, B}. Las clausulas {P} y {P} tienen a la clausula vaca
como resolvente
Regla de resolucion
{A1 , . . . , Am , Q} {B1 , . . . , Bn , Q}
{A1 , . . . , Am , B1 , . . . , Bn }
Ejemplo
El resultado de aplicar la regla de resolucion a
{{P, Q}, {P, Q}, {P, Q}, {P, Q}}
es {{P, Q}, {P, Q}, {P, Q}, {P, Q}, {P}}
El metodo de resolucion
Teorema
Dado un conjunto finito S de clausulas,
Logica proposicional
Resolucion
Ejemplo
Si A = x.(R(x, y ) P(x)), entonces FV (A) = {y } y
BV (A) = {x}
Variables libres y ligadas
Asignacion
Sea M una estructura para L. Una asignacion es una funcion
s:VM
I Si s es una asignacion y a M, usamos la notacion s[x a]
para denotar la asignacion que se comporta igual que s salvo
en el elemento x, en cuyo caso retorna a
Satisfactibilidad
La relacion s |=M A establece que la asignacion s satisface la
formula A en la estructura M
I Vamos a definir la relacion s |=M A de manera informal
usando induccion estructural en A
Satisfactibilidad