Logica Primer Orden Parte 01

SISTEMAS
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
Ing. M.Sc. BRUNO VARGAS T.
Como representamos
esa Regla general
en lgica
proposicional ?
13/09/2014
Definimos la proposicin :
p=las personas o son
hombres o son mujeres
13/09/2014
Tenemos una base de

datos de personas:
Denis, Jess, Mercedes,
Gabriel, ., etc.
13/09/2014
Como aplicamos la esa

Regla general
para todas las personas
de la base de datos ?
13/09/2014
Definimos la proposicines :
q = Denis es hombre
r = Denis es mujer
s = Jess es hombre
t = Jess es mujer
13/09/2014
Definimos la proposicines :
u = Mercedes es hombre
v = Mercedes es mujer
w = Gabriel es hombre
z = Gabriel es mujer
13/09/2014
Debemos crear una

proposicin que defina la
regla para cada una de las
personas de la base de
datos
13/09/2014
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
Ejemplo : Dadas las premisas :

todos los hombres son mortales,
Scrates es un hombre
y la conclusin :
Scrates es mortal.
Deseamos justificar que la
conclusin es cierta.
13/09/2014
11
QUE EXPRESAMOS EN LOGICA

PROPOSICIONAL ?
Representamos hechos.
Ejemplo :
p=Juan es estudiante
q=Rosa es artista
13/09/2014
12
REPRESENTAMOS LOS HECHOS

POR PROPOSICIONES
p=todos los hombres

son mortales
q= Scrates es hombre
r= Scrates es mortal
13/09/2014
13
LA BASE DE CONOCIMIENTOS
(Los hechos que se cumplen)
1) p
2) q
13/09/2014
14
DE LA REGLA GENERAL DEBE

OBTENERSE UNA REGLA EN
PARTICULAR
p=todos los hombres son

mortales
q= Scrates es hombre
r= Scrates es mortal
( p q) r
13/09/2014
15
QUE SIGNIFICA LA FORMULA DE

CONCLUSION ?
( p q) r
Si se cumple p y q
(simultneamente) entonces
se cumple r
13/09/2014
16
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
EN NUESTRO CASO SE APLICA

DIRECTAMENTE MODUS PONENS
1) p
2) q
pq
3) ( p q ) r
r
13/09/2014
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.
13/09/2014
20
CMO DEDUCIR A PARTIR DE

UNA BASE DE DATOS ? :
13/09/2014
- Juan es hombre
- Luis es hombre
- Pedro es hombre
- Jos es hombre
- etc. es hombre
- etc. es hombre
- etc. es hombre
21
SI TENEMOS LA REGLA
GENERAL :
Todos los hombres

son mortales
13/09/2014
22
QUE SON CIERTAS LAS

CONCLUSIONES :
13/09/2014
- Juan es mortal
- Luis es mortal
- Pedro es mortal
- Jos es mortal
- etc. es mortal
- etc. es mortal
- etc. es mortal
23
NUEVAS PROPOSICIONES (hechos)
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
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
25
p
q
13/09/2014
y
u
w
etc.
etc.
26
EXPRESAR LA REGLA GENERAL

POR CADA INDIVIDUO
( p q) r
13/09/2014
( p s) t
( p u) v
( p w) x
( p y) z
( p etc.) etc.
( p etc.) etc.
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.
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
LOGICA DE PRIMER ORDEN

(CALCULO DE PREDICADOS)
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
El mundo est conformado

por objetos . Los objetos
tienen propiedades que
los distinguen de otros
objetos.
Entre los objetos existen
relaciones.
13/09/2014
31
LOGICA DE PRIMER
Las ciudades cercanas a

Lima son pequeas.
Objetos : ciudades, Lima
Relaciones : cercanas
Propiedad : pequeas
13/09/2014
32

(CALCULO DE PREDICADOS)
Los PREDICADOS son

funciones que transforman
los ARGUMENTOS de objeto
en valores falsos o
verdaderos.
13/09/2014
33
EXPRESAMOS LOS HECHOS EN

La gaviota tiene plumas :
Quin es el objeto ?
Cules son las
propiedades de ese
objeto?
13/09/2014
34
EXPRESAMOS REGLAS EN LOGICA

DE PRIMER ORDEN
Definicin de Predicados :
deben utilizar variables :
x : es un animal
plumas(x) : x tiene plumas
13/09/2014
35

La gaviota tiene plumas :
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

