INTELIGENCIA

ARTIFICIAL
LOGICA
PROPOSICIONAL
Ing Mg
Ing.
Mg. BRUNO ELIO VARGAS TAMANI

QUE ES LA LOGICA

- Es el estudio de las reglas

d l razonamiento
del
i
exacto.
- Una parte importante de
ella es la inferencia de
conclusiones a partir de
premisas.
01/11/2011

Ing. M.Sc. BRUNO VARGAS T.

LOGICA EN SISTEMAS EXPERTOS

Se utiliza en los Sistemas

Expertos, como un
mecanismo de inferencia
para razonar a partir
ti d
de
los hechos
hechos, para extraer
conclusiones
conclusiones.
01/11/2011

Ing. M.Sc. BRUNO VARGAS T.

LOGICA PROPOSICIONAL

Se ocupa d
S
de manipular
i l
variables lgicas que
representan proposiciones
proposiciones.
proposiciones
p
son
Las p
oraciones declarativas que
pueden ser verdaderas o
f l
falsas.
01/11/2011

Ing. M.Sc. BRUNO VARGAS T.

EJEMPLO DE PROPOSICIONES

- Juan es estudiante.
- Luis estudia derecho.
- Mara es atleta.
- El libro es interesante.
- Elena retorn de clases.
01/11/2011

Ing. M.Sc. BRUNO VARGAS T.

ASPECTOS DE UNA LOGICA

- Sintaxis : explica las

posibles configuraciones
para formar
f
una oracin.
i
Explica como construir
oraciones.
oraciones
01/11/2011

Ing. M.Sc. BRUNO VARGAS T.

ASPECTOS DE UNA LOGICA

Ejemplos de proposiciones

Hace calor
Hace fro
Est lloviendo
Es un da agradable
01/11/2011

Ing. M.Sc. BRUNO VARGAS T.

ASPECTOS DE UNA LOGICA

Las proposiciones
p p
atmicas (las bsicas)
pueden ser
reemplazadas
l
d por lletras
t
como p
p, q
q, rr, ss, . , etc
etc.
01/11/2011

Ing. M.Sc. BRUNO VARGAS T.

ASPECTOS DE UNA LOGICA

p = hace calor
q = hace fro
r = est lloviendo
s = es un da agradable
g
01/11/2011

Ing. M.Sc. BRUNO VARGAS T.

ASPECTOS DE UNA LOGICA

Podemos construir
proposiciones ms
complejas a partir de
combinaciones de
proposiciones simples
utilizando los operadores
vlidos
vlidos.
01/11/2011

Ing. M.Sc. BRUNO VARGAS T.

10

LOGICA PROPOSICIONAL

- Sintaxis : utiliza las

constantes
t t lgica
l i :
Verdadero y Falso
Falso,
smbolos de proposiciones
como p y q, los conectivos
lgicos : , , , , .
01/11/2011

Ing. M.Sc. BRUNO VARGAS T.

11

LOGICA PROPOSICIONAL
- Sintaxis : Las oraciones que
usan
san los conectores se llaman :
((conector y AND)) conjuncin
j
(conector o OR) disyuncin
(conector
(
t no NOT) negacin
i
(conector implica si
entonces) implicacin.
i l
i
equivalencia.

01/11/2011

Ing. M.Sc. BRUNO VARGAS T.

12

ASPECTOS DE UNA LOGICA

Ejemplos de proposiciones
complejas :

Hace calor o hace fro

(pvq)
01/11/2011

Ing. M.Sc. BRUNO VARGAS T.

13

ASPECTOS DE UNA LOGICA

Ejemplos de proposiciones
complejas :

Si hace calor entonces no

h
hace
ffro

( p q )
01/11/2011

Ing. M.Sc. BRUNO VARGAS T.

14

ASPECTOS DE UNA LOGICA

Ej
Ejemplos
l d
de proposiciones
i i
complejas :

Si hace calor y no est

lloviendo implica que es
un da agradable
g
( p rr )) s
01/11/2011

