Oscar Bedoya

oscarbed@eisc.univalle.edu.co
Inteligencia Artificial
* Inferencia en lgica de predicados
* Modus ponens generalizado
* Forma cannica
* Resolucin generalizada
* Forma normal conjuntiva
Lgica de predicados
Representar El padre del padre es el abuelo
Lgica de predicados
En lgica proposicional:
p: Juan es el padre de Jos
q: Jos es el padre de Luis
r: Juan es el abuelo de Luis
Lgica de predicados
En lgica proposicional:
p: Juan es el padre de Jos
q: Jos es el padre de Luis
r: Juan es el abuelo de Luis
p.qr
Lgica de predicados
Se tienen objetos que son parte del dominio del problema
Se pueden modelar relaciones entre los objetos
definidos. Predicados entre objetos
Existen propiedades que distinguen los objetos.
Predicados aplicados sobre un solo objeto
Lgica de predicados
Representar El padre del padre es el abuelo
Objetos:
Predicados:
Propiedades:
Lgica de predicados
Representar El padre del padre es el abuelo
Objetos: Personas
Predicados:
Lgica de predicados
Representar El padre del padre es el abuelo
Objetos: Personas
Predicados: cules son las relaciones entre objetos que
se quieren representar?
Lgica de predicados
Representar El padre del padre es el abuelo
Objetos: Personas
Predicados: cules son las relaciones entre objetos que
se quieren representar?
padre(x,y): x es el padre de y
Lgica de predicados
Representar El padre del padre es el abuelo
Objetos: Personas
Predicados: cules son las relaciones entre objetos que
se quieren representar?
padre(x,y): x es el padre de y
abuelo(x,y): x es el abuelo de y
Lgica de predicados
Representar El padre del padre es el abuelo
Objetos: Personas
Predicados: cules son las relaciones entre objetos que
se quieren representar?
padre(x,y): x es el padre de y
abuelo(x,y): x es el abuelo de y
padre(x,y).padre(y,z) abuelo(x,z)
Lgica de predicados
Representar El padre del padre es el abuelo
Objetos: Personas
Predicados: cules son las relaciones entre objetos que
se quieren representar?
padre(x,y): x es el padre de y
abuelo(x,y): x es el abuelo de y
xyz padre(x,y).padre(y,z) abuelo(x,z)
Lgica de predicados
El malvado rey Juan gobern Inglaterra en 1200
Objetos:
Predicados:
Propiedades:
Lgica de predicados
El malvado rey Juan gobern Inglaterra en 1200
Objetos. personas, pases, aos
Predicados. gobern(x,y): x gobern el pas y
Propiedades. malvado(x): x es malvado, rey(x): x es rey
Lgica de predicados
El malvado rey Juan gobern Inglaterra en 1200
Objetos. personas, pases, aos
Predicados. gobern(x,y): x gobern el pas y
Propiedades. malvado(x): x es malvado, rey(x): x es rey
gobern(rey(malvado(Juan)),Inglaterra)
Inferencia en lgica de predicados
Las reglas de inferencia de la lgica proposicional
Y-Eliminacin, Y-Introduccin, O-Introduccin y
resolucin, son tambin vlidas en la lgica de predicados
Se necesitan otras reglas de inferencia donde se
manejan los cuantificadores
Inferencia en lgica de predicados
Las reglas emplean el concepto de sustitucin SUST(u,o),
que indica el resultado de aplicar la sustitucin u a la
sentencia o
Inferencia en lgica de predicados
Las reglas emplean el concepto de sustitucin SUST(u,o),
que indica el resultado de aplicar la sustitucin u a la
sentencia o
o=P(x): x es una ciudad de Colombia
u={x/Cali}
SUST(u,o)=P(Cali)
Inferencia en lgica de predicados
o=LeGusta(x,y): x gusta de y
u={x/Andrs, y/Jennifer}
SUST(u,o)=LeGusta(Andrs, Jennifer)
Inferencia en lgica de predicados
Trminos base
Los trminos base no contienen variables
Solo pueden ser una constante o un predicado aplicado
sobre valores
x (cuadro(x).adyacente(x,wumpus)H(x))
Trmino base
Inferencia en lgica de predicados
Trminos base
Los trminos base no contienen variables
Solo pueden ser una constante o un predicado aplicado
sobre valores
Mortal(Scrates)
Trmino base
Inferencia en lgica de predicados
Tres nuevas reglas de inferencia
Eliminacin universal
Eliminacin existencial
Introduccin existencial
Inferencia en lgica de predicados
Tres nuevas reglas de inferencia
Eliminacin universal
x o
________
SUST({x/g},o)
donde o es una sentencia, x es una variable y g es un
trmino base
Inferencia en lgica de predicados
Tres nuevas reglas de inferencia
Eliminacin universal
x o
________
SUST({x/g},o)
o: LeGusta(x, ElHelado)
BC:
1. x LeGusta(x, ElHelado)
Inferencia en lgica de predicados
Tres nuevas reglas de inferencia
Eliminacin universal
x o
________
SUST({x/g},o)
o: LeGusta(x, ElHelado)
BC:
1. x LeGusta(x, ElHelado)
2. LeGusta(Ben,ElHelado) Elim-Universal(1), u={x/Ben}
Inferencia en lgica de predicados
Tres nuevas reglas de inferencia
Eliminacin universal
x o
________
SUST({x/g},o)
o: LeGusta(x, ElHelado)
BC:
1. x LeGusta(x, ElHelado)
2. LeGusta(Ben,ElHelado) Elim-Universal(1), u={x/Ben}
3. LeGusta(Juan,ElHelado) Elim-Universal(1), u={x/Juan}
Inferencia en lgica de predicados
Tres nuevas reglas de inferencia
Eliminacin existencial
-x o
________
SUST({x/k},o)
donde o es una sentencia, x es una variable y k es un
smbolo de constante que no aparece en la base de
conocimientos
Inferencia en lgica de predicados
Tres nuevas reglas de inferencia
Eliminacin existencial
-x o
________
SUST({x/k},o)
BC:
1. -x Matar(x,Juan)
2. Amigo(Luis,Juan)
Inferencia en lgica de predicados
Tres nuevas reglas de inferencia
Eliminacin existencial
-x o
________
SUST({x/k},o)
BC:
1. -x Matar(x,Juan)
2. Amigo(Luis,Juan)
3. Matar(A,Juan) Elim-Existencial (1), u={x/A}
Inferencia en lgica de predicados
Tres nuevas reglas de inferencia
Eliminacin existencial
-x o
________
SUST({x/k},o)
BC:
1. -x Matar(x,Juan)
2. Amigo(Luis,Juan)
3. Matar(A,Juan) Elim-Existencial (1), u={x/A}
No se puede realizar la
sustitucin {x/Luis}
Inferencia en lgica de predicados
Tres nuevas reglas de inferencia
Introduccin existencial
o
________
-x SUST({g/x},o)
donde o es una sentencia, x es una variable que no est en
o y g un trmino que no est en o
Inferencia en lgica de predicados
Tres nuevas reglas de inferencia
Introduccin existencial
o
________
-x SUST({g/x},o)
BC:
1. LeGusta(Jerry,ElHelado)
Inferencia en lgica de predicados
Tres nuevas reglas de inferencia
Introduccin existencial
o
________
-x SUST({g/x},o)
BC:
1. LeGusta(Jerry,ElHelado)
2. -x LeGusta(x, ElHelado) Intro-Existencial, u={Jerry/x}
o| o
________
|
Modus Ponens
o
1
.o
2
. . . . .o
n
________
o
i
Y-Eliminacin
o
1
o
2
. . . o
n
________
o
1
.o
2
. . . . .o
n
Y-Introduccin
o
1
________
o
1
v|
O-Introduccin
ov| |
________
o
Resolucin unitaria
Eliminacin universal
x o
________
SUST({x/g},o)
Eliminacin existencial
-x o
________
SUST({x/k},o)
Introduccin existencial
o
________
-x SUST({g/x},o)
Inferencia en lgica de predicados
Represente las sentencias dadas en el siguiente enunciado:
Todos los hombres son mortales
Scrates es un hombre
Pruebe que Scrates es mortal
Inferencia en lgica de predicados
Represente las sentencias dadas en el siguiente enunciado:
Todos los hombres son mortales
Scrates es un hombre
Pruebe que Scrates es mortal
1. x Hombre(x) Mortal(x)
2. Hombre(Scrates)
Demostrar Mortal(Scrates)
Inferencia en lgica de predicados
1. x Hombre(x) Mortal(x)
2. Hombre(Scrates)
Inferencia en lgica de predicados
1. x Hombre(x) Mortal(x)
2. Hombre(Scrates)
3. Hombre(?) Mortal(?), Elim-Universal (1),
u={x/?}
Inferencia en lgica de predicados
1. x Hombre(x) Mortal(x)
2. Hombre(Scrates)
3. Hombre(Socrates) Mortal(Socrates), Elim-Universal (1),
u={x/Socrates}
Inferencia en lgica de predicados
1. x Hombre(x) Mortal(x)
2. Hombre(Scrates)
3. Hombre(Socrates) Mortal(Socrates), Elim-Universal (1),
u={x/Socrates}
4. Mortal(Socrates), MP(2,3)
o| o
________
|
Modus Ponens
o
1
.o
2
. . . . .o
n
________
o
i
Y-Eliminacin
o
1
o
2
. . . o
n
________
o
1
.o
2
. . . . .o
n
Y-Introduccin
o
1
________
o
1
v|
O-Introduccin
ov| |
________
o
Resolucin unitaria
Eliminacin universal
x o
________
SUST({x/g},o)
Eliminacin existencial
-x o
________
SUST({x/k},o)
Introduccin existencial
o
________
-x SUST({g/x},o)
Inferencia en lgica de predicados
1. x Hombre(x)Mortal(x)
2. Hombre(Scrates)
Inferencia en lgica de predicados
1. x Hombre(x)vMortal(x)
2. Hombre(Scrates)
Inferencia en lgica de predicados
1. x Hombre(x)vMortal(x)
2. Hombre(Scrates)
3. Hombre(Scrates)vMortal(Scrates), Elim-Universal (1)
u={x/Socrates}
4. Mortal(Scrates), res(2,3)
1. w P(w)vQ(w)
2. x P(x)vR(x)
3. y Q(y)vS(y)
4. z R(z)vS(z)
Demostrar S(A)
1. w P(w)vQ(w)
2. x P(x)vR(x)
3. y Q(y)vS(y)
4. z R(z)vS(z)
5. P(A)vQ(A), Elim-Universal(1) u={w/A}
6. P(A)vR(A), Elim-Universal(2) u={x/A}
7. Q(A)vS(A), Elim-Universal(3) u={y/A}
8. R(A)vS(A), Elim-Universal(4) u={z/A}
9. P(A)vS(A), res(5,7)
10. R(A)vS(A), res(6,9)
11. S(A), res(8,10)
1. w R(w)vP(w)vQ(w)vS(w)
2. x Q(x)vR(x)
3. y S(y)vP(y)
4. z P(z)vR(z)
Demostrar R(A)
1. w R(w)vP(w)vQ(w)vS(w)
2. x Q(x)vR(x)
3. y S(y)vP(y)
4. z P(z)vR(z)
5. R(A)vP(A)vQ(A)vS(A), Elim-Universal(1) u={w/A}
6. Q(A)vR(A), Elim-Universal(2) u={x/A}
7. S(A)vP(A), Elim-Universal(3) u={y/A}
8. P(A)vR(A), Elim-Universal(4) u={z/A}
9. R(A)vP(A)vS(A), res(5,6)
10. P(A)vR(A), res(7,9)
11. R(A), res(8,10)
1. -x P(x)
2. x P(x)vQ(x)
3. x Q(x)vR(x)
4. x S(x)vT(x)
5. S(a)
Demostrar R(b).T(a)
1. -x P(x)
2. x P(x)vQ(x)
3. x Q(x)vR(x)
4. x S(x)vT(x)
5. S(a)
6. P(b), Elim-Existencial(1) u={x/b}
x se puede reemplazar
por b porque no est
en BC
1. -x P(x)
2. x P(x)vQ(x)
3. x Q(x)vR(x)
4. x S(x)vT(x)
5. S(a)
6. P(b), Elim-Existencial(1) u={x/b}
7. P(b)vQ(b), Elim-Universal(2) u={x/b}
8. Q(b)vR(b), Elim-Universal(3) u={x/b}
9. S(a)vT(a), Elim-Universal(4) u={x/a}
10. Q(b), res(6,7)
11. R(b), res(8,10)
12. T(a), res(5,9)
13. R(b).T(a), Y-Intro(11,12)
Inferencia en lgica de predicados
Represente las sentencias dadas en el siguiente enunciado:
Todo el que gane el proyecto1, el parcial1 y el parcial2 aprueba IA
Todo el que aprende bsquedas gana el proyecto1
Todo el que aprende inferencia gana el parcial2
Todo el que estudia aprende bsquedas e inferencia
Todo el que compra el libro gana el parcial1
Se conoce que: Juan compr el libro.
Juan estudia.
Pruebe que Juan gana IA
Inferencia en lgica de predicados
Gana(x,y): x gana y, donde y es un parcial o proyecto
ApruebaIA(x): x gana la materia IA
Aprende(x,y): x aprende el tema y
Estudia(x): x estudia
Compra(x,y): x compra y
Inferencia en lgica de predicados
Todo el que gane el proyecto1, el parcial1 y el parcial2 aprueba IA
x Gana(x,Proyecto1).Gana(x,Parcial1).Gana(x,Parcial2)ApruebaIA(x)
Todo el que aprende bsquedas gana el proyecto1
x Aprende(x,Busquedas)Gana(x,Proyecto1)
Todo el que aprende inferencia gana el parcial2
x Aprende(x,Inferencia)Gana(x,Parcial2)
Todo el que estudia aprende bsquedas e inferencia
x Estudia(x)(Aprende(x,Busquedas).Aprende(x,Inferencia))
Todo el que compra el libro gana el parcial1
x Compra(x,Libro)Gana(x,Parcial1)
1. x Gana(x,Proyecto1).Gana(x,Parcial1).Gana(x,Parcial2)ApruebaIA(x)
2. x Aprende(x,Busquedas)Gana(x,Proyecto1)
3. x Aprende(x,Inferencia)Gana(x,Parcial2)
4. x Estudia(x)(Aprende(x,Busquedas).Aprende(x,Inferencia))
5. x Compra(x,Libro)Gana(x,Parcial1)
6. Compra(Juan,Libro)
7. Estudia(Juan)
Demostrar ApruebaIA(Juan)
1. x Gana(x,Proyecto1).Gana(x,Parcial1).Gana(x,Parcial2)ApruebaIA(x)
2. x Aprende(x,Busquedas)Gana(x,Proyecto1)
3. x Aprende(x,Inferencia)Gana(x,Parcial2)
4. x Estudia(x)(Aprende(x,Busquedas).Aprende(x,Inferencia))
5. x Compra(x,Libro)Gana(x,Parcial1)
6. Compra(Juan,Libro)
7. Estudia(Juan)
8. Gana(Juan,Proyecto1).Gana(Juan,Parcial1).Gana(Juan,Parcial2)ApruebaIA(Juan)
9. Aprende(Juan,Busquedas)Gana(Juan,Proyecto1)
10. Aprende(Juan,Inferencia)Gana(Juan,Parcial2)
11. Estudia(Juan)(Aprende(Juan,Busquedas).Aprende(Juan,Inferencia))
12. Compra(Juan,Libro)Gana(Juan,Parcial1)
13. Gana(Juan,Parcial1), MP(6,12)
14. Aprende(Juan,Busquedas).Aprende(Juan,Inferencia), MP(7,11)
15. Aprende(Juan,Busquedas), Y-Elim(14)
16. Aprende(Juan,Inferencia), Y-Elim(14)
, Elim-Universal(2) u={x/Juan}
, Elim-Universal(3) u={x/Juan}
, Elim-Universal(4) u={x/Juan}
, Elim-Universal(5) u={x/Juan}
, Elim-Universal(1)
8. Gana(Juan,Proyecto1).Gana(Juan,Parcial1).Gana(Juan,Parcial2)ApruebaIA(Juan)
9. Aprende(Juan,Busquedas)Gana(Juan,Proyecto1)
10. Aprende(Juan,Inferencia)Gana(Juan,Parcial2)
11. Estudia(Juan)(Aprende(Juan,Busquedas).Aprende(Juan,Inferencia))
12. Compra(Juan,Libro)Gana(Juan,Parcial1)
13. Gana(Juan,Parcial1), MP(6,12)
14. Aprende(Juan,Busquedas).Aprende(Juan,Inferencia), MP(7,11)
15. Aprende(Juan,Busquedas), Y-Elim(14)
16. Aprende(Juan,Inferencia), Y-Elim(14)
17. Gana(Juan,Proyecto1), MP(9,15)
18. Gana(Juan,Parcial2), MP(10,16)
19. Gana(Juan,Proyecto1).Gana(Juan,Parcial1).Gana(Juan,Parcial2), Y-Intro(13,17,18)
20. ApruebaIA(Juan), MP(8,19)
, Elim-Universal(2) u={x/Juan}
, Elim-Universal(3) u={x/Juan}
, Elim-Universal(4) u={x/Juan}
, Elim-Universal(5) u={x/Juan}
, Elim-Universal(1)
Inferencia en lgica de predicados
Represente las sentencias dadas en el siguiente enunciado:
La ley establece que se considera como delito el que un estadounidense
venda armas a naciones enemigas. El pas Nono, enemigo de Estados
Unidos, tiene algunos proyectiles, todos ellos le fueron vendidos por el
coronel West, un estadounidense
Inferencia en lgica de predicados
Represente las sentencias dadas en el siguiente enunciado:
La ley establece que se considera como delito el que un estadounidense
venda armas a naciones enemigas. El pas Nono, enemigo de Estados
Unidos, tiene algunos proyectiles, todos ellos le fueron vendidos por el
coronel West, un estadounidense
Pruebe que West es un criminal
Es delito el que un estadounidense venda armas a
naciones enemigas
Es delito el que un estadounidense venda armas a
naciones enemigas
x,y,z Estadounidense(x) . Arma(y) . Nacion(z) . Hostil(z) .
Vende(x,z,y) Criminal(x)
(1)
Es delito el que un estadounidense venda armas a
naciones enemigas
x,y,z Estadounidense(x) . Arma(y) . Nacion(z) . Hostil(z) .
Vende(x,z,y) Criminal(x)
Nono tiene algunos proyectiles
(1)
Es delito el que un estadounidense venda armas a
naciones enemigas
x,y,z Estadounidense(x) . Arma(y) . Nacion(z) . Hostil(z) .
Vende(x,z,y) Criminal(x)
Nono tiene algunos proyectiles
-x Posee(Nono,x) . Proyectil(x)
(1)
(2)
Es delito el que un estadounidense venda armas a
naciones enemigas
x,y,z Estadounidense(x) . Arma(y) . Nacion(z) . Hostil(z) .
Vende(x,z,y) Criminal(x)
Nono tiene algunos proyectiles
-x Posee(Nono,x) . Proyectil(x)
Todo sus proyectiles se los vendi el coronel West
(1)
(2)
(3)
Es delito el que un estadounidense venda armas a
naciones enemigas
x,y,z Estadounidense(x) . Arma(y) . Nacion(z) . Hostil(z) .
Vende(x,z,y) Criminal(x)
Nono tiene algunos proyectiles
-x Posee(Nono,x) . Proyectil(x)
Todo sus proyectiles se los vendi el coronel West
x Posee(Nono,x) . Proyectil(x) Vende(West, Nono,x)
(1)
(2)
(3)
Es delito el que un estadounidense venda armas a
naciones enemigas
x,y,z Estadounidense(x) . Arma(y) . Nacion(z) . Hostil(z) .
Vende(x,z,y) Criminal(x)
Nono tiene algunos proyectiles
-x Posee(Nono,x) . Proyectil(x)
Todo sus proyectiles se los vendi el coronel West
x Posee(Nono,x) . Proyectil(x) Vende(West, Nono,x)
Es necesario saber que los proyectiles son armas
x Proyectil(x) Arma(x)
y que los enemigos de Estados Unidos se les considera
como hostiles
x Enemigo(x, America) Hostil(x)
(1)
(2)
(3)
(4)
(5)
West es estadounidense
EstadoUnidense(West)
Nono es un pas
Nacion(Nono)
Nono es enemigo de Estado Unidos
Enemigo(Nono,America)
Nacion(America)
(6)
(7)
(8)
(9)
1. x,y,z Estadounidense(x).Arma(y).Nacion(z).Hostil(z).Vende(x,z,y)Criminal(x)
2. -x Posee(Nono,x) . Proyectil(x)
3. x Posee(Nono,x) . Proyectil(x) Vende(West, Nono,x)
4. x Proyectil(x) Arma(x)
5. x Enemigo(x, America) Hostil(x)
6. EstadoUnidense(West)
7. Nacion(Nono)
8. Enemigo(Nono,America)
9. Nacion(America)
Demostrar Criminal(West)
10. Posee(Nono, M1).Proyectil(M1), Elim-Existencial(2), u={x/M1}
11. Posee(Nono, M1), Y-Elim(10)
12. Proyectil(M1), Y-Elim(10)
13. Proyectil(M1) Arma(M1), Elim-Universal(4), u={x/M1}
14. Arma(M1), MP(12,13)
15. Posee(Nono,M1).Proyectil(M1)Vende(West, Nono,M1), Elim-Universal(3), u={x/M1}
16. Vende(West, Nono, M1), MP(10,15)
17. Estadounidense(West).Arma(M1).Nacion(Nono).Hostil(Nono).Vende(West,Nono,M1)
Criminal(West) , Elim-Universal(1), u={x/West, y/M1, z/Nono}
18. Enemigo(Nono, America) Hostil(Nono) , Elim-Universal(5), u={x/Nono}
19. Hostil(Nono), MP(8,18)
20. Estadounidense(West).Arma(M1).Nacion(Nono).Hostil(Nono).Vende(West,Nono,M1),
Y-Intro(6,7,14,16,19)
21. Criminal(West), MP(17,20)
Inferencia en lgica de predicados
Modus ponens generalizado
Logra en un solo paso lo que se requera al aplicar
Y-Introduccin, Eliminacin universal y Modus ponens
Inferencia en lgica de predicados
Modus ponens generalizado
Logra en un solo paso lo que se requera al aplicar
Y-Introduccin, Eliminacin universal y Modus ponens
1. P(a)
2. Q(a)
3. x (P(x).Q(x))R(x)
Demostrar R(a)
Inferencia en lgica de predicados
Modus ponens generalizado
Logra en un solo paso lo que se requera al aplicar
Y-Introduccin, Eliminacin universal y Modus ponens
1. P(a)
2. Q(a)
3. x (P(x).Q(x))R(x)
4. P(a).Q(a), Y-Intro(1,2)
5. (P(a).Q(a))R(a), Elim-Universal (3) u={x/a}
6. R(a), MP(4,5)
Inferencia en lgica de predicados
Modus ponens generalizado
p
1
p
2
. . . p
n
(p
1
.p
2
.. . . .p
n
q)
____________________________
SUST(u,q)
donde p
i
son trminos base y p
i
son sentencias
cuantificadas en las que existe una sustitucin u tal que
p
i
=SUST(u,p
i
) para toda i
Inferencia en lgica de predicados
Modus ponens generalizado
p
1
p
2
. . . p
n
(p
1
.p
2
.. . . .p
n
q)
____________________________
SUST(u,q)
1. Proyectil(M1)
2. Posee(Nono,M1)
3. x Proyectil(x).Posee(Nono,x)Vende(West,Nono,x)
Inferencia en lgica de predicados
Modus ponens generalizado
p
1
p
2
. . . p
n
(p
1
.p
2
.. . . .p
n
q)
____________________________
SUST(u,q)
1. Proyectil(M1)
2. Posee(Nono,M1)
3. x Proyectil(x).Posee(Nono,x)Vende(West,Nono,x)
4. Vende(West,Nono,M1), MPG(1,2,3) u={x/M1}
1. x,y,z Estadounidense(x).Arma(y).Nacion(z).Hostil(z).Vende(x,z,y)Criminal(x)
2. -x Posee(Nono,x) . Proyectil(x)
3. x Posee(Nono,x) . Proyectil(x) Vende(West, Nono,x)
4. x Proyectil(x) Arma(x)
5. x Enemigo(x, America) Hostil(x)
6. EstadoUnidense(West)
7. Nacion(Nono)
8. Enemigo(Nono,America)
9. Nacion(America)
Demostrar Criminal(West)
1. x,y,z Estadounidense(x).Arma(y).Nacion(z).Hostil(z).Vende(x,z,y)Criminal(x)
2. -x Posee(Nono,x) . Proyectil(x)
3. x Posee(Nono,x) . Proyectil(x) Vende(West, Nono,x)
4. x Proyectil(x) Arma(x)
5. x Enemigo(x, America) Hostil(x)
6. EstadoUnidense(West)
7. Nacion(Nono)
8. Enemigo(Nono,America)
9. Nacion(America)
10. Posee(Nono, M1).Proyectil(M1), Elim-Existencial(2), u={x/M1}
11. Posee(Nono, M1), Y-Elim(10)
12. Proyectil(M1), Y-Elim(10)
1. x,y,z Estadounidense(x).Arma(y).Nacion(z).Hostil(z).Vende(x,z,y)Criminal(x)
2. -x Posee(Nono,x) . Proyectil(x)
3. x Posee(Nono,x) . Proyectil(x) Vende(West, Nono,x)
4. x Proyectil(x) Arma(x)
5. x Enemigo(x, America) Hostil(x)
6. EstadoUnidense(West)
7. Nacion(Nono)
8. Enemigo(Nono,America)
9. Nacion(America)
10. Posee(Nono, M1).Proyectil(M1), Elim-Existencial(2), u={x/M1}
11. Posee(Nono, M1), Y-Elim(10)
12. Proyectil(M1), Y-Elim(10)
13. Arma(M1), MPG(4,12), u={x/M1}
14. Vende(West, Nono,M1), MPG(3,10), u={x/M1}
15. Hostil(Nono), MPG(5,8) u={x/Nono}
16. Criminal(West), MPG(1,6,7,13,14,15) u={x/West, y/M1, z/Nono}
1. x,y,z Estadounidense(x).Arma(y).Nacion(z).Hostil(z).Vende(x,z,y)Criminal(x)
2. -x Posee(Nono,x) . Proyectil(x)
3. x Posee(Nono,x) . Proyectil(x) Vende(West, Nono,x)
4. x Proyectil(x) Arma(x)
5. x Enemigo(x, America) Hostil(x)
6. EstadoUnidense(West)
7. Nacion(Nono)
8. Enemigo(Nono,America)
9. Nacion(America)
10. Posee(Nono, M1).Proyectil(M1), Elim-Existencial(2), u={x/M1}
11. Posee(Nono, M1), Y-Elim(10)
12. Proyectil(M1), Y-Elim(10)
13. Arma(M1), MPG(4,12), u={x/M1}
14. Vende(West, Nono,M1), MPG(3,10), u={x/M1}
15. Hostil(Nono), MPG(5,8) u={x/Nono}
16. Criminal(West), MPG(1,6,7,13,14,15) u={x/West, y/M1, z/Nono}
Inferencia en lgica de predicados
Si se quisiera aplicar modus ponens generalizado, las
sentencias en BC tendran que ser:
- Una implicacin con una conjuncin en el lado izquierdo y un
solo tomo a la derecha
- Una sentencia atmica
Inferencia en lgica de predicados
Si se quisiera aplicar modus ponens generalizado, las
sentencias en BC tendran que ser:
- Una implicacin con una conjuncin en el lado izquierdo y un
solo tomo a la derecha. (sentencias Horn)
- Una sentencia atmica
Alfred Horn (1918 - 2001)
On sentences which are true of direct unions of algebras
Inferencia en lgica de predicados
Forma cannica
Si se quisiera aplicar modus ponens generalizado, las
sentencias en BC tendran que ser:
- Una implicacin con una conjuncin en el lado izquierdo y un
solo tomo a la derecha. (sentencias Horn)
- Una sentencia atmica
Cuando la base de conocimientos se forma exclusivamente
de sentencias Horn se dice que est en forma cannica
1. x,y,z Estadounidense(x).Arma(y).Nacion(z).Hostil(z).Vende(x,z,y)Criminal(x)
2. -x Posee(Nono,x) . Proyectil(x)
3. x Posee(Nono,x) . Proyectil(x) Vende(West, Nono,x)
4. x Proyectil(x) Arma(x)
5. x Enemigo(x, America) Hostil(x)
6. EstadoUnidense(West)
7. Nacion(Nono)
8. Enemigo(Nono,America)
9. Nacion(America)
Para convertir a forma cannica se busca
eliminar los cuantificadores existenciales
Inferencia en lgica de predicados
Forma cannica
Eliminar los cuantificadores existenciales:
- Si la sentencia est cuantificada existencialmente se
utiliza Eliminacin existencial y Y-Eliminacin
-x Posee(Nono,x).Proyectil(x)
se convierte en dos sentencias Posee(Nono,M1) y Proyectil(M1)
- Si las sentencias estn relacionadas por una disyuncin,
solo se aplica Eliminacin existencial
Inferencia en lgica de predicados
Forma cannica
Como ahora si hay un cuantificador solo puede ser
universal, no es necesario colocarlo
y Posee(y, M1)
se escribe como Posee(y, M1)
1. x,y,z Estadounidense(x).Arma(y).Nacion(z).Hostil(z).Vende(x,z,y)Criminal(x)
2. -x Posee(Nono,x) . Proyectil(x)
3. x Posee(Nono,x) . Proyectil(x) Vende(West, Nono,x)
4. x Proyectil(x) Arma(x)
5. x Enemigo(x, America) Hostil(x)
6. EstadoUnidense(West)
7. Nacion(Nono)
8. Enemigo(Nono,America)
9. Nacion(America)
1. x,y,z Estadounidense(x).Arma(y).Nacion(z).Hostil(z).Vende(x,z,y)Criminal(x)
2. Posee(Nono,M1) . Proyectil(M1)
3. x Posee(Nono,x) . Proyectil(x) Vende(West, Nono,x)
4. x Proyectil(x) Arma(x)
5. x Enemigo(x, America) Hostil(x)
6. EstadoUnidense(West)
7. Nacion(Nono)
8. Enemigo(Nono,America)
9. Nacion(America)
1. x,y,z Estadounidense(x).Arma(y).Nacion(z).Hostil(z).Vende(x,z,y)Criminal(x)
2. Posee(Nono,M1)
3. Proyectil(M1)
4. x Posee(Nono,x) . Proyectil(x) Vende(West, Nono,x)
5. x Proyectil(x) Arma(x)
6. x Enemigo(x, America) Hostil(x)
7. EstadoUnidense(West)
8. Nacion(Nono)
9. Enemigo(Nono,America)
10. Nacion(America)
1. Estadounidense(x).Arma(y).Nacion(z).Hostil(z).Vende(x,z,y)Criminal(x)
2. Posee(Nono,M1)
3. Proyectil(M1)
4. Posee(Nono,x) . Proyectil(x) Vende(West, Nono,x)
5. Proyectil(x) Arma(x)
6. Enemigo(x, America) Hostil(x)
7. EstadoUnidense(West)
8. Nacion(Nono)
9. Enemigo(Nono,America)
10. Nacion(America)
1. Estadounidense(x).Arma(y).Nacion(z).Hostil(z).Vende(x,z,y)Criminal(x)
2. Posee(Nono,M1)
3. Proyectil(M1)
4. Posee(Nono,x) . Proyectil(x) Vende(West, Nono,x)
5. Proyectil(x) Arma(x)
6. Enemigo(x, America) Hostil(x)
7. EstadoUnidense(West)
8. Nacion(Nono)
9. Enemigo(Nono,America)
10. Nacion(America)
Demostrar Criminal(West)
1. Estadounidense(x).Arma(y).Nacion(z).Hostil(z).Vende(x,z,y)Criminal(x)
2. Posee(Nono,M1)
3. Proyectil(M1)
4. Posee(Nono,x) . Proyectil(x) Vende(West, Nono,x)
5. Proyectil(x) Arma(x)
6. Enemigo(x, America) Hostil(x)
7. EstadoUnidense(West)
8. Nacion(Nono)
9. Enemigo(Nono,America)
10. Nacion(America)
11. Arma(M1), MPG(3,5) u={x/M1}
1. Estadounidense(x).Arma(y).Nacion(z).Hostil(z).Vende(x,z,y)Criminal(x)
2. Posee(Nono,M1)
3. Proyectil(M1)
4. Posee(Nono,x) . Proyectil(x) Vende(West, Nono,x)
5. Proyectil(x) Arma(x)
6. Enemigo(x, America) Hostil(x)
7. EstadoUnidense(West)
8. Nacion(Nono)
9. Enemigo(Nono,America)
10. Nacion(America)
11. Arma(M1), MPG(3,5) u={x/M1}
12. Hostil(Nono), MPG(6,9) u={x/Nono}
13.Vende(West, Nono, M1), MPG(2,3,4), u={x/M1}
14. Criminal(West), MPG(1,7,8,11,12,13), u={x/West, y/M1, z/Nono}
Inferencia en lgica de predicados
Represente en lgica de predicados y convierta a forma
cannica:
Un dragn es feliz si es verde, puede volar y tiene a su madre viva. Un
dragn puede volar si es adulto. Todos los dragones verdes tienen a su
madre viva. Apofis es un dragn adulto y verde.
- Expresar en forma cannica
- Pruebe que Apofis es feliz
Verde(x): x es verde
Vuela(x): x sabe volar
MadreViva(x): x tiene la madre viva
Feliz(x): x es feliz
Adulto(x): x es adulto
1. x Verde(x).Vuela(x).MadreViva(x)Feliz(x)
2. x Adulto(x)Vuela(x)
3. x Verde(x)MadreViva(x)
4. Verde(apofis).Adulto(apofis)
Expresar en forma cannica
1. Verde(x).Vuela(x).MadreViva(x)Feliz(x)
2. Adulto(x)Vuela(x)
3. Verde(x)MadreViva(x)
4. Verde(apofis).Adulto(apofis)
Demostrar Feliz(apofis)
1. Verde(x).Vuela(x).MadreViva(x)Feliz(x)
2. Adulto(x)Vuela(x)
3. Verde(x)MadreViva(x)
4. Verde(apofis).Adulto(apofis)
5. Verde(apofis), Y-Elim(4)
6. Adulto(apofis), Y-Elim(4)
7. Vuela(apofis), MPG(2,6) u={x/apofis}
8. MadreViva(apofis), MPG(3,5) u={x/apofis}
9. Feliz(apofis), MPG(1,5,7,8) u={x/apofis}
Inferencia en lgica de predicados
Represente en lgica de predicados y convierta a forma
cannica:
En todos los restaurantes costosos Japoneses sirven Sushi. Todos los
restaurantes costosos de Japn residen en Tokio. En todos los
restaurantes de Tokio donde sirven Sushi, sirven tambin Hiyashi.
Unagi es un restaurante Japons costoso.
- Expresar en forma cannica
- Pruebe que en Unagi sirven Hiyashi
Japones(x): x est en Japn
Costoso(x): x es costoso
Restaurante(x): x es un restaurante
Reside(x,y): x reside en y
Sirven(x,y): en x sirven el plato y
1. x Restaurante(x).Japones(x).Costoso(x)Sirven(x,Sushi)
2. x Costoso(x).Restaurante(x)Reside(x,Tokio)
3. x Reside(x,Tokio).Restaurante(x).Sirven(x,Sushi)Sirven(x,Hiyashi)
4. Restaurante(Unagi).Japones(Unagi).Costoso(Unagi)
Expresar en forma cannica
1. Restaurante(x).Japones(x).Costoso(x)Sirven(x,Sushi)
2. Costoso(x).Restaurante(x)Reside(x,Tokio)
3. Reside(x,Tokio).Restaurante(x).Sirven(x,Sushi)Sirven(x,Hiyashi)
4. Restaurante(Unagi).Japones(Unagi).Costoso(Unagi)
Demostrar Sirven(Unagi, Hiyashi)
1. Restaurante(x).Japones(x).Costoso(x)Sirven(x,Sushi)
2. Costoso(x).Restaurante(x)Reside(x,Tokio)
3. Reside(x,Tokio).Restaurante(x).Sirven(x,Sushi)Sirven(x,Hiyashi)
4. Restaurante(Unagi).Japones(Unagi).Costoso(Unagi)
5. Restaurante(Unagi), Y-Elim(4)
6. Japones(Unagi), Y-Elim(4)
7. Costoso(Unagi), Y-Elim(4)
8. Sirven(Unagi,Sushi), MPG(1,4) u={x/Unagi}
9. Reside(Unagi,Tokio), MPG(2,5,7) u={x/Unagi}
10. Sirven(Unagi, Hiyashi), MPG(3,5,8,9) u={x/Unagi}
Inferencia en lgica de predicados
Represente en lgica de predicados y convierta a forma
cannica:
Todo robot que resuelve problemas lgicos es inteligente. Todos los
robots japoneses pueden resolver todos los problemas lgicos. Existe
al menos un problema lgico. Ariel es un robot japons.
- Expresar en forma cannica
- Pruebe que Ariel es inteligente
Robot(x): x es un robot
Resuelve(x,y): x resuelve y
ProblemaLogico(x): x es un problema lgico
Inteligente(x): x es inteligente
Japones(x): x es Japones
1. xy Robot(x).Resuelve(x,y).ProblemaLogico(y)Inteligente(x)
2. xy Robot(x).Japones(x).ProblemaLogico(y)Resuelve(x,y)
3. -x ProblemaLogico(x)
4. Robot(ariel).Japones(ariel)
Expresar en forma cannica
1. Robot(x).Resuelve(x,y).ProblemaLogico(y)Inteligente(x)
2. Robot(x).Japones(x).ProblemaLogico(y)Resuelve(x,y)
3. ProblemaLogico(L1)
4. Robot(ariel).Japones(ariel)
Demostrar Inteligente(ariel)
1. Robot(x).Resuelve(x,y).ProblemaLogico(y)Inteligente(x)
2. Robot(x).Japones(x).ProblemaLogico(y)Resuelve(x,y)
3. ProblemaLogico(L1)
4. Robot(ariel).Japones(ariel)
5. Resuelve(ariel,L1), MPG(2,3,4) u={x/ariel, y/L1}
6. Robot(ariel), Y-Elim(4)
7. Inteligente(ariel), MPG(1,3,5,6), u={x/ariel, y/L1}
Inferencia en lgica de predicados
Programas de razonamiento
Enfoque 1: encadenamiento hacia adelante
Enfoque 2: encadenamiento hacia atrs
Inferencia en lgica de predicados
Programas de razonamiento
Enfoque 1: encadenamiento hacia adelante
BC
Aplicar
inferencia
Sentencia
inferida |
Agregar_a_BC(|)
Inferencia en lgica de predicados
Encadenamiento hacia adelante
Suponga que se adiciona p a BC
Se identifican todas las implicaciones cuya premisa sea p
Si se sabe que las dems premisas son vlidas, se puede
aadir la consecuencia
Luego con esa consecuencia se verifica si se activan
nuevas implicaciones y se repite el proceso
Inferencia en lgica de predicados
Encadenamiento hacia adelante
Demostrar Criminal(West) utilizando encadenamiento
hacia adelante
Inicialmente BC tiene solo las implicaciones en forma de
Horn
Estadounidense(x) . Arma(y) . Nacion(z) . Hostil(z) .
Vende(x,z,y) Criminal(x)
Posee(Nono,x) . Proyectil(x) Vende(West, Nono,x)
Proyectil(x) Arma(x)
Enemigo(x, EUA) Hostil(x)
(1)
(2)
(3)
(4)
Inicialmente BC tiene solo las implicaciones en forma de
Horn
Estadounidense(x) . Arma(y) . Nacion(z) . Hostil(z) .
Vende(x,z,y) Criminal(x)
Posee(Nono,x) . Proyectil(x) Vende(West, Nono,x)
Proyectil(x) Arma(x)
Enemigo(x, EUA) Hostil(x)
- EstadoUnidense(West)
- Nacion(Nono)
- Enemigo(Nono,EUA)
- Posee(Nono,M1)
- Proyectil(M1)
- Nacion(EUA)
(1)
(2)
(3)
(4)
Inicialmente BC tiene solo las implicaciones en forma de
Horn
Estadounidense(x) . Arma(y) . Nacion(z) . Hostil(z) .
Vende(x,z,y) Criminal(x)
Posee(Nono,x) . Proyectil(x) Vende(West, Nono,x)
Proyectil(x) Arma(x)
Enemigo(x, EUA) Hostil(x)
Se aaden las sentencias atmicas, una por una,
(encadenando hacia adelante)
(1)
(2)
(3)
(4)
Inicialmente BC tiene solo las implicaciones en forma de
Horn
Estadounidense(x) . Arma(y) . Nacion(z) . Hostil(z) .
Vende(x,z,y) Criminal(x)
Posee(Nono,x) . Proyectil(x) Vende(West, Nono,x)
Proyectil(x) Arma(x)
Enemigo(x, EUA) Hostil(x)
ENCADENAMIENTO-HACIA-ADELANTE(BC, Estadounidense(West)) no
produce ninguna inferencia nueva
(1)
(2)
(3)
(4)
Inicialmente BC tiene solo las implicaciones en forma de
Horn
Estadounidense(x) . Arma(y) . Nacion(z) . Hostil(z) .
Vende(x,z,y) Criminal(x)
Posee(Nono,x) . Proyectil(x) Vende(West, Nono,x)
Proyectil(x) Arma(x)
Enemigo(x, EUA) Hostil(x)
ENCADENAMIENTO-HACIA-ADELANTE(BC, Nacion(Nono)) no produce
ninguna inferencia nueva
(1)
(2)
(3)
(4)
Inicialmente BC tiene solo las implicaciones en forma de
Horn
Estadounidense(x) . Arma(y) . Nacion(z) . Hostil(z) .
Vende(x,z,y) Criminal(x)
Posee(Nono,x) . Proyectil(x) Vende(West, Nono,x)
Proyectil(x) Arma(x)
Enemigo(x, EUA) Hostil(x)
ENCADENAMIENTO-HACIA-ADELANTE(BC, Enemigo(Nono,EUA)) unifica
con (4) y produce Hostil(Nono)
(1)
(2)
(3)
(4)
Inicialmente BC tiene solo las implicaciones en forma de
Horn
Estadounidense(x) . Arma(y) . Nacion(z) . Hostil(z) .
Vende(x,z,y) Criminal(x)
Posee(Nono,x) . Proyectil(x) Vende(West, Nono,x)
Proyectil(x) Arma(x)
Enemigo(x, EUA) Hostil(x)
ENCADENAMIENTO-HACIA-ADELANTE(BC, Enemigo(Nono,EUA)) unifica
con (4) y produce Hostil(Nono)
ENCADENAMIENTO-HACIA-ADELANTE(BC, Hostil(Nono)) no
produce ninguna inferencia nueva
(1)
(2)
(3)
(4)
Inicialmente BC tiene solo las implicaciones en forma de
Horn
Estadounidense(x) . Arma(y) . Nacion(z) . Hostil(z) .
Vende(x,z,y) Criminal(x)
Posee(Nono,x) . Proyectil(x) Vende(West, Nono,x)
Proyectil(x) Arma(x)
Enemigo(x, EUA) Hostil(x)
ENCADENAMIENTO-HACIA-ADELANTE(BC, Posee(Nono,M1)) no produce
ninguna inferencia nueva
(1)
(2)
(3)
(4)
Inicialmente BC tiene solo las implicaciones en forma de
Horn
Estadounidense(x) . Arma(y) . Nacion(z) . Hostil(z) .
Vende(x,z,y) Criminal(x)
Posee(Nono,x) . Proyectil(x) Vende(West, Nono,x)
Proyectil(x) Arma(x)
Enemigo(x, EUA) Hostil(x)
ENCADENAMIENTO-HACIA-ADELANTE(BC, Proyectil(M1)) unifica con (2) y (3)
(1)
(2)
(3)
(4)
Inicialmente BC tiene solo las implicaciones en forma de
Horn
Estadounidense(x) . Arma(y) . Nacion(z) . Hostil(z) .
Vende(x,z,y) Criminal(x)
Posee(Nono,x) . Proyectil(x) Vende(West, Nono,x)
Proyectil(x) Arma(x)
Enemigo(x, EUA) Hostil(x)
ENCADENAMIENTO-HACIA-ADELANTE(BC, Proyectil(M1)) unifica con (2) y (3)
ENCADENAMIENTO-HACIA-ADELANTE(BC, Vende(West,Nono,M1)) no
produce ninguna inferencia nueva
(1)
(2)
(3)
(4)
Inicialmente BC tiene solo las implicaciones en forma de
Horn
Estadounidense(x) . Arma(y) . Nacion(z) . Hostil(z) .
Vende(x,z,y) Criminal(x)
Posee(Nono,x) . Proyectil(x) Vende(West, Nono,x)
Proyectil(x) Arma(x)
Enemigo(x, EUA) Hostil(x)
ENCADENAMIENTO-HACIA-ADELANTE(BC, Proyectil(M1)) unifica con (2) y (3)
ENCADENAMIENTO-HACIA-ADELANTE(BC, Vende(West,Nono,M1)) no
produce ninguna inferencia nueva
ENCADENAMIENTO-HACIA-ADELANTE(BC, Arma(M1)) unifica con (1).
(1)
(2)
(3)
(4)
Inicialmente BC tiene solo las implicaciones en forma de
Horn
Estadounidense(x) . Arma(y) . Nacion(z) . Hostil(z) .
Vende(x,z,y) Criminal(x)
Posee(Nono,x) . Proyectil(x) Vende(West, Nono,x)
Proyectil(x) Arma(x)
Enemigo(x, EUA) Hostil(x)
ENCADENAMIENTO-HACIA-ADELANTE(BC, Proyectil(M1)) unifica con (2) y (3)
ENCADENAMIENTO-HACIA-ADELANTE(BC, Vende(West,Nono,M1)) no
produce ninguna inferencia nueva
ENCADENAMIENTO-HACIA-ADELANTE(BC, Arma(M1)) unifica con (1).
ENCADENAMIENTO-HACIA-ADELANTE(BC, Criminal(West))
(1)
(2)
(3)
(4)
Inferencia en lgica de predicados
Encadenamiento hacia adelante
No se busca necesariamente una meta especfica
Inferencia en lgica de predicados
Programas de razonamiento
Enfoque 2: encadenamiento hacia atrs
Empezar por la sentencia que se quiere demostrar
Buscar en BC las sentencias que permitan llegar a tal
conclusin
Tratar de establecer las premisas correspondientes
Inferencia en lgica de predicados
Encadenamiento hacia atrs
Parte de una sentencia que se quiere demostrar
Primero verifica si la sentencia se puede demostrar a
partir de sentencias atmicas
Luego busca todas las implicaciones cuyas conclusiones
respectivas unifiquen con la consulta y trata de establecer
cules son las premisas, tambin mediante encadenamiento
hacia atrs
Estadounidense(x).Arma(y).Nacion(z).Hostil(z).Vende(x,z,y) Criminal(x)
Posee(Nono,x) . Proyectil(x) Vende(West, Nono,x)
Proyectil(x) Arma(x)
Enemigo(x, EUA) Hostil(x)
- EstadoUnidense(West)
- Nacion(Nono)
- Enemigo(Nono,EUA)
- Posee(Nono,M1)
- Proyectil(M1)
- Nacion(EUA)
Criminal(x)
Criminal(x)
Estadounidense(x)
Criminal(x)
Estadounidense(x)
{x/West}
Criminal(x)
Estadounidense(x) Arma(y)
{x/West}
Criminal(x)
Estadounidense(x) Arma(y)
Proyectil(y)
{x/West}
Criminal(x)
Estadounidense(x) Arma(y)
Proyectil(y)
{x/West}
{y/M1}
Criminal(x)
Estadounidense(x) Arma(y)
Proyectil(y)
{x/West}
{y/M1}
Nacin(z)
Estadounidense(x).Arma(y).Nacion(z).Hostil(z).Vende(x,z,y) Criminal(x)
Posee(Nono,x) . Proyectil(x) Vende(West, Nono,x)
Proyectil(x) Arma(x)
Enemigo(x, EUA) Hostil(x)
- EstadoUnidense(West)
- Nacion(Nono)
- Enemigo(Nono,EUA)
- Posee(Nono,M1)
- Proyectil(M1)
- Nacion(EUA)
Criminal(x)
Estadounidense(x) Arma(y)
Proyectil(y)
{x/West}
{y/M1}
Nacin(z)
{z/Nono}
Criminal(x)
Estadounidense(x) Arma(y)
Proyectil(y)
{x/West}
{y/M1}
Nacin(z)
{z/Nono}
Hostil(z)
Criminal(x)
Estadounidense(x) Arma(y)
Proyectil(y)
{x/West}
{y/M1}
Nacin(z)
{z/Nono}
Hostil(z)
Se debe utilizar la
sustitucin conocida
para z. {z/Nono}
Criminal(x)
Estadounidense(x) Arma(y)
Proyectil(y)
{x/West}
{y/M1}
Nacin(z)
{z/Nono}
Hostil(Nono)
Se debe utilizar la
sustitucin conocida
para z. {z/Nono}
Criminal(x)
Estadounidense(x) Arma(y)
Proyectil(y)
{x/West}
{y/M1}
Nacin(z)
{z/Nono}
Hostil(Nono)
Enemigo(Nono,EUA)
Criminal(x)
Estadounidense(x) Arma(y)
Proyectil(y)
{x/West}
{y/M1}
Nacin(z)
{z/Nono}
Hostil(Nono) Vende(x,z,y)
Enemigo(Nono,EUA)
Criminal(x)
Estadounidense(x) Arma(y)
Proyectil(y)
{x/West}
{y/M1}
Nacin(z)
{z/Nono}
Hostil(Nono) Vende(x,z,y)
Enemigo(Nono,EUA)
Se deben utilizar las
sustituciones conocidas.
{x/West, y/M1, z/Nono}
Criminal(x)
Estadounidense(x) Arma(y) Nacin(z) Hostil(Nono) Vende(West,Nono,M1)
Proyectil(y)
Enemigo(Nono,EUA)
{x/West}
{y/M1}
{z/Nono}
Estadounidense(x).Arma(y).Nacion(z).Hostil(z).Vende(x,z,y) Criminal(x)
Posee(Nono,x) . Proyectil(x) Vende(West, Nono,x)
Proyectil(x) Arma(x)
Enemigo(x, EUA) Hostil(x)
- EstadoUnidense(West)
- Nacion(Nono)
- Enemigo(Nono,EUA)
- Posee(Nono,M1)
- Proyectil(M1)
- Nacion(EUA)
Criminal(x)
Estadounidense(x) Arma(y) Nacin(z) Hostil(Nono) Vende(West,Nono,M1)
Proyectil(y)
Enemigo(Nono,EUA)
{x/West}
{y/M1}
{z/Nono}
Criminal(x)
Estadounidense(x) Arma(y) Nacin(z) Hostil(Nono) Vende(West,Nono,M1)
Proyectil(y)
Enemigo(Nono,EUA)
Posee(Nono,M1)
Proyectil(M1)
{x/West}
{y/M1}
{z/Nono}
Inferencia en lgica de predicados
Encadenamiento hacia atrs
Es posible que fracase una demostracin
Criminal(x)
Estadounidense(x) Arma(y) Nacin(z) Hostil(EUA)
Proyectil(y)
{x/West}
{y/M1}
{z/EUA}
Falla
No hay forma de probar
que EUA es hostil
o| o
________
|
Modus Ponens
o
1
.o
2
. . . . .o
n
________
o
i
Y-Eliminacin
o
1
o
2
. . . o
n
________
o
1
.o
2
. . . . .o
n
Y-Introduccin
o
1
________
o
1
v|
O-Introduccin
Eliminacin universal
x o
________
SUST({x/g},o)
Eliminacin existencial
-x o
________
SUST({x/k},o)
Introduccin existencial
o
________
-x SUST({g/x},o)
{o,|} {|,}
___________
{o,}
Resolucin
Inferencia en lgica de predicados
Modus ponens generalizado
p
1
p
2
. . . p
n
(p
1
.p
2
.. . . .p
n
q)
____________________________
SUST(u,q)
donde p
i
son trminos base y p
i
son sentencias
cuantificadas en las que existe una sustitucin u tal que
p
i
=SUST(u,p
i
) para toda i
Inferencia en lgica de predicados
Resolucin generalizada
p
1
v. . . v p
j
v. . .vp
m
q
1
v. . . v q
j
v. . .vq
n
__________________________________
SUST(u, p
1
v. . . p
j-1
vp
j+1
. . .vp
m
vq
1
v. . . q
j-1
vq
j+1
. . .vq
n
)
donde p
i
son trminos base, q
i
son predicados
cuantificados universalmente y existe una sustitucin
tal que unifiquen p
j
y q
j
Inferencia en lgica de predicados
p
1
v. . . v p
j
v. . .vp
m
q
1
v. . . v q
j
v. . .vq
n
__________________________________
SUST(u, p
1
v. . . p
j-1
vp
j+1
. . .vp
m
vq
1
v. . . q
j-1
vq
j+1
. . .vq
n
)
Resolucin generalizada
1. P(A)vR(A)
2. x P(x)vQ(x)
Inferencia en lgica de predicados
p
1
v. . . v p
j
v. . .vp
m
q
1
v. . . v q
j
v. . .vq
n
__________________________________
SUST(u, p
1
v. . . p
j-1
vp
j+1
. . .vp
m
vq
1
v. . . q
j-1
vq
j+1
. . .vq
n
)
Resolucin generalizada
1. P(A)vR(A)
2. x P(x)vQ(x)
3. Q(A)vR(A), RG(1,2) u={x/A}
Inferencia en lgica de predicados
Formas cannicas de resolucin
Si cada una de las sentencias es una disyuncin de
literales, se dice que estn en forma normal conjuntiva
Inferencia en lgica de predicados
Conversin a forma normal conjuntiva
Procedimiento para convertir una sentencia cualquiera a
forma normal conjuntiva
1. Eliminar implicaciones. Utilice la equivalencia
pqpvq
2. Empujar las negaciones.
(pvq) p.q
(p.q) pvq
x P(x) -x P(x)
-x P(x) x P(x)
(p) p
Inferencia en lgica de predicados
3. Normalizar variables. Estandarizar variables de tal
forma que cada cuantificador tenga una sola variable
x P(x) v -x Q(x) quedara como x P(x) v -y Q(y)
4. Desplace los cuantificadores a la izquierda. Debe
conservar el orden
x P(x) v -y Q(y) quedara como x-y P(x)vQ(y)
5. Skolem. Eliminar los cuantificadores existenciales
Caso 1: un cuantificador existencial no est dentro del
alcance de uno universal
-x P(x) quedara como P(A) donde A es una constante
que no est en BC
Inferencia en lgica de predicados
Caso 2: un cuantificador existencial est dentro del
alcance de uno universal
Todos tenemos un corazn
x-y Persona(X) Corazon(y).Tiene(x,y)
Si se reemplaza y por una constante se tendra:
x Persona(X) Corazon(H).Tiene(x,H)
Inferencia en lgica de predicados
Caso 2: un cuantificador existencial est dentro del
alcance de uno universal
Todos tenemos un corazn
x-y Persona(X) Corazon(y).Tiene(x,y)
Si se reemplaza y por una constante se tendra:
x Persona(X) Corazon(H).Tiene(x,H)
Lo que indica que todas las personas comparten el
mismo corazn. Para indicar que cada persona tiene su
propio corazn se incorpora una funcin de skolem
x Persona(X) Corazon(f(x)).Tiene(x,f(x))
Inferencia en lgica de predicados
5. Skolem. Cuando se tenga un cuantificador existencial a
la derecha de uno universal (en su alcance) se reemplaza
la variable cuantificada existencialmente por una
funcin que dependa de la variable cuantificada
universalmente
6. Distribuir . en v.
(a.b)vc (avc).(bvc)
7. Simplifique conjunciones y disyunciones anidadas.
(avb)vc (avbvc)
(a.b).c (a.b.c)
La sentencia debe estar ahora en forma normal conjuntiva
Inferencia en lgica de predicados
Prueba
Considere el siguiente enunciado:
Juan tiene un perro
Todos los que tienen algn perro aman a los animales
Nadie que ame a los animales los mata
Juan, o Curiosidad, mat al gato, que se llama Tuna
y deduzca si Mat Curiosidad al gato?
Exprese las sentencias en lgica de predicados:
Exprese las sentencias en lgica de predicados:
Juan tiene un perro
Exprese las sentencias en lgica de predicados:
Juan tiene un perro
-x Perro(x).Propietario(Juan,x)
Exprese las sentencias en lgica de predicados:
Juan tiene un perro
-x Perro(x).Propietario(Juan,x)
Todos los que tienen algn perro aman a los animales
x-y (Perro(y) . Propietario(x,y)) AmaAnimales(x)
Nadie que ame a los animales los mata
xy AmaAnimales(x) (Animal(y) Mata(x,y))
Juan, o Curiosidad, mat al gato, que se llama Tuna
Mata(Juan,Tuna) v Mata(Curiosidad,Tuna)
Tuna es un gato
Gato(Tuna)
Los gatos son animales
x Gato(x) Animal(x)
x-y (Perro(y) . Propietario(x,y)) AmaAnimales(x)
xy AmaAnimales(x) (Animal(y) Mata(x,y))
-x Perro(x).Propietario(Juan,x)
Mata(Juan,Tuna) v Mata(Curiosidad,Tuna)
Gato(Tuna)
x Gato(x) Animal(x)
x-y (Perro(y) . Propietario(x,y)) AmaAnimales(x)
xy AmaAnimales(x) (Animal(y) Mata(x,y))
-x Perro(x).Propietario(Juan,x)
Mata(Juan,Tuna) v Mata(Curiosidad,Tuna)
Gato(Tuna)
x Gato(x) Animal(x)
1. Eliminar implicaciones
x-y (Perro(y) . Propietario(x,y)) AmaAnimales(x)
xy AmaAnimales(x) (Animal(y) Mata(x,y))
-x Perro(x).Propietario(Juan,x)
Mata(Juan,Tuna) v Mata(Curiosidad,Tuna)
Gato(Tuna)
x Gato(x) Animal(x)
1. Eliminar implicaciones
x-y (Perro(y) . Propietario(x,y)) v AmaAnimales(x)
xy AmaAnimales(x) v (Animal(y) v Mata(x,y))
-x Perro(x).Propietario(Juan,x)
Mata(Juan,Tuna) v Mata(Curiosidad,Tuna)
Gato(Tuna)
x Gato(x) v Animal(x)
2. Empujar negaciones
x-y (Perro(y) . Propietario(x,y)) v AmaAnimales(x)
xy AmaAnimales(x) v (Animal(y) v Mata(x,y))
-x Perro(x).Propietario(Juan,x)
Mata(Juan,Tuna) v Mata(Curiosidad,Tuna)
Gato(Tuna)
x Gato(x) v Animal(x)
2. Empujar negaciones
x-y (Perro(y) . Propietario(x,y)) v AmaAnimales(x)
xy AmaAnimales(x) v (Animal(y) v Mata(x,y))
-x Perro(x).Propietario(Juan,x)
Mata(Juan,Tuna) v Mata(Curiosidad,Tuna)
Gato(Tuna)
x Gato(x) v Animal(x)
x-y Perro(y) v Propietario(x,y) v AmaAnimales(x)
xy AmaAnimales(x) v Animal(y) v Mata(x,y)
-x Perro(x) . Propietario(Juan,x)
Mata(Juan,Tuna) v Mata(Curiosidad,Tuna)
Gato(Tuna)
x Gato(x) v Animal(x)
3. Normalizar variables
4. Desplazar cuantificadores
x-y Perro(y) v Propietario(x,y) v AmaAnimales(x)
xy AmaAnimales(x) v Animal(y) v Mata(x,y)
-x Perro(x) . Propietario(Juan,x)
Mata(Juan,Tuna) v Mata(Curiosidad,Tuna)
Gato(Tuna)
x Gato(x) v Animal(x)
5. Skolem
x-y Perro(y) v Propietario(x,y) v AmaAnimales(x)
xy AmaAnimales(x) v Animal(y) v Mata(x,y)
-x Perro(x) . Propietario(Juan,x)
Mata(Juan,Tuna) v Mata(Curiosidad,Tuna)
Gato(Tuna)
x Gato(x) v Animal(x)
5. Skolem
x-y Perro(y) v Propietario(x,y) v AmaAnimales(x)
xy AmaAnimales(x) v Animal(y) v Mata(x,y)
-x Perro(x) . Propietario(Juan,x)
Mata(Juan,Tuna) v Mata(Curiosidad,Tuna)
Gato(Tuna)
x Gato(x) v Animal(x)
Perro(f(x)) v Propietario(x,f(x)) v AmaAnimales(x)
5. Skolem
x-y Perro(y) v Propietario(x,y) v AmaAnimales(x)
xy AmaAnimales(x) v Animal(y) v Mata(x,y)
-x Perro(x) . Propietario(Juan,x)
Mata(Juan,Tuna) v Mata(Curiosidad,Tuna)
Gato(Tuna)
x Gato(x) v Animal(x)
Perro(f(x)) v Propietario(x,f(x)) v AmaAnimales(x)
AmaAnimales(x) v Animal(y) v Mata(x,y)
5. Skolem
x-y Perro(y) v Propietario(x,y) v AmaAnimales(x)
xy AmaAnimales(x) v Animal(y) v Mata(x,y)
-x Perro(x) . Propietario(Juan,x)
Mata(Juan,Tuna) v Mata(Curiosidad,Tuna)
Gato(Tuna)
x Gato(x) v Animal(x)
Perro(f(x)) v Propietario(x,f(x)) v AmaAnimales(x)
AmaAnimales(x) v Animal(y) v Mata(x,y)
Perro(Trosky) . Propietario(Juan,Trosky)
5. Skolem
x-y Perro(y) v Propietario(x,y) v AmaAnimales(x)
xy AmaAnimales(x) v Animal(y) v Mata(x,y)
-x Perro(x) . Propietario(Juan,x)
Mata(Juan,Tuna) v Mata(Curiosidad,Tuna)
Gato(Tuna)
x Gato(x) v Animal(x)
Perro(f(x)) v Propietario(x,f(x)) v AmaAnimales(x)
AmaAnimales(x) v Animal(y) v Mata(x,y)
Perro(Trosky) . Propietario(Juan,Trosky)
Mata(Juan,Tuna) v Mata(Curiosidad,Tuna)
Gato(Tuna)
Gato(x) v Animal(x)
Perro(f(x)) v Propietario(x,f(x)) v AmaAnimales(x)
AmaAnimales(x) v Animal(y) v Mata(x,y)
Gato(x) v Animal(x)
Perro(Trosky) . Propietario(Juan,Trosky)
Mata(Juan,Tuna) v Mata(Curiosidad,Tuna)
Gato(Tuna)
Representar en forma de conjuntos
Perro(f(x)) v Propietario(x,f(x)) v AmaAnimales(x)
AmaAnimales(x) v Animal(y) v Mata(x,y)
Gato(x) v Animal(x)
Perro(Trosky) . Propietario(Juan,Trosky)
Mata(Juan,Tuna) v Mata(Curiosidad,Tuna)
Gato(Tuna)
1. {Perro(f(x)), Propietario(x,f(x)), AmaAnimales(x)}
2. {AmaAnimales(x), Animal(y), Mata(x,y)}
3. {Gato(x), Animal(x)}
4. {Perro(Trosky)}
5. {Propietario(Juan,Trosky)}
6. {Mata(Juan,Tuna), Mata(Curiosidad,Tuna)}
7. {Gato(Tuna)}
Representar en forma de conjuntos
Demostrar por contradiccin
Mata(Curiosidad,Tuna)
1. {Perro(f(x)), Propietario(x,f(x)), AmaAnimales(x)}
2. {AmaAnimales(x), Animal(y), Mata(x,y)}
3. {Gato(x), Animal(x)}
4. {Perro(Trosky)}
5. {Propietario(Juan,Trosky)}
6. {Mata(Juan,Tuna), Mata(Curiosidad,Tuna)}
7. {Gato(Tuna)}
Demostrar por contradiccin
Mata(Curiosidad,Tuna)
1. {Perro(f(x)), Propietario(x,f(x)), AmaAnimales(x)}
2. {AmaAnimales(x), Animal(y), Mata(x,y)}
3. {Gato(x), Animal(x)}
4. {Perro(Trosky)}
5. {Propietario(Juan,Trosky)}
6. {Mata(Juan,Tuna), Mata(Curiosidad,Tuna)}
7. {Gato(Tuna)}
8. {Mata(Curiosidad,Tuna)}
1. {Perro(f(x)), Propietario(x,f(x)), AmaAnimales(x)}
2. {AmaAnimales(x), Animal(y), Mata(x,y)}
3. {Gato(x), Animal(x)}
4. {Perro(Trosky)}
5. {Propietario(Juan,Trosky)}
6. {Mata(Juan,Tuna), Mata(Curiosidad,Tuna)}
7. {Gato(Tuna)}
8. {Mata(Curiosidad,Tuna)}
9. {Propietario(x,Trosky), AmaAnimales(x)} RG(1,4) u={f(x)/Trosky}
1. {Perro(f(x)), Propietario(x,f(x)), AmaAnimales(x)}
2. {AmaAnimales(x), Animal(y), Mata(x,y)}
3. {Gato(x), Animal(x)}
4. {Perro(Trosky)}
5. {Propietario(Juan,Trosky)}
6. {Mata(Juan,Tuna), Mata(Curiosidad,Tuna)}
7. {Gato(Tuna)}
8. {Mata(Curiosidad,Tuna)}
9. {Propietario(x,Trosky), AmaAnimales(x)}
10. {AmaAnimales(Juan)}
11. {Animal(Tuna)}
12. {AmaAnimales(x), Mata(x,Tuna)}
13. {Mata(Juan,Tuna)}
14. {Mata(Juan,Tuna)}
15.
RG(1,4) u={f(x)/Trosky}
RG(5,9), u={x/Juan}
RG(3,7), u={x/Tuna}
RG(2,11), u={y/Tuna}
RG(10,12), u={x/Juan}
res(6,8)
Y-Intro(13,14)
Represente en lgica de predicados
Todo lo que sea comida le gusta a Juan. Las manzanas son comida. El
pollo es comida. Cualquier cosa que uno coma y no lo mate es comida.
Pedro come man y an est vivo. Antonio come todo lo que come
Pedro
- Convertir a forma normal conjuntiva
- Expresar en notacin de conjuntos
- Demostrar por contradiccin que a Juan le gusta el man
Comida(x): x es comida
LeGusta(x,y): a x le gusta y
Come(x,y): x come y
Mata(x,y): x mata a y
1. x Comida(x)LeGusta(juan,x)
2. Comida(manzana)
3. Comida(pollo)
4. xy (Come(x,y).Mata(y,x))Comida(y)
5. Come(pedro,man).Mata(man,pedro)
6. x Come(pedro,x)Come(antonio,x)
- Convertir a forma normal conjuntiva
- Expresar en notacin de conjuntos
- Demostrar por contradiccin LeGusta(juan,man)
1. {Comida(x),LeGusta(juan,x)}
2. {Comida(manzana)}
3. {Comida(pollo)}
4. {Come(x,y),Mata(y,x),Comida(y)}
5. {Come(pedro,man).Mata(man,pedro)}
6. {Come(pedro,x),Come(antonio,x)}
7. {LeGusta(juan,man)}
1. {Comida(x),LeGusta(juan,x)}
2. {Comida(manzana)}
3. {Comida(pollo)}
4. {Come(x,y),Mata(y,x),Comida(y)}
5. {Come(pedro,man).Mata(man,pedro)}
6. {Come(pedro,x),Come(antonio,x)}
7. {LeGusta(juan,man)}
8. {Come(pedro,man)}, Y-Elim(5)
9. {Mata(man,pedro)}, Y-Elim(5)
10. {Mata(man,pedro),Comida(mani)}, RG(4,8) u={x/pedro, y/man}
11. {Comida(mani)}, res(9,10)
12. {LeGusta(juan,man)}, RG(1,11) u={x/man}
13. , Y-Intro(7,12)
Inferencia en lgica de predicados
Convierta a forma normal conjuntiva y demuestre por
contradiccin R(a,b).T(a,b)
1. -xy Q(x).R(y,x)
2. x-y P(x)vT(x,y)vS(x)
3. P(a)
4. S(a)
Inferencia en lgica de predicados
Convierta a forma normal conjuntiva y demuestre por
contradiccin R(a,b).T(a,b)
1. Q(b).R(y,b)
2. P(x)vT(x,f(x))vS(x)
3. P(a)
4. S(a)
Inferencia en lgica de predicados
Convierta a forma normal conjuntiva y demuestre por
contradiccin R(a,b).T(a,b)
1. {Q(b).R(y,b)}
2. {P(x),T(x,f(x)),S(x)}
3. {P(a)}
4. {S(a)}
Inferencia en lgica de predicados
Convierta a forma normal conjuntiva y demuestre por
contradiccin R(a,b).T(a,b)
1. {Q(b).R(y,b)}
2. {P(x),T(x,f(x)),S(x)}
3. {P(a)}
4. {S(a)}
5. {R(a,b),T(a,b)}
Inferencia en lgica de predicados
1. {Q(b).R(y,b)}
2. {P(x),T(x,f(x)),S(x)}
3. {P(a)}
4. {S(a)}
5. {R(a,b),T(a,b)}
6. {Q(b)}, Y-Elim(1)
7. {R(y,b)}, Y-Elim(1)
8. {T(a,b)}, RG(5,7) u={y/a}
9. {P(a),S(a)}, RG(2,8) u={x/a, f(x)/b}
10. {S(a)}, res(3,9)
11. , Y-Intro(4,10)
Inferencia en lgica de predicados
Convierta a forma normal conjuntiva y demuestre por
contradiccin R(b)
1. x-y (P(x).Q(y)) R(x)
2. -xy Q(x)vS(y)
3. -x P(x)
4. S(a)
Inferencia en lgica de predicados
Convierta a forma normal conjuntiva y demuestre por
contradiccin R(b)
1. {P(x),Q(f(x)),R(x)}
2. {Q(b),S(y)}
3. {P(b)}
4. {S(a)}
Inferencia en lgica de predicados
Convierta a forma normal conjuntiva y demuestre por
contradiccin R(b)
1. {P(x),Q(f(x)),R(x)}
2. {Q(b),S(y)}
3. {P(b)}
4. {S(a)}
5. {R(b)}
6. {Q(b)}, RG(2,4) u={y/a}
7. {P(x),R(x)}, RG(1,6) u={f(x)/b}
8. {R(b)}, RG(3,7) u={x/b}
9. , Y-Intro(5,8)
Inferencia en lgica de predicados
Represente en lgica de predicados:
El hijo mayor de un rey es rey. Quien derrota a un rey se
convierte en rey. Ricardo III es rey. Enrique VII derrot
a Ricardo III. El hijo mayor de Enrique VII es Enrique
VIII
Demuestre que Enrique VIII es rey
HijoMayor(x,y): el hijo mayor de x es y
Derrota(y,x): y derrota a x
Rey(x): x es rey
1. xy Rey(x).HijoMayor(x,y)Rey(y)
2. xy Rey(x).Derrota(y,x)Rey(y)
3. Rey(ricardoIII)
4. Derrota(enriqueVII,ricardoIII)
5. HijoMayor(enriqueVII, enriqueVIII)
Demostrar por contradiccin Rey(enriqueVIII)
1. {Rey(x),HijoMayor(x,y),Rey(y)}
2. {Rey(x),Derrota(y,x),Rey(y)}
3. {Rey(ricardoIII)}
4. {Derrota(enriqueVII,ricardoIII)}
5. {HijoMayor(enriqueVII, enriqueVIII)}
6. {Rey(enriqueVIII)}
1. {Rey(x),HijoMayor(x,y),Rey(y)}
2. {Rey(x),Derrota(y,x),Rey(y)}
3. {Rey(ricardoIII)}
4. {Derrota(enriqueVII,ricardoIII)}
5. {HijoMayor(enriqueVII, enriqueVIII)}
6. {Rey(enriqueVIII)}
7. {Derrota(y,ricardoIII),Rey(y)}, RG(2,3) u={x/ricardoIII}
8. {Rey(enriqueVII)}, RG(4,7) u={y/enriqueVII}
9. {HijoMayor(enriqueVII,y),Rey(y)}, RG(1,8) u={x/enriqueVII}
10. {Rey(enriqueVIII)}, RG(5,9) u={y/enriqueVIII}
11. , Y-Intro(6,10)
Inferencia en lgica de predicados
Represente en lgica de predicados:
Una asignatura es aconsejable si es interesante y adems es posible
asistir a clase. Una materia es interesante si al estudiante le gusta
alguno de los temas de las que trata. Es posible asistir a clase de una
materia si se tiene libre el horario en que se imparte. Todas las
materias de sptimo semestre tienen tanto horario de maana como de
tarde. Juegos es un tema de IA. Juan tiene libre en la tarde. IA es
una materia de sptimo semestre. A Juan le gusta el tema de Juegos
Demuestre que para Juan, IA es una materia aconsejable
Inferencia en lgica de predicados
aconsejable(x): es aconsejable matricularse de la asignatura x
interesante(x): la materia x es interesante
sePuedeAsistir(x): se puede asistir a la materia x
horario(x, y): la materia x se imparte en el horario y
libre(w,y): el estudiante w tiene libre el horario y
materia(x,z): la materia x trata el tema z
gusta(w,z): al estudiante w le interesa el tema z
semestre(x, w): la materia x se imparte en el semestre w de la carrera