DE PRIMER ORDEN
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

La gaviota vuela y pone

huevos :
Quines son los objetos ?
Cules son las
propiedades de ese
objeto?
13/09/2014
40

DE PRIMER ORDEN
x : es un animal
vuela(x) : x vuela
ponehuevos(x): x ponehuevos
13/09/2014
41

La gaviota vuela y pone

huevos :
vuela(gaviota)
ponehuevos(gaviota)
13/09/2014
42

DE PRIMER ORDEN
Si un animal tiene plumas

entonces es un ave.
Esta es una regla que se

cumple para todos los
animales que son aves.
13/09/2014
43

DE PRIMER ORDEN

entonces es un ave.
Quin es el objeto ?
Cules son las
propiedades de ese objeto?
13/09/2014
44

DE PRIMER ORDEN

entonces es un ave.
El objeto es un animal.
Sus propiedades son tener
plumas y ser ave.
13/09/2014
45

DE PRIMER ORDEN

entonces es un ave.
Conviene utilizar la variable
x como representacin de
un objeto animal.
13/09/2014
46

DE PRIMER ORDEN
Predicados que utilizan

variables :
x es un animal
plumas(x) : x tiene plumas
ave(x) : x es un ave
13/09/2014
47

DE PRIMER ORDEN
Para representar la regla a

aplicarse para todos los x
animales, necesitamos
cuantificadores.
: cuantificador universal
x : para todo x
13/09/2014
48

DE PRIMER ORDEN

entonces es un ave
x plumas(x) ave(x)
Todo objeto x que tiene plumas
implica que es un ave.
13/09/2014
49

DE PRIMER ORDEN
Al menos existe un animal

que es ave
x ave(x)
:cuantificador existencial
13/09/2014
50
LOGICA DE PRIMER

Lima son pequeas.
Quines son los objetos ?
Cules son las propiedades
esos objetos o las
relaciones entre ellos?
13/09/2014
51
LOGICA DE PRIMER

Lima son pequeas.
Objetos : ciudades, Lima
Relaciones : cercanas
Propiedad : pequeas
13/09/2014
52

DE PRIMER ORDEN
x,y : son ciudades
cerca(x,y) : x cerca de y
pequea(x) : x es pequea
13/09/2014
53

DE PRIMER ORDEN

entonces es un ave
x cerca(x,Lima) pequea(x)
Toda ciudad x cerca a Lima
implica que es pequea.
13/09/2014
54


Lima son pequeas.
x cerca(x,Lima) pequea(x)
objetos
propiedad
relacin
13/09/2014
55

FORMULAS ATOMICAS
Frmulas atmicas : son

predicados individuales
con argumentos.
Predicado(argumento)
13/09/2014
56

ARGUMENTOS
Los predicados equivalen a

funciones y pueden tener
como argumentos :
objetos, variables y en
caso general funciones.
13/09/2014
57

VARIABLES
Observe que las variables

slo pueden representar
objetos; las variables no
pueden representar
predicados.
x plumas(x) ave(x)
13/09/2014
58
LOGICA PROPOSICIONAL
Lgica proposicional :
no permite variables de
ningn tipo.
13/09/2014
59
Lgica de primer orden :

variables representan
objetos.
13/09/2014
60
LOGICA DE SEGUNDO
ORDEN
Lgica de segundo
orden :
variables representan
objetos y predicados.
13/09/2014
61

Logica Primer Orden Parte 01

Caricato da

Informazioni sul documento

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Logica Primer Orden Parte 01

Caricato da

Copyright:

Formati disponibili

SISTEMAS

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.

Como aplicamos la esa

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.

Ejemplo : Dadas las premisas :

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

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.

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

La gaviota tiene plumas :

Ing. M.Sc. BRUNO VARGAS T.

EXPRESAMOS REGLAS EN LOGICA

Ing. M.Sc. BRUNO VARGAS T.

EXPRESAMOS LOS HECHOS EN

La gaviota tiene plumas :

Ing. M.Sc. BRUNO VARGAS T.

EXPRESAMOS LOS HECHOS EN

Ing. M.Sc. BRUNO VARGAS T.

EXPRESAMOS REGLAS EN LOGICA

Ing. M.Sc. BRUNO VARGAS T.

EXPRESAMOS LOS HECHOS EN

Ing. M.Sc. BRUNO VARGAS T.

EXPRESAMOS LOS HECHOS EN