Logica Primer Orden Parte 01

INTELIGENCIA
ARTIFICIAL
LOGICA DE PRIMER
ORDEN O LOGICA
DE PREDICADOS
Ing Mg
Ing.
Mg. BRUNO ELIO VARGAS TAMANI
PROBLEMAS DE REPRESENTACION
EN LOGICA PROPOSICIONAL
Regla general :
Sabemos que las
personas o son hombres
o son mujeres
j
14/11/2011
Ing. M.Sc. BRUNO VARGAS T.
Como representamos
p
esa Regla
g g
general
en lgica
proposicional ?
14/11/2011
Definimos la p
proposicin
p
:
p=las p
p
personas o son
hombres o son mujeres
14/11/2011
Tenemos una base de

datos de personas:
p
Denis, Jess, Mercedes,
Gabriel, ., etc.
14/11/2011
Como aplicamos
p
la esa
Regla
g g
general
para todas las personas
de la base de datos ?
14/11/2011
Definimos la proposicines :
q = Denis
D i es h
hombre
b
r = Denis es mujer
s = Jess es hombre
t = Jess es mujer
j
14/11/2011
Definimos la proposicines :
u = Mercedes
M
d es h
hombre
b
v = Mercedes es mujer
w = Gabriel es hombre
z = Gabriel es mujer
j
14/11/2011
Debemos crear una

proposicin
i i que d
defina
fi lla
regla para cada una de las
personas de la base de
datos
14/11/2011
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
14/11/2011
10
INFERENCIA EN LOGICA
PROPOSICIONAL
Ejemplo
j p : Dadas las p
premisas :
todos los hombres son mortales,
Scrates es un hombre
y la conclusin :
Scrates es mortal.
Deseamos justificar que la
conclusin es cierta.
14/11/2011
11
QUE EXPRESAMOS EN LOGICA

PROPOSICIONAL ?
Representamos
R
t
h h
hechos.
Ejemplo :
p=Juan es estudiante
q=Rosa es artista
q
14/11/2011
12
REPRESENTAMOS LOS HECHOS

POR PROPOSICIONES
p=todos los hombres

son mortales
t l
q= Scrates es hombre
r= Scrates es mortal
14/11/2011
13
LA BASE DE CONOCIMIENTOS
(Los hechos que se cumplen)
p
q
14/11/2011
14
DE LA REGLA GENERAL DEBE

OBTENERSE UNA REGLA EN
PARTICULAR
p=todos los hombres son

mortales
q= Scrates
S
es h
hombre
b
r= Scrates
S t es mortal
t l
( p q) r
14/11/2011
15
QUE SIGNIFICA LA FORMULA DE

CONCLUSION ?
( p q) r
Si se cumple p y q
((simultneamente)) entonces
se cumple r
14/11/2011
16
1) p
2) q
3) (pq) r
14/11/2011
17
UTILIZAMOS LA REGLA DE
INFERENCIA MODUS PONENS
a b , a
b
Si se cumple
p la regla
g a implica
p
b y es cierto a entonces es
cierto
i t b
14/11/2011
18
EN NUESTRO CASO SE APLICA

DIRECTAMENTE MODUS PONENS
1) p
2) q
pq
3) ( p q ) r
r
14/11/2011
19
EN NUESTRO CASO SE APLICA

DIRECTAMENTE MODUS PONENS
( p q) r , ( p q)
r
Conclumos que r es cierto.
Es decir, Scrates es mortal.
14/11/2011
20
CMO DEDUCIR A PARTIR DE

UNA BASE DE DATOS ? :
14/11/2011
- Juan es hombre
- Luis es hombre
- Pedro es hombre
- Jos
J es h
hombre
b
- etc.
etc es hombre
- etc. es hombre
- etc. es hombre
21
Y A PARTIR DE LA REGLA GENERAL

:
Todos los hombres

son mortales
14/11/2011
22
QUE SON CIERTAS LAS

