Professional Documents
Culture Documents
INTELIGENTES
LOGICA DE PRIMER
ORDEN O LOGICA
DE PREDICADOS
Ing. Mg. BRUNO ELIO VARGAS TAMANI
PROBLEMAS DE REPRESENTACION
EN LOGICA PROPOSICIONAL
Regla general :
Sabemos que las
personas o son hombres
o son mujeres
13/09/2014
PROBLEMAS DE REPRESENTACION
EN LOGICA PROPOSICIONAL
Como representamos
esa Regla general
en lgica
proposicional ?
13/09/2014
PROBLEMAS DE REPRESENTACION
EN LOGICA PROPOSICIONAL
Definimos la proposicin :
p=las personas o son
hombres o son mujeres
13/09/2014
PROBLEMAS DE REPRESENTACION
EN LOGICA PROPOSICIONAL
PROBLEMAS DE REPRESENTACION
EN LOGICA PROPOSICIONAL
PROBLEMAS DE REPRESENTACION
EN LOGICA PROPOSICIONAL
Definimos la proposicines :
q = Denis es hombre
r = Denis es mujer
s = Jess es hombre
t = Jess es mujer
13/09/2014
PROBLEMAS DE REPRESENTACION
EN LOGICA PROPOSICIONAL
Definimos la proposicines :
u = Mercedes es hombre
v = Mercedes es mujer
w = Gabriel es hombre
z = Gabriel es mujer
13/09/2014
PROBLEMAS DE REPRESENTACION
EN LOGICA PROPOSICIONAL
PROBLEMAS DE REPRESENTACION EN
LOGICA PROPOSICIONAL
1) q v r
2) s v t
3) u v v
4) w v z
5)
n) v
13/09/2014
10
INFERENCIA EN LOGICA
PROPOSICIONAL
11
Representamos hechos.
Ejemplo :
p=Juan es estudiante
q=Rosa es artista
13/09/2014
12
13
LA BASE DE CONOCIMIENTOS
(Los hechos que se cumplen)
1) p
2) q
13/09/2014
14
( p q) r
13/09/2014
15
( p q) r
Si se cumple p y q
(simultneamente) entonces
se cumple r
13/09/2014
16
LA BASE DE CONOCIMIENTOS
(Los hechos que se cumplen)
1) p
2) q
3) ( p q) r
13/09/2014
17
UTILIZAMOS LA REGLA DE
INFERENCIA MODUS PONENS
a b , a
b
Si se cumple la regla a implica
b y es cierto a entonces es
cierto b
13/09/2014
18
2) q
pq
3) ( p q ) r
r
13/09/2014
19
( p q) r , ( p q)
r
Conclumos que r es cierto.
Es decir, Scrates es mortal.
13/09/2014
20
13/09/2014
- Juan es hombre
- Luis es hombre
- Pedro es hombre
- Jos es hombre
- etc. es hombre
- etc. es hombre
- etc. es hombre
Ing. M.Sc. BRUNO VARGAS T.
21
SI TENEMOS LA REGLA
GENERAL :
13/09/2014
22
13/09/2014
- Juan es mortal
- Luis es mortal
- Pedro es mortal
- Jos es mortal
- etc. es mortal
- etc. es mortal
- etc. es mortal
Ing. M.Sc. BRUNO VARGAS T.
23
13/09/2014
q=Juan es hombre
s= Luis es hombre
u= Pedro es hombre
w= Jos es hombre
y= etc. es hombre
etc. = etc. es hombre
etc. = etc. es hombre
Ing. M.Sc. BRUNO VARGAS T.
24
NUEVAS CONCLUSIONES
13/09/2014
r=Juan es mortal
t= Luis es mortal
v= Pedro es mortal
x= Jos es mortal
z= etc. es mortal
etc.= etc. es mortal
etc.= etc. es mortal
Ing. M.Sc. BRUNO VARGAS T.
25
LA BASE DE CONOCIMIENTOS
(Los hechos que se cumplen)
p
q
13/09/2014
y
u
w
etc.
etc.
26
( p q) r
13/09/2014
( p s) t
( p u) v
( p w) x
( p y) z
( p etc.) etc.
( p etc.) etc.
Ing. M.Sc. BRUNO VARGAS T.
27
BASE DE CONOCIMIENTOS
p
q
y
u
w
etc.
etc.
13/09/2014
( p q) r
( p s) t
( p u) v
( p w) x
( p y) z
( p etc.) etc.
( p etc.) etc.
Ing. M.Sc. BRUNO VARGAS T.
28
BASE DE CONOCIMIENTOS
Crece
p
(
p
q
)
r
indefinidamente q
( p s) t
al crear una
s ( p u) v
y
regla para cada u ( p w) x
(
p
y
)
z
w
individuo, que
etc. ( p etc.) etc.
aumenta nuestra etc. ( p etc.) etc.
base de datos.
13/09/2014
29
La LOGICA DE PRIMER
ORDEN permite agregar
hechos a nuestra base de
conocimientos y expresar
reglas en forma general.
13/09/2014
30
LOGICA DE PRIMER
31
LOGICA DE PRIMER
32
33
Quin es el objeto ?
Cules son las
propiedades de ese
objeto?
13/09/2014
34
Definicin de Predicados :
deben utilizar variables :
x : es un animal
plumas(x) : x tiene plumas
13/09/2014
35
plumas(gaviota)
predicado
13/09/2014
objeto
36
La gaviota es un ave :
Quin es el objeto ?
Cules son las
propiedades de ese
objeto?
13/09/2014
37
Definicin de Predicados :
deben utilizar variables :
x : es un animal
ave(x) : x es un ave
13/09/2014
38
La gaviota es un ave :
ave(gaviota)
predicado
13/09/2014
objeto
39
40
Definicin de Predicados :
deben utilizar variables :
x : es un animal
vuela(x) : x vuela
ponehuevos(x): x ponehuevos
13/09/2014
41
vuela(gaviota)
ponehuevos(gaviota)
13/09/2014
42
43
Quin es el objeto ?
Cules son las
propiedades de ese objeto?
13/09/2014
44
El objeto es un animal.
Sus propiedades son tener
plumas y ser ave.
13/09/2014
45
46
x es un animal
plumas(x) : x tiene plumas
ave(x) : x es un ave
13/09/2014
47
48
x plumas(x) ave(x)
Todo objeto x que tiene plumas
implica que es un ave.
13/09/2014
49
x ave(x)
:cuantificador existencial
13/09/2014
50
LOGICA DE PRIMER
51
LOGICA DE PRIMER
52
Definicin de Predicados :
deben utilizar variables :
x,y : son ciudades
cerca(x,y) : x cerca de y
pequea(x) : x es pequea
13/09/2014
53
54
objetos
propiedad
relacin
13/09/2014
55
Predicado(argumento)
13/09/2014
56
57
58
LOGICA PROPOSICIONAL
Lgica proposicional :
no permite variables de
ningn tipo.
13/09/2014
59
60
LOGICA DE SEGUNDO
ORDEN
Lgica de segundo
orden :
variables representan
objetos y predicados.
13/09/2014
61