LógicaPredicados 2019-2020 PDF

Tema 2
Lógica de Predicados (L1)
Departamento de Informática
Ciencia de la Computación e Inteligencia Artificial
Universidad de Oviedo
Problemas lógica proposicional
 Poca expresividad
Juan es profesor p
formalización
Juan es bueno q
Una vez formalizadas, no se puede saber si

hay algo en común en ambas proposiciones
Computabilidad. Lógica Predicados 2

Problemas lógica proposicional
Razonamientos que no pueden demostrarse
Todos los profesores son buenos, Juan es profesor, por tanto, Juan es bueno.
Formalización
Todos los profesores son buenos p
Juan es profesor q
Juan es bueno r
Las proposiciones no permiten hablar de individuos ni relacionarlos entre sí

Lógica de predicados
 Añade expresividad a lógica proposicional

 Mismo conjunto de conectivas
 Añade predicados, constantes, funciones, variables
y cuantificadores
Ejemplo:
Todos los profesores son buenos X(p(X)b(X))
Juan es profesor p(j)
Juan es bueno b(j)

L1. Contenidos
 Sintaxis y Semántica
 Alfabeto y Reglas Sintácticas
 Formulación
 Semántica
 Interpretación
 Reglas Semánticas
 Evaluación
 Clasificación de Fórmulas y Equivalencias Lógicas
 Prueba de la Consecuencia lógica

 Resolución General
 Forma Normal de Skolem
 Sustituciones y Unificación
 Algoritmo de Resolución
 Deducción Natural
 Propiedades

L1. Sintaxis. Alfabeto
 Constantes: Objetos de los que se quiere decir algo. (a, b, c,…)
 Ejemplos: Juan, Asturias, 2, …
 Funciones: Permiten referirse a objetos indirectamente. (f, g,…)
 Ejemplos: padreDe, sumaDe,…
 Variables: Representan objetos de forma abstracta
 Ejemplos: X, Y, …
 Predicados: Expresan relaciones y propiedades. (p, q, r, …)
 Ejemplos: ViveEn, EsMayorQue, EsProfesor, EsBueno…
 Conectivas: ,  ,  ,  , 
 Cuantificadores: Indican cómo interpretar las variables
Universal X or (AX)
Existencial X or (EX)
 Símbolos auxiliares: {, }, (,) ,[, ]
 Aridad = Nº de argumentos de funciones/predicados

L1. Sintaxis. Reglas Sintácticas
 Término: Constante, variable o función de aridad N (con

N términos como argumento)
 Ejemplos: juan, X, sumaDe(2,2), sumaDe(3,sumaDe(2,2))
 Fórmula atómica: Un único predicado de aridad N  0

con N términos como argumentos
 Ejemplos: q(X,Y), viveEn(Juan, X), p, V, F
 Literal: una fórmula atómica o su negación

 Ejemplos: q(X,Y), q(X,Y)

L1. Sintaxis. Reglas Sintácticas
 Fórmula: secuencia de fórmulas atómicas,

conectivas, cuantificadores, y paréntesis si es
necesario
 Ejemplo: X Y p(a,X)  q(Y,Z)  r(f(X),Y, Z)
Jerarquía de Conectivas y Cuantificadores: , ,  +

Entre conectivas de igual nivel, tiene 
prioridad la que se encuentre más a la 
izquierda en la fórmula

 -

L1. Sintaxis. Fórmulas bien formadas
 LPred = Fórmulas bien formadas en lógica
predicados
Definición
Las fórmulas atómicas  LPred
Si G y H  Lpred entonces:
(G)  LPred
G  LPred
GH  LPred
GH  LPred
GH  LPred
GH  LPred
Si G  LPred y X es una variable, entonces:
XG  LPred
XG LPred

L1. Sintaxis. Fórmulas bien formadas
 ( p(X)  ( q( f(X,Y) )  p(Y) ) ) es una fórmula
 f(X,Y) es un término
 La evaluación de f sobre (X,Y) produce una variable o una
constante
 Su evaluación no produce un valor de verdad
 q(f(X,Y)) es una fórmula atómica o predicado.
 Su evaluación produce un valor de verdad

L1. Sintaxis. Fórmulas cerradas
 Variable libre = no está afectada por un cuantificador
 Variable ligada = sí está afectada por un cuantificador
XY(p(X,Y)q(X,Z)r(X)) Z es una variable libre
X, Y son variables ligadas
En una expresión del tipo XF, XF, la variable X es conocida como

variable de cuantificación y la fórmula F como ámbito o recorrido de
la cuantificación.
Así en el ejemplo las variables x e y son variables cuantificadas
Ámbito de X: Y(p(X,Y)q(X,Z)r(X))
Ámbito de Y: (p(X,Y)q(X,Z)r(X))
Sentencia, o fórmula cerrada = fórmula que no contiene

variables libres
Ejemplo Nota: cuando una variable está en el ámbito de
varios cuantificadores diferentes, sólo la
cuantifica el más próximo
X p(X, f(X,Y)) X pertenece al ámbito del cuantificador y está ligada
Y pertenece al ámbito del cuantificador pero es libre
Ámbito
X [ Y p(X,Y)  X q(X)  r(X,f(X)) ]. ¿Alcance de cada uno de los cuantificadores?

 De X es [ Y p(X,Y)  X r(X)  r(X,f(X)) ]
 De Y es p(X,Y)
 De X es q(X)
Todas las variables de esta fórmula están afectadas por al menos un cuantificador, luego todas
las apariciones son acotadas, luego estamos hablando de una fórmula cerrada
X Y p(X,Y) X q(X)  r(X,f(X)) . ¿Alcance de cada uno de los cuantificadores?

 De X es Y p(X,Y) De Y es p(X,Y) y De X es q(X)
Eneste caso la variable y está acotada, mientras que la x aparece dos veces de forma acotada,
X Y p(X,Y) y X q(X), y otras dos libre r(X,f(X))