CONCLUSIONES :
14/11/2011
- Juan es mortal
- Luis es mortal
- Pedro es mortal
- Jos es mortal
- etc.
etc es mortal
- etc. es mortal
- etc. es mortal
23
NUEVAS PROPOSICIONES (hechos)
14/11/2011
q=Juan es hombre
s= Luis es hombre
u= Pedro es hombre
u
w= Jos es hombre
y= etc. es hombre
etc. = etc. es hombre
etc.
t = etc.
t es hombre
h b
24
NUEVAS CONCLUSIONES
14/11/2011
r=Juan es mortal
t= Luis es mortal
v= Pedro es mortal
v
x= Jos es mortal
z= etc. es mortal
etc.= etc. es mortal
etc.=
t
etc.
t es mortal
t l
25
p
q
14/11/2011
y
u
w
etc.
etc
t .
26
EXPRESAR LA REGLA GENERAL

POR CADA INDIVIDUO
( p q) r
14/11/2011
(
(
(
(
(
(
p
p
p
p
p
p
s) t
u ) v
w ) x
y) z
etc .) etc .
etc .) etc .
27
BASE DE CONOCIMIENTOS
p
q
y
u
w
etc.
etc.
14/11/2011
( p q) r
( p s) t
( p u) v
( p w) x
( p y) z
( p etc
t .)) etc
t .
( p etc.)) etc.
28
BASE DE CONOCIMIENTOS
Crece
p
(
p
q
)
r
i d fi id
indefinidamente
t 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.
14/11/2011
29
LOGICA DE PRIMER ORDEN

(CALCULO DE PREDICADOS)
La LOGICA DE PRIMER
ORDEN permite
it agregar
hechos a nuestra base de
conocimientos y expresar
p
reglas en forma general.
14/11/2011
30
LOGICA DE PRIMER
El mundo est conformado

por objetos . Los objetos
tienen p
propiedades
p
que
q
los distinguen de otros
objetos.
Entre los objetos existen
relaciones
relaciones.
14/11/2011
31
LOGICA DE PRIMER
Las ciudades cercanas a

Lima son pequeas.
Objetos
j
: ciudades,, Lima
Relaciones : cercanas
Propiedad
p
:p
pequeas
q
14/11/2011
32

(CALCULO DE PREDICADOS)
Los PREDICADOS son

f
funciones
i
que transforman
t
f
los ARGUMENTOS de objeto
en valores falsos o
verdaderos.
14/11/2011
33
EXPRESAMOS LOS HECHOS EN

Una gaviota tiene plumas :
plumas(gaviota)
predicado
14/11/2011
objeto
34

Una gaviota es un ave :
ave(gaviota)
predicado
14/11/2011
objeto
35

Una gaviota vuela y pone

huevos :
vuela(gaviota)
ponehuevos(gaviota)
(
)
14/11/2011
36
EXPRESAMOS REGLAS EN LOGICA

DE PRIMER ORDEN
Si un animal tiene plumas

entonces
t
es un ave.
Esta
E
t es una regla
l que se
cumple para todos los
animales que son aves
aves.
14/11/2011
37

DE PRIMER ORDEN

entonces
t
es un ave.
Quin
Q i es ell objeto
bj t ?
Cules son las
propiedades de ese objeto?
14/11/2011
38

DE PRIMER ORDEN

entonces
t
es un ave.
El objeto
bj t es un animal.
i l
Sus propiedades son tener
plumas y ser ave
ave.
14/11/2011
39

DE PRIMER ORDEN

entonces es un ave
ave.
Conviene utilizar la variable
x como representacin de
j
animal.
un objeto
14/11/2011
40

DE PRIMER ORDEN
Predicados que utilizan

variables :
x es un animal
plumas(x) : x tiene plumas
ave(x) : x es un ave
14/11/2011
41

DE PRIMER ORDEN
Para representar la regla a

aplicarse
p
p
para todos los x
animales, necesitamos
cuantificadores.
tifi d universal
i
l
: cuantificador
(x) : para todo x
14/11/2011
42

DE PRIMER ORDEN
Si un animal
i l titiene plumas
l
entonces es un ave
x plumas(x) ave(x)
Todo objeto x que tiene plumas
implica que es un ave
ave.
14/11/2011
43

DE PRIMER ORDEN
Al menos existe un animal

que es ave
x ave(x)
( )
:cuantificador existencial
14/11/2011
44

FORMULAS ATOMICAS
Frmulas atmicas : son