Ing. M.Sc. BRUNO VARGAS T.

15

ASPECTOS DE UNA LOGICA

- Semntica : hechos a
que hacen alusin las
oraciones.
i
R
Relaciones
l i
d
de
las oraciones con los
hechos que representa
((interpretacin).
p
)
01/11/2011

Ing. M.Sc. BRUNO VARGAS T.

16

LOGICA PROPOSICIONAL

- Semntica : el significado de
una oracin
i compleja
l j se
obtiene del significado de
cada una de sus partes. Se
obtiene los valores de cada
f
funcin
i con una tabla
t bl d
de
verdad
verdad.
01/11/2011

Ing. M.Sc. BRUNO VARGAS T.

17

LOGICA PROPOSICIONAL
- Semntica
S ti : determina
d t
i como
puede atribuirse significado a
las frmulas atmicas y a las
frmulas compuestas. Estas
pueden tener el valor de
verdad o falso. El efecto de los
operadores lgicos se definen
en una tabla
t bl de
d verdad.
d d
01/11/2011

Ing. M.Sc. BRUNO VARGAS T.

18

LOGICA PROPOSICIONAL
Semntica,Tablas de verdad

p q

p q

p q

pq

pq

F F

F V

V F

V V

01/11/2011

Ing. M.Sc. BRUNO VARGAS T.

19

PROPIEDADES UTILES
SUPRESION DE LA
IMPLICACION

p q p q

01/11/2011

p
F
F
V
V

q
F
V
F
V

p pvq pq
V
V
V
V
V
V
F
F
F
F
V
V

Ing. M.Sc. BRUNO VARGAS T.

20

PROPIEDADES UTILES
LEYES DE MORGAN

( p q ) p q
( p q ) p q

p
F
F
V
V

q
F
V
F
V

p q (p^q) pvq (pvq) p^q

V V
V
V
V
V
V F
V
V
F
F
F V
V
V
F
F
F
F
F
F
F
F

01/11/2011

Ing. M.Sc. BRUNO VARGAS T.

21

PROPIEDADES UTILES
PROPIEDAD DISTRIBUTIVA

(a b) c (a c) (b c)

a b c a^b (a^b)vc avc bvc (avc)^(b vc)

F F F F
F
F
F
F
F F V F
V
V V
V
F V F F
F
F
V
F
F VV F
V
V V
V
V F F F
F
V
F
F
V F V F
V
V V
V
V V F V
V
V V
V
Ing. M.Sc. BRUNO VARGAS T.
V 01/11/2011
VV V
V
V V
V 22

PROPIEDADES UTILES
PROPIEDAD DISTRIBUTIVA
(a b) c (a c) (b c)
.

a b c
F F F
F F V
F V F
F VV
V F F
V F V
V V F
V 01/11/2011
VV

avb (avb)^c a^c b^c (a^c)v(b ^c)

F
F
F
F
F
F
F
F
F
F
V
F
F
F
F
V
V
F
V
V
V
F
F
F
F
V
V
V
F
V
V
F
F
F
F
Ing. M.Sc. BRUNO VARGAS T.
V
V
V
V
V 23

ASPECTOS DE UNA LOGICA

- Teora de la
demostracin : conjunto
de reglas para deducir
l iimplicaciones
las
li
i
d
de un
conjunto de oraciones
oraciones.
01/11/2011

Ing. M.Sc. BRUNO VARGAS T.

24

REGLA DE INFERENCIA
MODUS PONENS

ab , a
b
Si se cumple : (a implica b) y es
cierto a entonces es cierto b.
01/11/2011

Ing. M.Sc. BRUNO VARGAS T.

25

REGLA DE INFERENCIA
MODUS PONENS
a
F
F
V
V

b
F
V
F
V

ab
a
b (ab)^a
(a b)^a
V
F
V
F
F
F
V
V

En ltima fila : Si (ab)^a es V

entonces b es V.
01/11/2011