Ejercicio
 ¿Cuál de las siguientes fórmulas son cerradas?
XY(p(X,Y)q(X,Z)r(f(X)))
XY(p(X,Y)q(X,a,Y))
X(Yp(X,Y)q(X,Y))

L1. Contenidos
 Formulación
 Semántica
 Interpretación
 Evaluación

 Propiedades

Formalización
 Representación en el lenguaje de la lógica el
conocimiento expresado en lenguaje natural
 Elegir constantes, funciones y predicados
 Definir las sentencias
Ejemplos
Hay un profesor que vive en X(EsProfesor(X)  ViveEn(X,asturias))
Asturias
Todos los profesores son buenos X(EsProfesor(X)  EsBueno(X))
Todos los profesores que viven
X(EsProfesor(X)  ViveEn(X,asturias)  EsListo(X))
en Asturias son listos

Dos enunciados distintos pueden dar lugar a la misma
fórmula
Interpretación I Interpretación J
Dominio: Números naturales Dominio: Personas
aI=2 aI=Juan
fI(X)=X2 fI(X)=madre de X
pI(X)=“X es impar” pI(X)=“X juega al póker”
qI(X)=“X > 0” qI(X)=“X estudia informática”
rI(X)=“X es múltiplo de 9” rI(X)=“X es terco”
 Fórmula: X(p(X)q(X)r(f(X)))q(a)

Cuantificadores
 Universal
 Frecuentemente se utilizan con “implicaciones” para generar “reglas”:
 “Todos los estudiantes son elegantes”: X (estudiante(X)  elegante(X))
 Raramente se utilizan para hacer afirmaciones globales sobre cada individuo en el
mundo:
 “Todos en el mundo son estudiantes y elegantes: X (estudiante(X)elegante(X))
 Intercambiar el orden de los cuantificadores universales no cambia el significado:
 X Y p(X,Y) ↔ Y X p(X,Y)
 Existencial
 Normalmente se emplean con “y” para especificar una lista de propiedades sobre un
individuo:
 “Hay un estudiante que es elegante”: X (estudiante(X)  elegante(X))
 Intercambiar el orden de los cuantificadores existenciales no cambia el significado:
 X Y p(X,Y) ↔ Y X p(X,Y)
 Intercambiar el orden de Universales y Existenciales puede cambiar el
significado:
 “A todo el mundo le gusta alguien”: X Y gustarA(X,Y)
 “Alguien le gusta a todo el mundo”: Y X gustarA(X,Y)

Relaciones entre cuantificadores
 Formas de expresar:
 Ningún X verifica la propiedad P
 Afirmar que todos no la verifican: X p(X)
 Negar que exista uno que la verifique: X p(X)
 Algún X no verifica la propiedad P
 Afirmar que existe alguno que no la verifica: X p(X)
 Negar que todos la verifiquen:  X p(X)

Formalización con cuantificadores: Ejercicio
Modelar las siguientes expresiones:

1. Todos los p son q
2. Sólo los p son q
3. Ningún p es q
4. Algunos p son q

Formalización con cuantificadores: Ejercicio
Modelar las siguientes expresiones:

1. Todos los p son q
X (p(X)  q(X))
2. Sólo los p son q
 (q(X)  p(X))
3. Ningún p es q
X (p(X)  q(X)) o X (p(X)  q(X))
4. Algunos p son q
X (p(X)  q(X))

Ejercicio
Formalizar las siguientes frases:

1. Hay algún perro que no es amigo de ningún hombre.
2. Los perros son amigos de los hombres. P(X) = X es un perro
3. Los perros sólo son amigos de los hombres. A(X,Y) = X es amigo de Y
H(X) = X es un hombre
1. Si U es un dragón, entonces V es un piojo y V acosa a U.

2. Todo dragón es acosado por el piojo V.
3. Si U es un dragón, entonces algún piojo acosa a U. D(X) = X es un dragón
4. Todo piojo acosa a algún dragón.. P(X) = X es un piojo
5. Algunos piojos acosan a todos los dragones. A(X,Y) = X acosa a Y
6. Algunos dragones son acosados por todos los piojos.
7. Todo dragón es acosado por algún piojo.

Ejercicio

1. Todos los bávaros beben cerveza
B(X) = X es un bávaro
2. Sólo algunos bávaros beben whisky W(X) = X bebe whisky
C(X) = X bebe cerveza
3. Existen no bávaros que beben cerveza o whisky
1. Todos los que padecen gripe tienen fiebre G(X) = X padece gripe
F(X) = X tiene fiebre
2. Si tu cónyuge tiene fiebre entonces tú también C(X,Y) = X e Y son cónyuges
3. Existe una pareja tal que si son cónyuges y al menos uno padece gripe
entonces al menos uno tiene fiebre

Ejercicio
 Formalizar el siguiente razonamiento:

1. Sólo los grandes músicos tocan magistralmente una pieza de música sin
ensayar
2. Para ser un gran músico hace falta matricularse de algún curso de música
en el conservatorio
3. Pedro no se ha matriculado de algún curso de música en el conservatorio.
Tampoco ensaya nunca.
4. Por tanto Pedro no tocará magistralmente el Himno de la Alegría
tocar_pieza (X,Y) = X toca la pieza Y
ensaya(X) = X ensaya
gran_músico(X) = X es un gran músico
matricula(X,Y)= X se matricula del curso de música Y en el conservatorio
Constantes: Pedro, HimnoAlegría

Ejercicio

1. Alguna pieza verde está al lado de todas las piezas azules
2. Ninguna pieza verde está al lado de una pieza roja
3. Todas las piezas naranjas que están al lado de una pieza roja, están al lado
de una pieza azul

V(X) = X es una pieza verde
L(X,Y) = X está al lado de Y
 
A(X) = X es una pieza azul   
R(X) = X es una pieza roja
N(X) = X es una pieza naranja  
 

L1. Contenidos
 Formulación
 Semántica
 Interpretación
 Evaluación

 Propiedades