predicados
di d iindividuales
di id l
con argumentos
argumentos.
Predicado(argumento)
14/11/2011
45

ARGUMENTOS
Los predicados equivalen a

f
funciones
i
y pueden
d ttener
como argumentos :
objetos variables y en
objetos,
general funciones.
caso g
14/11/2011
46

VARIABLES
Observe que las variables

slo p
pueden representar
p
objetos; las variables no
pueden representar
predicados.
di d
x plumas(x) ave(x)
14/11/2011
47
LOGICA PROPOSICIONAL
Lgica
g
p
proposicional
p
:
no permite variables de
ningn
g tipo.
p
14/11/2011
48
Lgica
g
de p
primer orden :
variables representan
objetos.
j
14/11/2011
49
LOGICA DE SEGUNDO
ORDEN
Lgica
g
de segundo
g
orden :
variables representan
p
objetos
j
yp
predicados.
14/11/2011
50

Logica Primer Orden Parte 01

Hochgeladen von

Dokumentinformationen

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Logica Primer Orden Parte 01

Hochgeladen von

Copyright:

Verfügbare Formate

INTELIGENCIA

Ing. M.Sc. BRUNO VARGAS T.

Ing. M.Sc. BRUNO VARGAS T.

Ing. M.Sc. BRUNO VARGAS T.

Tenemos una base de

Ing. M.Sc. BRUNO VARGAS T.

Ing. M.Sc. BRUNO VARGAS T.

Ing. M.Sc. BRUNO VARGAS T.

Ing. M.Sc. BRUNO VARGAS T.

Debemos crear una

Ing. M.Sc. BRUNO VARGAS T.

Ing. M.Sc. BRUNO VARGAS T.

Ing. M.Sc. BRUNO VARGAS T.

QUE EXPRESAMOS EN LOGICA

Ing. M.Sc. BRUNO VARGAS T.

REPRESENTAMOS LOS HECHOS

p=todos los hombres

Ing. M.Sc. BRUNO VARGAS T.

Ing. M.Sc. BRUNO VARGAS T.

DE LA REGLA GENERAL DEBE

p=todos los hombres son

Ing. M.Sc. BRUNO VARGAS T.

QUE SIGNIFICA LA FORMULA DE

Ing. M.Sc. BRUNO VARGAS T.

Ing. M.Sc. BRUNO VARGAS T.

Ing. M.Sc. BRUNO VARGAS T.

EN NUESTRO CASO SE APLICA

Ing. M.Sc. BRUNO VARGAS T.

EN NUESTRO CASO SE APLICA

Ing. M.Sc. BRUNO VARGAS T.

CMO DEDUCIR A PARTIR DE

Y A PARTIR DE LA REGLA GENERAL

Todos los hombres

Ing. M.Sc. BRUNO VARGAS T.

QUE SON CIERTAS LAS

NUEVAS PROPOSICIONES (hechos)

Ing. M.Sc. BRUNO VARGAS T.

EXPRESAR LA REGLA GENERAL

Ing. M.Sc. BRUNO VARGAS T.

Ing. M.Sc. BRUNO VARGAS T.

LOGICA DE PRIMER ORDEN

Ing. M.Sc. BRUNO VARGAS T.

El mundo est conformado

Ing. M.Sc. BRUNO VARGAS T.

Las ciudades cercanas a

Ing. M.Sc. BRUNO VARGAS T.

LOGICA DE PRIMER ORDEN

Los PREDICADOS son

Ing. M.Sc. BRUNO VARGAS T.

EXPRESAMOS LOS HECHOS EN

Una gaviota tiene plumas :

Ing. M.Sc. BRUNO VARGAS T.

EXPRESAMOS LOS HECHOS EN

Una gaviota es un ave :

Ing. M.Sc. BRUNO VARGAS T.

EXPRESAMOS LOS HECHOS EN

Una gaviota vuela y pone

Ing. M.Sc. BRUNO VARGAS T.

EXPRESAMOS REGLAS EN LOGICA

Si un animal tiene plumas

Ing. M.Sc. BRUNO VARGAS T.

EXPRESAMOS REGLAS EN LOGICA

Si un animal tiene plumas

Ing. M.Sc. BRUNO VARGAS T.