Ing. M.Sc. BRUNO VARGAS T.

26

REGLA DE INFERENCIA DE
RESO UCION
RESOLUCION

( x y ) , ( y z )
x z
Si se ambas ( x y ) y ( y z )
son ciertas, entonces ( x z )
es cierta.
i t
01/11/2011

Ing. M.Sc. BRUNO VARGAS T.

27

INFERENCIA POR RESOLUCION

x
F
F
F
F
V
V
V
V

y
F
F
V
V
F
F
V
V

01/11/2011

z
F
V
F
V
F
V
F
V

xy yz ((xy)^(yz)
)^(
) xz
F
V
F
F
F
V
F
V
V
F
F
F
V V
V
V
V V
V
V
V V
V
V
V
F
F
V
V V
V
V
Ing. M.Sc. BRUNO VARGAS T.

28

CONTRADICCION MEDIANTE
RESOLUCION

- Si tenemos un conjunto de
proposiciones : A1, A2, A3,
.., An; todas ellas
verdaderas, entonces la
proposicin B es una
consecuencia
i l
lgica
i d
de :
01/11/2011

Ing. M.Sc. BRUNO VARGAS T.

29

CONTRADICCION MEDIANTE
RESOLUCION

: A1, A2, A3, . , An; si se

cumple que :
(A1^A
A2^A
A3^.
. ^A
An))B
B
As B ser verdadero si A1,
A2, A3,..., An; son verdad.
01/11/2011

Ing. M.Sc. BRUNO VARGAS T.

30

CONTRADICCION MEDIANTE
RESOLUCION

Observe entonces que en

es caso :
(A1^A
A2^A
A3^..^A
An)B
)B=V
V
entonces :
(A
( 1^A2^A3^..^AnB)=F
)
01/11/2011

Ing. M.Sc. BRUNO VARGAS T.

31

CONTRADICCION MEDIANTE
RESOLUCION

entonces
t
:
[(A1^A2^A3^...^An)B]=F
(A1^A
A2^A
A3^..^A
An))^B=F
B F
01/11/2011

Ing. M.Sc. BRUNO VARGAS T.

32

CONTRADICCION MEDIANTE
RESOLUCION

- Entonces si consideramos
ahora al conjunto de
proposiciones : A1, A2, A3,
.., An, B;
B;
mediante la aplicacin de
01/11/2011

Ing. M.Sc. BRUNO VARGAS T.

33

CONTRADICCION MEDIANTE
RESOLUCION

de la regla de inferencia de
resolucin se llegarn a
conclusiones contradictorias
o falsas o clasulas
resolventes vacas.
01/11/2011

Ing. M.Sc. BRUNO VARGAS T.

34

CONTRADICCION MEDIANTE
RESOLUCION

- Se utiliza la resolucin
para demostrar que la
negacin de una sentencia
verdadera es inconsistente
con el conjunto de
sentencias
t
i verdaderas.
d d
01/11/2011

Ing. M.Sc. BRUNO VARGAS T.

35

CONTRADICCION MEDIANTE
RESO UCION
RESOLUCION

- De esta manera :
haciendo una
demostracin mediante
contradiccin,
establecemos la verdad
d lla sentencia
de
t
i original.
i i l
01/11/2011

Ing. M.Sc. BRUNO VARGAS T.

36

CONTRADICCION MEDIANTE
RESOLUCION

La contradiccin de una
sentencia mediante
resolucin, se opera de
esta manera :
1.- Convertir las sentencias
a la
l fforma clausal.
l
l
01/11/2011

Ing. M.Sc. BRUNO VARGAS T.

37

CONTRADICCION MEDIANTE
RESOLUCION

2.- Agregar en forma clausal

2
la negacin de la sentencia
a ser probada.
3.- Buscar una contradiccin
en ell conjunto
j t d
de sentencias
t
i
(base de conocimientos)
conocimientos).
01/11/2011

Ing. M.Sc. BRUNO VARGAS T.

38