L0. Semántica
 Asocia un significado a las fórmulas en L. Predicados
 En lógica clásica sólo hay dos significados posibles: los valores de

verdad Verdadero (V) o Falso (F). Las fórmulas son “Verdaderas” o
“Falsas” en cada mundo/configuración posible
 El significado de la fórmula en una situación depende del contexto o

Interpretación (la definiremos formalmente más adelante) y de las
Reglas Semánticas. Es independiente de cualquier otro significado o
interpretación de la vida real.
 Evaluación de fórmulas
 Mecanismo que permite asignar un valor de verdad (V / F) a una

fórmula, a partir de una Interpretación y de las Reglas semánticas de
las conectivas y cuantificadores.

Semántica
Ejemplo
 MayorQue(2,3): 2 es mayor que 3, este predicado
es falso
 En el contexto de la familia en la que Pedro es
hermano de Juan
 Hermano (Pedro, Juan) : Pedro es hermano de Juan, este
predicado es Verdadero
 hermano (Pedro): se refiere indirectamente a la constante Juan,
es una función y no es ni verdadero ni falso
 Hermano(Pedro, hermano(Pedro)): este predicado es verdad

Semántica: Interpretación
 El valor de una fórmula (verdadero o falso) depende de la

interpretación
 Asignación a cada componente de la fórmula
Definición: Interpretación I de una fórmula:

Un conjunto no vacío D llamado dominio
A cada constante c un valor cID
n
A cada función f de aridad n, una aplicación fI : DxDxxD  D
n
A cada predicado P de aridad n, una aplicación PI : DxDxxD  {V,F}

Ejemplo: dos posibles interpretaciones para una misma fórmula
Fórmula: X(p(X)q(X)r(f(X)))Q(a)
Interpretación I Interpretación J
Dominio: Números naturales Dominio: Personas
aI=2 aJ=Juan
fI(X)=X2 fJ(X)=madre de X
pI(X)=“X es impar” pJ(X)=“X juega al póker”
qI(X)=“X > 0” qJ(X)=“X estudia informática”
rI(X)=“X es múltiplo de 9” rJ(X)=“X es terco”
¿V/F?
Nótese que una misma fórmula puede ser verdadera bajo unas
interpretaciones y falsa bajo otras interpretaciones

Pregunta
 ¿Cuántas interpretaciones puede tener una
fórmula en lógica de predicados?

Pregunta
 ¿Cuántas interpretaciones puede tener una
fórmula en lógica de predicados?
En lógica de predicados hay infinitas interpretaciones
El método de tablas de verdad no puede utilizarse

Semántica de los Cuantificadores
X X
X
X
X X
 Universal X
X X
Para TODO X se cumple que ….
 Existencial X X
X
X X
X X
X X
Existe AL MENOS UN X tal que ….

 Cuantificación Universal
• (X)p(X) significa que p se cumple para todos los valores de
X en el dominio asociado con la variable
• Todos los delfines son mamíferos
Mamíferos
delfín
X ( delfín(X)  mamífero(X) )

 Cuantificación Existencial
• ( X)p(X) significa que p se cumple para algún valor de X en el
dominio asociado con la variable
• Algunos mamíferos ponen huevos
• Permite hacer una afirmación sobre algún objeto sin nombrarlo
(ej: monotremas, Australia)
Mamíferos
pone- huevos
X ( pone-huevos(X)  mamífero(X) )

Reglas semánticas. Valor de una fórmula F en una
interpretación (FI )
Si F = fórmula atómica P(t1,…tn), FI =PI(tI1,…tIn) donde tIi es el
resultado de aplicar la interpretación I al término ti
V si GI = V y HI = V Si F = GH , FI = F si GI = F y HI = F
Si F = GH , FI =
F en caso contrario V en caso contrario
F si GI = V y HI = F V si GI = HI
Si F = GH , FI = Si F = GH , FI =
V en caso contrario F en caso contrario
V si GI = F
Si F = G , FI =
F si GI = V
V si GI (d) = V para todo dD
Si F = xG(x) , FI =
F en caso contrario
V si GI (d) = V para algún dD

Si F = xG(x) , FI =
F en caso contrario

Ejercicio. Evaluación de Fórmulas
 Evaluar las fórmulas en la interpretación I
F1: XY p(X,Y)

0
F2: XY p(X,Y)
F3 : XY p(X,Y)
F4: XY p(X,Y) 1 2
F5: YX p(X,Y)
F6: YX p(x,y)
I: Dominio D ={0,1,2}
pI(X,Y)=“X se relaciona con Y según el grafo”

Solución
 Evaluar F1 en la interpretación I
F 1: XY p(X,Y)
Árbol Y/O
I : Dominio D ={0,1,2}
pI(X,Y)=“X se relaciona con Y”
X=0 Y=0 F
0
X=1 F
X=2
1 2
Solución: F1I = F

Solución
F 2: XY p(X,Y)
Árbol Y/O
pI(X,Y)=“X se relaciona con Y” Y=0 F
X=0 Y=1 V
0
V
1 2
Solución: F2I = V

Solución
F 3: XY p(X,Y)
Árbol Y/O
Y=0 F
X=0 Y=1 V
0
V
X=1 Y=0 V
X=2 Y=0 V
1 2
Solución: F3I = V

Solución
F 4: XY p(X,Y)
Árbol Y/O
pI(X,Y)=“X se relaciona con Y” X=0 Y=0 F
Y=0 V
0 X=1 Y=1 F
V
Y=0 V
X=2 Y=1 V
1 2 Y=2 V
Solución: F4I = V

Solución
F 5: YX p(X,Y)
Árbol Y/O
Y=0 X=0 F
X=0 V
0
Y=1 X=1 F F
Y=2 X=0 F
1 2
Solución: F5I = F

