Está en la página 1de 31

IA4001 Sistemas de Bsqueda y Razonamiento

I A I A- - 4001 Sist emas de 4001 Sist emas de


Bsqueda y Razonamient o Bsqueda y Razonamient o
Sesin Sesin 10 10
KBAs KBAs y Lgica y Lgica
P i i l P i i l Proposicional Proposicional
Cont enido
Agent es Basados en el Conocimient o
Qu son?
Arquit ect ura
Programa
Ej emplo
Lgica Proposicional
Represent acin del conocimient o
Sint axis
Semnt ica
Razonamient o e inferencia
I mplicacin lgica
Chequeo de modelos
Uso de reglas de inferencia
Resolucin
IA4001 Sistemas de Bsqueda y Razonamiento
Agent es Basados en el Conocimient o
Son agent es react ivos basados en modelos
Uso del conocimient o: Uso del conocimient o:
Trabaj ar con ambient es parcialment e
observables
I nferir est ados escondidos
Efect os posibles de las acciones
Diagnst ico mdico, procesamient o de g , p
lenguaj e nat ural,
Flexibilidad, adapt acin,
IA4001 Sistemas de Bsqueda y Razonamiento
Arquit ect ura de un KBA
Base de conocimientos
I
N
T
E
R
F
I
N
T
E
R
F
Fuentes
de
K
A
M
B
I
E
N
Mquina de inferencias
F
A
Z
F
A
Z
T
E
Programa
f t i KBA( i ) t i f unct i on KBA( p: percepcin) r et ur ns accin
st at i c: KB: base de conocimient os
t : cont ador ( t iempo, inicialment e 0)
TELL( KB, MAKE- PERCEPT- SENTENCE( p, t ) )
accin ASK( KB, MAKE- ACTI ON- QUERY( t ) )
TELL( KB, MAKE- ACTI ON- SENTENCE( accn, t ) )
t t + 1
r et ur n accin
IA4001 Sistemas de Bsqueda y Razonamiento
Enfoques de diseo de la KB
Decl ar at i v o
La KB se const ruye aadiendo las oraciones
que represent an el conocimient o que represent an el conocimient o
Pr ocedur al
Los comport amient os deseados se codifican
direct ament e
Ni vel es de Descr i pci n de un KBA
CONOCIMIENTO
LOGICO
IMPLEMENTACION
Para que sirve el Conocimient o?
Ej empl o: El Mundo del WUMPUS
W
P
P
Fuchi
Fuchi
G
Aire
Aire
Aire Brillo
A P
Fuchi Aire
Aire Aire
IA4001 Sistemas de Bsqueda y Razonamiento
Descripcin PEAS
Rendi mi ent o
1000 si se recoge el oro
- 1000 si se cae en un pozo o el Wumpus nos 1000 si se cae en un pozo o el Wumpus nos
come
- 1 por cada accin efect uada
- 10 si se usa la flecha
Ambi ent e
Rej illa 4 x 4
Especificacin de celdas: [ x, y]
El agent e comienza en [ 1, 1]
Localidades del wumpus y del oro
seleccionadas al azar ( dist ribucin uniforme)
Probabilidad de que una celda sea pozo = 0. 2
Descripcin PEAS
Acci ones
Avanzar
Girar 90 ( derecha o izquierda) Girar 90 ( derecha o izquierda)
Recoger obj et os
Disparar
Sensor es
Fuchi
Brisa Brisa
Brillo
Ruido ( golpe con pared)
Grit o ( muert e del Wumpus)
Per cepci n = [ F, B, Br, R, G]
IA4001 Sistemas de Bsqueda y Razonamiento
Caract erizacin del Wumpus World
Obser v abl e? No, solament e percepcin local
Det er mi nst i co? Si, la salida es especificada exact ament e
Epi sdi co? No, secuencial al nivel de las acciones
Est t i co? Si, el Wumpus y los pozos no se mueven
Di scr et o? Si
ni co agent e? Si, el Wumpus es bsicament e una
caract erst ica nat ural.
Un KBA para acabar con el WUMPUS
OK
A
OK OK
Percepcin= [F,F,F,F,F]
IA4001 Sistemas de Bsqueda y Razonamiento
Un KBA para acabar con el WUMPUS
OK
?P
A
OK OK
Brisa
V
?P
Percepcin= [F,V,F,F,F]
Un KBA para acabar con el WUMPUS
A
OK
?P
Fuchi
A
OK OK
Brisa
V
?P
uchi
Percepcin= [V,F,F,F,F]
IA4001 Sistemas de Bsqueda y Razonamiento
Un KBA para acabar con el WUMPUS
A
OK
OK
Fuchi
W
A
OK OK
Brisa
V
P
Fuchi
Percepcin= [V,F,F,F,F]
Element os necesarios de un KBA
Repr esent aci n del conoci mi ent o
est ruct uras de dat os
Mani pul aci n del conoci mi ent o Mani pul aci n del conoci mi ent o
mecanismo de razonamient o
Ej empl o: Lgicas
Sist ema formal + t eora de demost racin
Sist ema formal = sint axis + semnt ica Sist ema formal sint axis + semnt ica
Teora de demost racin = reglas de inferencia
Tipos de Lgicas:
lgica proposicional
lgica de predicados
IA4001 Sistemas de Bsqueda y Razonamiento
Represent acin del Conocimient o
Un l enguaj e f or mal
Sint axis qu expresiones son legales ( bien-
formadas) formadas)
Semnt ica qu significan las expresiones
legales?
En lgica la verdad de cada oracin con
respect o a cada mundo posible.
Ot r o l enguaj e: Arit mt ica
x+ 2 > = y es una oracin, x2+ y no es una oracin
x+ 2 > = y es verdadero en un mundo donde x= 7 y y= 1
x+ 2 > = y es falsa en un mundo donde x= 0 y y= 6
IA4001 Sistemas de Bsqueda y Razonamiento
Proposiciones
Enunciados sobre los que es posible asignar un
valor de verdad, o sea, son falsas o verdaderas,
pero no ambas: p
El sol es verde
7 es mayor que 5
Proposiciones abiert as, si cont ienen variables:
x > 5
Algunos enunciados no son proposiciones
Ej emplo: Est e enunciado es falso
Gramtica BNF
Sint axis: una lgica muy simple
Oracin OracinAtmica OracinCompleja
TRUE OracinAtmica
OracinCompleja ( Oracin )
FALSE
P Q R ........
Oracin Conectivo Oracin
Conectivo
Oracin Conectivo Oracin
Oracin
/\ \/
IA4001 Sistemas de Bsqueda y Razonamiento
I mplicacin: P Q
P es el ant ecedent e o premisa
Q es el consecuent e o conclusin
Las implicaciones pueden ser consideradas como est at ut os p p
condicionales.
For mas de l ect ur a
Si P, ent onces Q.
P implica Q.
P es suficient e para Q.
Si P, t ambin Q.
Si P, Q.
Q, si P.
Q cuando P.
Q siempre y cuando P.
Q cada vez que P.
A fin de que Q, bast a que P.
Q es requerido para que P.
P slo si Q.
Bicondicional: P Q
Una forma bicondicional es una proposicin de la
forma:
P si y solament e si Q, donde P y Q son
i i proposiciones.
Est a forma es verdadera si P y Q t ienen los
mismos valores de verdad ( verdadero o falso) .
For mas de l ect ur a
Si P ent onces Q, y recprocament e, si Q ent onces P .
Si P ent onces Q, y recprocament e.
Si P , y slo ent onces, Q.
P si Q, y slo ent onces.
P si y slo si Q.
A fin de que P es necesario y suficient e que Q.
IA4001 Sistemas de Bsqueda y Razonamiento
Precedencia de operadores lgicos
Orden de precedencia ( de mayor a menor) :
v . , , , ,
Ej empl os:
, , , ,
)) ( ( ) ) ((
)) ( ( ) ) ((
) ( )) ( ) ((
C B A C B A C B A
C B A C B A C B A
T S R Q P T S R Q P
. . . . . .
. v . . v .
)) ( ( ) ) ((
)) ( ( ) ) ((
)) ( ( ) ) ((
C B A C B A
C B A C B A C B A
C B A C B A C B A


v v v v v v
Semnt ica
Det erminar el valor de verdad de una oracin
con respect o a un modelo.
El nmero de modelos depende del nmero
de smbolos proposicionales = 2
n
} { 2
} , , { m1
f l R t Q t P
true R false Q true P = = = =
} , , { m2 false R true Q true P = = = =
? = . R Q P
IA4001 Sistemas de Bsqueda y Razonamiento
Semnt ica
Basada en t ablas de verdad
q p . q p v q p q p p q
F
T
T
T
T
T
T
T F
F
F
F
F F
F
F
F
F
T T
T
T
T
T T T
F F F F
Un problema de Lgica Proposicional
Mary puede escribir el programa en Fort ran o Pascal o de plano no
escribirlo. Si no escribe el programa sacar un cero y reprobar el
curso. Si reprueba el curso ser puest a en el PA y si saca cero su
novio la dej ar. Si Mary escribe el programa en Fort ran reprobar j y p g p
el curso pero si lo escribe en Pascal pasar
P: Mary escribe al programa en Pascal
Q: Mary escribe el programa en Fort ran
R: Mary no escribe el programa
S: Mary saca un cero
T: Mary reprueba el curso y p
U: Mary es puest a en PA
V: El novio de Mary la dej ar
( PvQvR) . ( R( S.T) ) .( TU) .( SV) .( QT) .( PT)
( PvQR) .( ( Q.P) T)
IA4001 Sistemas de Bsqueda y Razonamiento
Razonamient o ( inferencia) en lgica
Oraciones Oraciones
INFERENCIA
Oraciones Oraciones
Hechos Hechos
Represent acin
Mundo modelado
S
e
m

n
t
i
c
a
S
e
m

n
t
i
c
a
implican
lgicament e
se desprenden
Consecuencia ( implicacin) lgica
Deduccin lgica ( algorit mos de inferencia)
BC o
BC o
I mplicacin lgica
Una cosa sigue de ot ra
KB | = o
KB implica lgicament e la oracin si y solo si KB implica lgicament e la oracin o si y solo si o
es verdadera en los mundos donde KB es
verdadera.
Model os: mundos est ruct urados formalment e
con respect o a los cuales se puede evaluar la
verdad verdad.
m es un modelo de una oracin o si o es
verdadera en m
M( o) es el conj unt o de t odos los modelos de o
IA4001 Sistemas de Bsqueda y Razonamiento
Ej emplo de implicacin lgica
Modelos posibles
IA4001 Sistemas de Bsqueda y Razonamiento
Modelos para la KB
Oracin implicada lgicament e
IA4001 Sistemas de Bsqueda y Razonamiento
Oracin NO implicada lgicament e
Procesos de inferencia
Car act er st i cas
Correct o ( fidedigno) : inferir slo oraciones
implicadas implicadas
Complet o: demost rar t oda oracin implicada
Ej empl o: Chequeo de modelos
1. Enumerar los modelos ( combinaciones segn
los smbolos proposicionales)
2. Marcar aquellos en que KB es verdadera
3. Verificar si en esos modelos la oracin que se
desea inferir t ambin es verdadera
IA4001 Sistemas de Bsqueda y Razonamiento
Concept os relacionados
Equi v al enci a l gi ca
dos oraciones son lgicament e equivalent es si
son verdaderas en los mismos modelos son verdaderas en los mismos modelos
Val i dez
una oracin es vlida si es verdadera en t odos
los modelos
Sat i sf aci bi l i dad
una oracin es sat isfacible si es verdadera en
al menos un modelo
Equivalencias
Conmut at ividad
Dist ribut ivida
P Q Q P . .
) ( ) ( ) (
) ( ) ( ) (
R P Q P R Q P
R P Q P R Q P . v . v .
Asociat ividad
Eliminacin de doble
negacin
Leyes de Morgan
Eliminacin de
I mplicacin
P Q Q P v v
) ( ( ) ) ((
)) ( ( ) ) ((
R Q P R Q P
R Q P R Q P
v v v v
. . . .
) ( ) ( ) ( R P Q P R Q P v . v . v
Q P Q P
Q P Q P
. v
v .
) (
) (
negacin
Cont raposit iva
Eliminacin de Doble
implicacin
P P ) (
P Q Q P
Q P Q P v
) ( ) ( P Q Q P Q P .
IA4001 Sistemas de Bsqueda y Razonamiento
Validez
Una oracin es vlida ( t aut ologa) si siempre es
verdadera.
q p v
q q p . v ) (
p q
F
F
F
T T
F F
F
T
T
p q q p . v ) ) ((
T
T
T
T
T
F
F
V
T
T
Validez e inferencia
Teor ema de l a deducci n: Si una implicacin
es vlida, la conclusin es consecuencia lgica de
las premisas, y viceversa. p , y
Las reglas de inferencia son pat rones est ndar
que represent an implicaciones vlidas.
o | si y solo si es vlida ) ( | o
Forma General:
|
o
premisas
conclusin
Significa que es vlida.
| o
Forma General:
IA4001 Sistemas de Bsqueda y Razonamiento
Modus ponens
si llueve ent onces me moj o, llueve,
|
o | o ,
por l o t ant o
me moj o.
Eliminacin de and
Ganan los rayados y pierde el Amrica y t engo
i
n
o
o o o . . . ...
2 1
y y p y g
floj era y hoy hay Expot ec,
por l o t ant o
t engo floj era.
IA4001 Sistemas de Bsqueda y Razonamiento
I nt roduccin de and
o o o
Ganan los rayados, pierde el Amrica, t engo
floj era, hoy hay Expot ec,
n
n
o o o
o o o
. . . ...
,..., ,
2 1
2 1
floj era, hoy hay Expot ec,
por l o t ant o
ganan los rayados y pierde el Amrica y t engo
floj era y hoy hay Expot ec.
I nt roduccin de or
o
Maana me caso, por lo t ant o maana me caso
o maana no me caso o me gust a el chocolat e
n
i
o o o
o
v v v ...
2 1
o maana no me caso o me gust a el chocolat e
o no hago mi t area o . . . .
IA4001 Sistemas de Bsqueda y Razonamiento
Doble negacin
o
No es ciert o que maana no me caso, por lo
t ant o maana me caso
o
o
t ant o maana me caso.
Modus t ollens
| |
Si no ganan los rayados ent onces me enoj o,
no me enoj o, por lo t ant o ganan los rayados.
o
| | o

,
IA4001 Sistemas de Bsqueda y Razonamiento
Resolucin
| |
| | o ,
Est udio o veo t ele; no est udio o me duermo; por
o
| | o
v
v v , o
o
| o |
v
,
Est udio o veo t ele; no est udio o me duermo; por
lo t ant o veo t ele o me duermo.
Uso de reglas de inferencia
Pr ueba: derivar una oracin de ot ras por la
aplicacin de reglas de inferencia
Pruebas y bsqueda
Monot ona: el conocimient o inferido slo puede
increment arse cuando se aade informacin a la
KB
si KB | entonces (KB . o) |
IA4001 Sistemas de Bsqueda y Razonamiento
I nferencia y el Wumpus
1 2 3 4
4
A
OK OK
OK
Brisa
V
?P
?P
Fuchi
cmo inferir que el
Wumpus est en (1,3) ?
3
2
1
La base de Conocimient os
R1: S1, 1 W1,1 . W1,2 . W2,1
R2: S2, 1 W1,1 . W2,1 . W2,2 . W3,1
R3: S1, 2 W1,1 . W1,2 . W2,2 . W1,3
R4: S1, 2 W1,3 v W1,2 v W2,2 v W1,1
Dnde est a el Wumpus?
Encont rando al Wumpus
1.- Aplicar Modus Ponens a la sent encia R1:
W1, 1 . W1, 2 . W2, 1
2.- Aplicar El i mi naci n del And, al result ado ant erior, obt eniendo 3
sent encias separadas
W1, 1 W1, 2 W2, 1
3.- Aplicar Modus Ponens a R2, y ent onces aplicar El i mi naci n del And al
result ado, obt eniendo 3 sent encias
W2, 2 W2, 1 W3, 1
4.- Aplicar Modus Ponens a R4, obt eniendo:
W1, 3 v W1, 2 v W2, 2 v W1, 1
5.- Aplicar la regla de Resol uci n Uni t ar i a, donde alfa es W1, 3 v W1,2 v
W2,2 y bet a es W1,1:
W1, 3 v W1, 2 v W2, 2
6. - Aplicar de nuevo la regla de Resol uci n Uni t ar i a con W1, 3 v W1,2
como alfa y W2, 2 como bet a:
W1, 3 v W1, 2
7. - Finalment e, una ms de Resol uci n con W1, 3 como alfa y W1, 2 como
bet a:
W1, 3
IA4001 Sistemas de Bsqueda y Razonamiento
Ot ro ej emplo
Pr obl ema:
Si el unicornio es un ser mt ico, ent onces es inmort al,
pero si no es mt ico, ent onces es un mamfero mort al. Si
l i i i t l f t l el unicornio es ya sea inmort al o mamfero mort al,
ent onces t iene cuernos. El unicornio es mgico si t iene
cuernos.
Probar si es mt ico, mgico, t iene cuernos.
Traduccin a oraciones de Lgica Proposicional:
I Mit
? ?, ?,
) (
Mag C Mit
Mag C
C MM I
MM Mit
I Mit

v


Solucin
MM I
MM Mit I Mit ,
MM I v
C
MM I C MM I v v , ) (
Tiene Cuernos
C M C
Mag
C Mag C ,
Es Mgico
** No se puede probar que sea Mtico **
IA4001 Sistemas de Bsqueda y Razonamiento
Aplicacin de la resolucin
Regla de resolucin:
n j m i
q q q p p p v v v v v v v v ... ... , ... ...
1 1
La resolucin se aplica a disyunciones de lit erales
( clusulas o Forma Normal Conj unt iva)
n j j m i i
q q q q p p p p v v v v v v v v v v v
+ +
... ... ... ...
1 1 1 1 1 1
p
i
y q
j
son literales complementarias
La resolucin es un procedimient o de inferencia
correct o y complet o
IA4001 Sistemas de Bsqueda y Razonamiento
Ej emplo: Conversin a FNC
Eliminar implicaciones y dobles implicaciones Eliminar implicaciones y dobles implicaciones
q p q p p q q p q p v . ), ( ) (
) ( C B A v
) ) (( )) ( ( A C B C B A v . v
) ) ( ( )) ( ( A C B C B A v v . v v
Conversin a FNC
I nt roducir negaciones
) ) ( ( )) ( ( A C B C B A
p p
q p q p
q p q p

v .
. v
) (
) (
) ) ( ( )) ( ( A C B C B A v v . v v
) ) (( )) ( ( A C B C B A v . . v v
IA4001 Sistemas de Bsqueda y Razonamiento
Conversin a FNC
Dist ribuir la disyuncin sobre la conj uncin:
) ) (( )) ( ( A C B C B A v . . v v
) ( ) ( ) (
) ( ) ( ) (
p r p q p r q
r p q p r q p
v . v v .
v . v . v
) ( ) ( )) ( ( A C A B C B A v . v . v v
Conversin a FNC
Cada element o de la conj uncin represent a una Cada element o de la conj uncin represent a una
clusula:
C B A C v v : 1
) ( ) ( )) ( ( A C A B C B A v . v . v v
A C C
A B C
C B A C
v
v
v v
: 3
: 2
: 1
IA4001 Sistemas de Bsqueda y Razonamiento
I nferencia mediant e resolucin
R P
Q P
KB i i i l:
S R
S Q
R P

KB inicial:
Q P v
S R
S Q
R P
Q
v
v
v En FNC:
Ej emplo
KB inicial: S Q
R P
Q P
v
v
v
Q Pv S Qv
R Pv S Pv
S Demostrar
S R v
S Rv R S v
S
IA4001 Sistemas de Bsqueda y Razonamiento
Resolucin y pruebas por refut acin
Teor ema de l a r ef ut aci n: En lugar de
demost rar P, se demuest ra que su negacin P
nos conduce a una inconsist encia o nos conduce a una inconsist encia o
cont radiccin.
En t rminos de clusulas, la inconsist encia se
det ect a cuando se deduce la clasula vaca =
f al se
o | si y solo si no es satisfacible ) ( | o .
f al se
Ej emplo de resolucin por refut acin
KB inicial:
S R
S Q
R P
Q P
v
v
v
Se quiere probar si S se deduce
de la KB.
S
S R

v
Q Pv S Qv
R Pv
S Rv
S Pv
R S v
Negaci n
del quer y
S
S Rv R S v
S
IA4001 Sistemas de Bsqueda y Razonamiento
Conclusiones
Los agent es int eligent es necesit an conocimient o
para t omar buenas decisiones.
El conocimient o de los agent es int eligent es se
almacena en una base de conocimient os y un
mecanismo de inferencia para producir nuevo
conocimient o
L L i P i i l i i l La Lgica Proposicional es un mecanismo simple
de represent acin e inferencia, pero llega a ser
imprct ica para proceso ms complej os.