Solución
F 6: YX p(X,Y)
Árbol Y/O
pI(X,Y)=“X se relaciona con Y” X=0 F
Y=0 X=1 V
0
Y=1 X=0 V V
X=0 F
Y=2
1 2 X=1 V
Solución: F6I = V

Ejercicio
 Evaluar la fórmula F en la interpretación I
F : XY( p(X,Y)  q(f(X))  q(g(a,b,f(Y))) )
aI=1, bI =3
fI(X)=4 – X
gI(X,Y,Z)= ((X + Y + Z) mod 3) + 1
PI(X,Y)=“X ≤ Y”
QI(X)=“ X == 2 || X == 3 ”

Ejercicio
 Evaluar F1, F2, F3 y F4 en la interpretación I
F1 : XY( p(X,Y)  q(f(X))

F2 : YX( p(X,Y)  q(f(X))
F3: XY( p(X,Y)  q(f(X))
F4 : X( Yp(X,Y)  q(f(X))
fI(X)=4 – X
pI(X,Y)=“X ≤ Y”
qI(X)=“ X == 2 || X == 3 ”

Ejercicio
 Evaluar las fórmulas en la interpretación I
F1: XY(p(X,Y)  q(X))

F2: X(Yp(X,Y)  q(X))
I: Dominio D ={1,2}
pI(X,Y)=“X == Y”
qI(X)=“X es impar”

Ejercicio
 Evaluar la fórmula F en las interpretaciones I1 e I2
F: Y ~X (p(Y)  q(X,Y))
I1 : Dominio D = {A,B}
pI1(X)= {A}
qI1(X,Y) = {(A,B), (A,A)}
I2 : Dominio D = {A,B}
pI1(X) = {A}
qI1(X,Y) = {(A,B), (A,A), (B,B)}

L1. Contenidos
 Formulación
 Semántica
 Interpretación
 Evaluación

 Propiedades

Definiciones
 Fórmula válida = Verdadera en todas las interpretaciones
 Fórmula satisfacible = Verdadera en alguna interpretación
 Fórmula insatisfacible = No verdadera en ninguna interpretación
Todas las fórmulas
Válidas
Satisfacibles
Insatisfacibles

Pregunta

Equivalencias lógicas
 G equivalente a H si GI=HI en toda interpretación I.

 Se mantienen las equivalencias de lógica proposicional.
 Nuevas equivalencias:
Nombre Ley
De Morgan con XG(X)  XG(X) XG(X)  XG(X)
cuantificadores
Intercambio de XYG(X,Y)  YXG(X,Y) XYG(X,Y)  YXG(X,Y)
cuantificadores
Gran distributividad X(G(X)H(X))  X(G(X)H(X)) 
XG(X)XH(X) XG(X)XH(X)
Gran distributividad HXG(X)  X(HG(X)) HXG(X)  X(HG(X))
restringida (x  H) HXG(X)  X(HG(X)) HXG(X)  X(HG(X))

Ejercicio
 Buscar contraejemplos en los que no se cumplan las
siguientes leyes
Se cumple No se cumple
XG(X)XH(X) ⊨ X(G(X)H(X)) X(G(X)H(X)) ⊭ XG(X)XH(X)
X(G(X)H(X)) ⊨ XG(X)XH(X) XG(X)XH(X) ⊭ X(G(X)H(X))
XYG(X,Y) ⊨ YXG(X,Y) YXG(X,Y) ⊭ XYG(X,Y)
No se cumple Contraejemplo
X(G(X)H(X)) ⊭ XG(X)XH(X) G(X) = “X aprueba”
H(X)= “X suspende”
Todos aprueban o suspenden ⇏ Todos aprueban o todos suspenden
XG(X)XH(X) ⊭ X(G(X)H(X)) G(X)= “X es alumno”

H(X)= “X está borracho”
Existen alumnos y existen borrachos ⇏ Existen alumnos borrachos
YXG(X,Y) ⊭ XYG(X,Y) G(X,Y)=“X está casado con Y”

Todos están casados con alguien ⇏ Alguien está casado con todos

L1. Contenidos
 Formulación
 Semántica
 Interpretación
 Evaluación

 Propiedades

La Resolución General
 Al igual que en Lógica Proposicional:
 Es un método constructivo que, realizando manipulaciones
sintácticas, permite probar la consecuencia lógica.
 Prueba por Refutación:

 Para demostrar  ⊨ G prueba   { G} ⊢ Falso
(insatisfacibilidad/inconsistencia de   { G} )
 Correcto y Completo:
  ⊨ G si, y sólo si,   { G} ⊢R 
 Necesita las sentencias en Forma clausal

Forma Normal de Skolem (FNS)
Una sentencia está en FNS si

 Todos los cuantificadores están al principio.
 No tiene cuantificadores existenciales.
 El núcleo está en FNC (Forma Normal Conjuntiva):
 Conjunción de cláusulas.
 Cláusula: una disyunción de literales, sin literales repetidos y sin

cuantificadores
Ejemplo:
X1X2X3 ((p1(X1)  p2(X2)  p3(X3))  (q1(X1)  q2(X2)  q3(X3)))

Forma Normal de Skolem
Teorema de Skolem
Toda sentencia F se puede transformar en otra SKO(F) en FNS que
es equisatisfacible con F . Además el alfabeto de SKO(F) es el
mismo que el F de salvo quizás algunas constantes y funciones
nuevas llamadas de Skolem.
No es un obstáculo para probar la consecuencia lógica:

  { G} insatisfacible  SKO( ) SKO( G) insatisfacible
Por tanto, comprobar si una sentencia es consecuencia lógica de

un conjunto de sentencias se reduce a probar, o no, la
insatisfacibilidad de un conjunto de cláusulas.

Demostración (constructiva) del teorema de Skolem
 Eliminar  y  con las equivalencias GH  (GH)(HG), y GH  ¬GH.
 Reducir el ámbito de cada ¬ a un término simple, utilizando las leyes de Doble

negación, De Morgan, y Gran De Morgan.
 Renombrar variables para que no interfieran los cuantificadores, teniendo en

cuenta, por ejemplo, que X p(X)  X q(X) es equivalente a X p(X)  Y q(Y) y
que X G es equivalente a Y G {X/Y} si Y no aparece en G.
 Poner todos los cuantificadores al principio de la expresión conservando su

orden (Gran Distributividad Restringida).
 Eliminar los cuantificadores existenciales introduciendo constantes y funciones

de Skolem si es preciso.
 X Y p(X, Y) se transforma en X p(X, f(X)), siendo “f” función de Skolem.
 X Y p(X, Y) se transforma en Y p(a, Y), siendo “a” constante de Skolem.
 Convertir la expresión a FNC (una conjunción de disyunciones) utilizando las
propiedades asociativa y distributivas de  y .

Forma Normal de Skolem
 Cada paso conserva la equivalencia lógica, excepto la
Skolemización (es decir, el proceso de eliminación de los
cuantificadores existenciales) que sólo conserva la satisfacibilidad.
Reglas para borrar los cuantificadores existenciales

Fórmula Original Fórmula tras eliminar cuantificadores
Y Q1X1 Q2X2 ... QnXn G sat Q1X1 Q2X2 ... QnXn G{Y/a}
Dónde a es un nuevo símbolo de constante que no aparece en

G
X'1... X'm Y Q1X1 ... QnXn G sat X'1... X'm Q1 X1... Qn Xn G{Y/f(X'1, .. ,X'm)}
Dónde f es un nuevo símbolo de función que no aparece en G
Conversión a FNS: Ejemplo
XY(Y p(X,Y)  q(X,Y))Z r(Z)
1. Eliminar  y →
 XY (Y p(X,Y)  q(X,Y))Z r(Z)
2. Mover ¬ hacia dentro
 XY (Y p(X,Y)  q(X,Y) )Z r(Z)
3. Renombrar variables si dos cuantificadores ligan la

misma variable.
 XY1 (Y2 p(X,Y2)  q(X,Y1))Z r(Z)

Conversión a FNS: Ejemplo
XY1 (Y2 p(X,Y2)  q(X,Y1))Z r(Z)
4. Sacar todos los cuantificadores a la izquierda

 XY1 Y2 Z [(p(X,Y2)  q(X,Y1)) r(Z)]
5. Eliminar cuantificadores existenciales

 Y1 Z [(p(a,f(Y1))  q(a,Y1)) r(Z) ]
6. Transformar el núcleo en forma normal conjuntiva.

 Y1 Z [(p(a,f(Y1))  r(Z))  (q(a,Y1)  r(Z))]

Paso de FNS a Forma Clausal
XYZ [(p(X)  q(Y)  ¬r(X,Z)  ¬m(Z))  s(X)]
 Se prescinde de los cuantificadores (todos son universales)

(p(X)  q(Y)  ¬r(X,Z)  ¬m(Z))  s(X)
 Se escribe cada cláusula como una expresión

independiente
p(X)  q(Y)  ¬r(X,Z)  ¬m(Z),
s(X)

Ejemplo de conversión a Forma Clausal (debemos pasar
por la Forma Normal de Skolem)
X[p(X)  [Y(p(Y)  p(f(X,Y)))  Y(q(X,Y)  p(Y))]]
 Eliminar 
X[ p(X)  [Y( p(Y)  p(f(X,Y)))  Y( q(X,Y)  p(Y))]]
 Reducir el alcance de 
X[ p(X)  [Y( p(Y)  p(f(X,Y)))  Y(q(X,Y)  p(Y))]]
 Renombrar variables
X[ p(X)  [Y( p(Y)  p(f(X,Y)))  Z(q(X, Z)  p(Z))]]
 Sacar ordenadamente los cuantificadores al principio
X Y Z[ p(X)  [ ( p(Y)  p(f(X,Y)))  (q(X, Z)  p(Z))]]

Ejemplo de conversión a Forma Clausal (debemos pasar
por la Forma Normal de Skolem)
X Y Z[ p(X)  [ ( p(Y)  p(f(X,Y)))  (q(X, Z)  p(Z))]]
 Eliminar ordenadamente 
Y Z[ p(a)  [ ( p(Y)  p(f(a,Y)))  (q(a, Z)  p(Z))]]
Y [ p(a)  [ ( p(Y)  p(f(a,Y)))  (q(a, g(Y))  p(g(Y)))]]
 Poner el núcleo en FNC

Y[(p(a)  p(Y)  p(f(a,Y)))  (p(a)  q(a, g(Y)))  (p(a)  p(g(Y)))]
 Obtener las cláusulas Forma Normal de Skolem
( p(a)   p(Y)  p(f(a,Y)))

( p(a)  q(a, g(Y))
Forma Clausal
( p(a) p(g(Y)))

Ejercicio
 Poner en forma normal de Skolem y forma clausal:

X Y  [ p(X,Y)  Z ( q(Z) p(X,X) ) ]
X [Y ( p(X, Y)  r(X, Y) )  Y ( q(Y)  s(Y) ) ]
X Y Z [ p(X,Y)  ( q(Z) p(X,X) ) ]
X { p(X)  X [(r(X)  p(f(X)) )  X r(X) ]  [X q(X,X)  r(f(X)) ) ] }

 Para probar la inconsistencia de
{X p(X), p(a)}
la Resolución Proposicional no es suficiente:
 {p(X),  p(a)} es proposicionalmente consistente
aunque sea inconsistente
Necesitamos un procedimiento de particularización
 (que nos permita saber que si {p(X),  p(a)} fuera
consistente, también tendría que serlo {p(a),  p(a)})
la Unificación

La Resolución General: Sustitución
 Una sustitución, denotada por θ, es una asignación de variables a
términos.
 Ejemplo (particularización = aplicación de una sustitución)
θ = {X/g(Y)}, E = p(X,W,f(X)) Eθ = p(g(Y),W, f(g(Y)))
 Unificación es el proceso de reemplazar las variables en las
expresiones por términos para conseguir que las expresiones
modificadas sean idénticas.
 Ejemplo
E1=p(X,a), E2=p(Y,a) , θ1 = {Y/b, X/b} E1θ1 = E2θ1 = p(b,a)
E1=p(X,a), E2=p(Y,a) , θ2 = {Y/X} E1θ2 = E2θ2 = p(X,a)
En el ejemplo θ2 es el unificador más general (umg)

La Resolución General: Sustituciones
 Una sustitución se representa por un conjunto de pares
ordenados:
s = { V1/t1, V2/t2, …, Vn/tn}
donde: Vi / ti significa que el término ti va a sustituir a la variable Vi en
toda la expresión.
p.e. s1 = {X/b, Y/a, Z/f(U)}
 Cada aparición de una variable debe sustituirse por el
mismo término.
 Ninguna variable puede reemplazarse por un término que
la contenga.

La Resolución General: Sustituciones
Una composición de dos sustituciones s1 y s2, se escribe
s1s2, es una nueva sustitución y se realiza siguiendo los
pasos:
- aplicar s2 a los elementos de s1.
- añadir todos los pares de s2 de las variables que no
están en s1.
p.e.
s1 = {Z/g(X,Y)}, s2 = {X/a, Y/b, W/c, Z/d}
s1s2 = {Z/g(a,b), X/a, Y/b, W/c}
s2s1 = {X/a, Y/b, W/c, Z/d} = s2
Nótese que: E s1s2 = (Es1)s2, para cualquier expresión E

La Unificación
 Un conjunto {Ei} de expresiones es unificable si existe una
sustitución s que hace que: E1s = E2s = … = Ens.
 La Unificación nos indica las particularizaciones mínimas a
realizar en un conjunto de expresiones lógicas para que se
reduzcan a una misma expresión
 umg{p(X,f(b),a), p(a,f(Y),a)} = {X/a, Y/b}
 umg{p(X), q(a)} = fallo
 ¿Problemas?:
 umg{p(X,Y), p(Y, f(X))}= fallo  Renombramiento de variables
Solución: umg{p(X,Y), p(Y1, f(X1))}= {X/Y1, Y/f(X1)}
 (*) umg{p(X,X), p(Y,f(Y))} = fallo ¡Sin solución!

Algoritmo de Unificación
Para el algoritmo de unificación interpretamos los argumentos como listas de
símbolos:
g(r(X,f(Z)),Y) ==> [g [r [ X, [f [ Z ]] ], Y] ]
g(r(a, Y), U) ==> [g [r [ a, Y ], U] ]
Input T (Conjunto de términos o sentencias atómicas)
0= { }
Repeat
Compute D(Ti); (Desacuerdos del conjunto)
If en D(Ti) hay:
Dos términos que empiezan por diferentes símbolos de función ó
 Una variable –p.e. x- y al menos otro que contiene la variable
- p.e f(x)-
Then stop and Return : “ T no es unificable";
Choose a variable x and a term t in D(Ti) and build i+1= i{x/t};
Until #(Ti)= 1
Return: "i es un umg para T";

El algoritmo de Unificación: ejemplo
 Consideremos el conjunto de expresiones E

siguiente:
 p ( X, a, f(g(Y)))
 p (f(Z), Z, f(U))
 Buscamos desacuerdos y los resolvemos

El algoritmo de Unificación : ejemplo
 p ( X, a, f(g(Y)))  p (f(Z), a, f(g(Y)))

 p (f(Z), Z, f( U ) )  p (f(Z), Z, f( U ) )
• D(E) = { X, f(Z) }
• d = {X/ f(Z)}
• 1 = {X/ f(Z)} (1 = 0d = {}d)

 p (f(Z), a, f(g(Y)))  p (f(a), a, f(g(Y)))

 p (f(Z), Z, f( U ) )  p (f(a), a, f( U ) )
• D(E) = { Z, a } 1 = {X/ f(Z)}

• d = {Z/ a}
• 2 = {X/ f(a), Z/ a} (2 = {X/ f(Z)} d)

 p (f(a), a, f(g(Y)))  p (f(a), a, f(g(Y)))

 p (f(a), a, f( U ) )  p (f(a), a, f(g(Y)))
• D(E) = { g(Y), U } 2 = {X/f(a), Z/a}

• d = {U/ g(Y)}
• 3 = {X/ f(a), Z/ a, U/g(Y)} U.m.g

Ejercicio
 Determinar si los siguientes conjuntos de expresiones
son unificables encontrando, cuando proceda, su u.m.g.
1. {p(f(X),Z), p(Y,a)}
2. {p(f(X),a), p(Y,f(U))}
3. {p(f(X), g(U,Z) ), p(Y, g(V,a) )}
4. {p(f(Z), g(U,Z) ), p(Y, g(V,a)) }
5. {p(a, X, h(g(Z)) ), p(Z, h(Y), h(Y) ) }
6. {p(X, f(a), g(g(Y)) ), p(Z, f(Z), g(Y) ) }
7. {p(f(a),g(X)), p(Y, Y)}
8. {p(a, X, g(g(Z)) ), p(Z, h(Y), g(Y) ) }
9. {p(f(X), h(Y), a), p(f(X), Z, a), p(f(X), h(Y), b) }
10. {q(X, f(a), g(b) ), q(Z, f(Y), g(Y) ), q(X, X, Z) }

C1=G1 C2=H2
1, 2, 3 literales del mismo predicado

s=umg(E1E2)
Resolvente=Gs  Hs G, H, disyunción de literales
C1=G1 3 C2=H2
s=umg(E1E2E3)
Resolvente=Gs  Hs

Definición derivabilidad:
 {C1,..., Cn} ⊢ G
si y solo si F0,...,Fm donde:
 Fm = G,
 Fi es resolvente general de un par de variantes de fórmulas del
conjunto {C1,..., Cn}  {F0,...,Fi-1}.
 Teorema de Corrección.-
Si  ⊢RG C entonces  ⊨ C.
En particular si  es refutable entonces  es insatisfacible.

Resolución: Ejemplo
Hipótesis Forma Clausal

X (perro(X)  animal(X)) ¬perro(X)  animal(X)
perro(fido) perro(fido)
Y (animal(Y)  muere(Y)) ¬animal(Y)  muere(Y)
Conclusión Negar el objetivo

muere(fido) ¬muere(fido)

¬perro(X1)  animal(X1) ¬animal(Y)  muere(Y)
{x {X1 / Y}
perro(fido) ¬perro(Y)  muere(Y)
{Y / fido}
muere(fido) ¬muere(fido)

Conjunto inconsistente  Correcto

Resolución: Otro ejemplo
{q X   p X , r  X   q X , p f a } 

⊨ X r  f  X 
 Procediendo según el método de refutación,

probaremos:
{q X   p X , r  X   q X , p f a , r  f  X } 

Resolución: Otro ejemplo
{q X   p X , r  X   q X , p f a , r  f  X } Falso
r  X   q X  r  f  X 1  las cláusulas seleccionadas

Renombrar variables en una de
 X / f  X 1  r  f  X  renombro X : r  f ( X 1 ) 
q f  X 1  q  X 2   p  X 2 
 X 2 / f  X 1 
p f  X 1  p f a 
X1 / a

Algoritmo de Resolución
{Dado un conjunto de claúsulas S, indica si es refutable o no, es decir
si de S se puede deducir o no la cláusula vacía}
mientras ( S) y (se puede continuar) hacer
tratar de seleccionar dos claúsulas de S a las que se pueda aplicar el cálculo del
resolvente y que no se les haya aplicado previamente (*);
si se han seleccionado dos cláusulas
entonces renombrar variables en una de las cláusulas (si ambas contienen variables)
y aplicarles el cálculo del resolvente (**)
sino ya no se puede continuar
finsi;
añadir a S el resolvente obtenido
finmientras;
si ( S)
entonces devuelve “Refutable” (¡Éxito!)
sino devuelve “No Refutable”
finsi
fin.

Algoritmo de Resolución. Ejemplo
 Estudiar la corrección del siguiente razonamiento
{p(X)q(X)r(X,f(X)), p(X)q(X)s(f(X)), t(a),
p(a),r(a,Y)t(Y),t(X)q(X), x(p(X)t(X))} ⊨ t(X)s(X)
1º) Negar la conclusión: (t(X)s(X))
2º) Pasar a FC: Todas están ya en FC excepto dos:
x(p(X)t(x)): al eliminar el  para pasar a FC quedaría p(b)  t(b) (la constante a no se puede
emplear pues aparece en otra cláusula).
(t(X)s(X))  t(X)s(X)
Nota: todas las premisas que están en FC vienen de fórmulas cerradas.
3º) Resolución: Veamos que el siguiente conjunto de cláusulas deriva la cláusula

vacía:
{p(X)q(X)r(X,f(X)), p(X)q(X)s(f(X)), t(a), p(a),

r(a,Y)t(Y),t(X)q(X), p(b)  t(b), t(X)s(X)}

{p(X)q(X)r(X,f(X)), p(X)q(X)s(f(X)), t(a), p(a),
r(a,Y)t(Y), t(X)q(X), p(b) t(b), t(X)s(X)}
1. p(X) q(X) r(X,f(X))

2. p(X) q(X) s(f(X))
3. t(a)
4. p(a)
5. r(a,Y) t(Y)
6. t(X)q(X)
7. p(b)t(b)
8. t(X)s(X)
9. q(a) {X/a} 3-6
10. q(a) s(f(a)) {X/a} 2-4
11. s(f(a)) {} 9 - 10
12. q(a) r(a,f(a)) {X/a} 1-4
13. r(a,f(a)) {} 9 - 12
14. t(f(a)) {Y/f(a)} 5 - 13
15. s(f(a)) {X/f(a)} 8 - 14
16. {} 11 - 15

Algoritmo de Resolución. Ejercicio
 Prueba, usando Resolución, que se puede derivar la

cláusula vacía del siguiente conjunto de cláusulas:
{s(X)  q(Y)  r(X,Y),

p(X)q(X),
p(b),
r(a,b)
 s(a)}

Estrategias de Resolución
 El algoritmo de Resolución es no-determinista, por tanto
su eficiencia (utilidad) en la extracción de respuestas se
basa:
 la estrategia de elección del par de cláusulas a las que aplicar
resolución, y dentro de éstas
 la elección de los literales a unificar
 Estrategia de control
 Completa si un procedimiento que la use lleva a una
contradicción siempre que exista

Estrategias de Resolución

Ejercicio
Demostrar los siguientes razonamientos mediante

resolución
{Xp(X)} ⊢ Xp(X)
{Xp(X)} ⊢ Xp(X)
{ X(p(X)q(X)), X(p(X)  r(X,X)), Xq(X)} ⊢ Xr(X,X)
{XYp(X,Y)} ⊢ YXp(X,Y)
{X(r(X)q(X)), X(p(X)q(X))} ⊢ X(p(X)r(X))

L1. Contenidos
 Formulación
 Semántica
 Interpretación
 Evaluación

 Propiedades

Deducción natural
 Se utilizan las mismas reglas de inferencia que
en lógica proposicional
 Se añaden 2 reglas más por cada cuantificador

Reglas de inferencia nuevas lógica de
predicados
(t) libre
… xA(x)
I A(t) E
A(a)
xA(x)
xA(x)
A(a) A(t) libre
…
I E Condición:
xA(x) B tB
B
t libre = el término t no puede aparecer en ninguna caja anterior abierta

Deducción natural. Ejemplo 1
Demostrar
 { x(P(x)Q(x)),x(P(x)R(x)),x(Q(x)R(x))} ⊢
xR(x)
1 x(P(x)Q(x)) Premisa
2 x(P(x)R(x)) Premisa
3 x(Q(x)R(x)) Premisa
4 (t) libre
5 P(t)Q(t) E 1
6 P(t)R(t) E 2
7 Q(t)R(t) E 3
8 R(t) E 5,6,7
9 xR(x) I 4-8

Deducción natural. Ejemplo 2
Demostrar
 {x(P(x)Q(x)), xP(x)} ⊢ xQ(x)
1 x(P(x)Q(x)) Premisa
2 xP(x) Premisa
3 (t) P(t) Supuesto
4 P(t)Q(t) E 1
5 Q(t) E 3,4
6 xQ(x) I 5
7 xQ(x) E 2,3-6

Ejemplo de mal uso de variables libres
 {xP(x), xQ(x)} ⊬ x(P(x)Q(x))

1 xP(x) Premisa
2 xQ(x) Premisa
3 P(a), a libre Supuesto
4 Q(a), a libre Supuesto a no es libre
5 P(a)Q(a) -I 3,4
6 x(P(x)Q(x)) -I 5
7 x(P(x)Q(x)) -E 2, 4-6
8 x(P(x)Q(x)) -E 1, 3-7

Ejercicio
Demostrar los siguientes razonamientos

mediante deducción natural
{xP(x)} ⊢ xP(x)
{x(R(x)Q(x)), x(P(x)Q(x))} ⊢ x(P(x)R(x))
{x(P(x)Q(x)), x(P(x)  R(x,x)), xQ(x)} ⊢ xR(x,x)
{xP(x)} ⊢ xP(x) (**)
{xyP(x,y)} ⊢ yxP(x,y)

L1. Contenidos
 Formulación
 Semántica
 Interpretación
 Evaluación

 Propiedades

Propiedades
 Lógica de predicados es semidecidible
 Si una fórmula es consecuencia lógica lo detecta
 Si no lo es, puede detectarlo o no

¿Otras lógicas?
 La lógica de predicados es un tipo de lógica
 Lógica proposicional = orden 0
 Lógica predicados = orden 1
 Lógica de predicados de orden superior
 Existen numerosas ampliaciones
 Lógica temporal, borrosa, …
 …o restricciones
 Lógica clausal: programación lógica
 Lógica descriptiva: ontologías y web semántica
Campo activo de investigación

L1. Bibliografía
 Arenas Alegría, L. Lógica Formal para Informáticos.
Díaz de Santos, 1996.
 Cuena, J. Lógica Informática. Alianza Editorial, 1986.
 Huth, M., Ryan, M. Logic in Computer Science.
Cambridge University Press, second edition, 2004.
 Ben Ari, M. Mathematical Logic for Computer Science.
Springer-Verlag, third edition, 2012.

LógicaPredicados 2019-2020 PDF

Cargado por

Copyright:

Formatos disponibles

LógicaPredicados 2019-2020 PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

LógicaPredicados 2019-2020 PDF

Cargado por

Copyright:

Formatos disponibles

Tema 2

Lógica de Predicados (L1)

Una vez formalizadas, no se puede saber si

Computabilidad. Lógica Predicados 2

Las proposiciones no permiten hablar de individuos ni relacionarlos entre sí

Computabilidad. Lógica Predicados 3

 Añade expresividad a lógica proposicional

Computabilidad. Lógica Predicados 4

 Prueba de la Consecuencia lógica

Computabilidad. Lógica Predicados 5

Computabilidad. Lógica Predicados 6

 Término: Constante, variable o función de aridad N (con

 Fórmula atómica: Un único predicado de aridad N  0

 Literal: una fórmula atómica o su negación

Computabilidad. Lógica Predicados 7

 Fórmula: secuencia de fórmulas atómicas,

Jerarquía de Conectivas y Cuantificadores: , ,  +

Computabilidad. Lógica Predicados 8

Computabilidad. Lógica Predicados 9

Computabilidad. Lógica Predicados 10

En una expresión del tipo XF, XF, la variable X es conocida como

Sentencia, o fórmula cerrada = fórmula que no contiene

X [ Y p(X,Y)  X q(X)  r(X,f(X)) ]. ¿Alcance de cada uno de los cuantificadores?

X Y p(X,Y) X q(X)  r(X,f(X)) . ¿Alcance de cada uno de los cuantificadores?

Computabilidad. Lógica Predicados 12

 ¿Cuál de las siguientes fórmulas son cerradas?

Computabilidad. Lógica Predicados 13

 Prueba de la Consecuencia lógica

Computabilidad. Lógica Predicados 14

Computabilidad. Lógica Predicados 15

Computabilidad. Lógica Predicados 16

Computabilidad. Lógica Predicados 17

Computabilidad. Lógica Predicados 18

Modelar las siguientes expresiones:

2. Sólo los p son q

Computabilidad. Lógica Predicados 19

Modelar las siguientes expresiones:

Computabilidad. Lógica Predicados 20

Formalizar las siguientes frases:

1. Si U es un dragón, entonces V es un piojo y V acosa a U.

Computabilidad. Lógica Predicados 21

Formalizar las siguientes frases:

Computabilidad. Lógica Predicados 22

 Formalizar el siguiente razonamiento:

Computabilidad. Lógica Predicados 23

Formalizar las siguientes frases:

Computabilidad. Lógica Predicados 24

 Prueba de la Consecuencia lógica

Computabilidad. Lógica Predicados 25

 En lógica clásica sólo hay dos significados posibles: los valores de

 El significado de la fórmula en una situación depende del contexto o

 Mecanismo que permite asignar un valor de verdad (V / F) a una

Computabilidad. Lógica Predicados 26

Computabilidad. Lógica Predicados 27

 El valor de una fórmula (verdadero o falso) depende de la

Definición: Interpretación I de una fórmula:

Computabilidad. Lógica Predicados 28

Computabilidad. Lógica Predicados 29

Computabilidad. Lógica Predicados 30