You are on page 1of 156

1 /157

Sistemas Basados en Conocimiento


Daniel Neri Ramirez
SISTEMAS INTELIGENTES
2 /157
Mapa Conceptual del Curso
3 /157
LOGICA PROPOSICIONAL
1. Agentes Basados en Conocimiento.
2. Representacin del Conocimiento.
3. Sintaxis y Semntica de un Lenguaje
4. Sintaxis
5. Semntica
6. Bibliografa
4 /157
Objetivo
Presentar a los agentes basados en conocimiento.
Exponer los conceptos acerca de la representacin del
conocimiento y el proceso de razonamiento.
Exponer las tcnicas para el diseo de agentes capaces de
elaborar representaciones del mundo.
Presentar los conceptos bsicos de la lgica proposicional.
5 /157
AGENTES BASADOS EN
CONOCIMIENTO
6 /157
Agentes Basado en Conocimiento
Un agente basado en conocimiento (ABC) es aquel sistema
que posee conocimiento de su mundo y que es capaz de
razonar sobre las posibles acciones que puede tomar para
cambiar el estado de su mundo.

El agente es un conjunto de sentencias, representado
mediante un lenguaje de representacin de conocimiento.

7 /157
Agentes Basado en Conocimiento
S
e
n
s
o
r
e
s

E
f
e
c
t
o
r
e
s

Base de
Conocimiento
Motor de
Inferencia
Percepciones Acciones
mundo
8 /157
Elementos
Lenguaje de representacin de conocimiento.
Lenguaje formal de representacin, se usar la lgica
proposicional y ms adelante la lgica de predicados.
El conocimiento se representa mediante sentencias.

Inferencia.
Es la derivacin de nuevas sentencias a partir de las
sentencias almacenadas y nuevas percepciones.
Adicin de nuevo conocimiento (TELL)
Consultas a la BC (ASK)
Lenguaje + Inferencia = Lgica
9 /157
Base de Conocimiento (KB)
Es la representacin de un conjunto de hechos acerca del
mundo.
Cada hecho est representado por una sentencia u
oracin.
LA BC tiene conocimiento previo, que corresponde al
conocimiento no aprendido.
Siempre que se ejecuta el programa del ABC, sucede dos
cosas:
El programa informa a la BC lo que percibe.
El programa pregunta a la BC qu hacer, luego grabar la
respuesta. La pregunta se responde mediante el
razonamiento lgico.
10 /157
Niveles de un ABC
Nivel de conocimiento o epistemolgico.
Es el nivel abstracto, describe qu es lo que el agente sabe.
Corresponde al dominio del conocimiento (objeto de conocimiento).

Nivel lgico.
Es donde el conocimiento se codifica mediante oraciones o
sentencias.

Nivel de implementacin.
Es el que opera la arquitectura del sistema.
Es donde se encuentra las representaciones fsicas de las
oraciones correspondientes al nivel lgico
11 /157
Agentes Lgicos
Se puede construir un agente basado en el conocimiento
INFORMNDOLE todo lo que necesita saber.
Si el lenguaje de representacin facilita expresar este
conocimiento mediante oraciones, el problema de la
construccin se simplifica enormemente.
A esto se le llama enfoque declarativo de la construccin
de un sistema
Prolog es un lenguaje declarativo que facilita la
representacin del conocimiento mediante oraciones.
Es posible disear tambin mecanismos de aprendizaje
que, dado un conjunto de percepciones, producen un
conocimiento general del ambiente.

12 /157
Ejercicio 1
Los agentes lgicos son automticos, autnomos o ambos,
explique su respuesta.
Qu lenguaje de representacin de conocimiento existe?
Indique cuatro ejemplos de representacin de conocimiento
mediante un lenguaje.
Qu conocimiento no es posible representar mediante un
lenguaje?
Qu otro mecanismo de representacin de conocimiento
existe?
Defina el concepto de sistemas conexionistas, en relacin a
los sistemas simblicos.
13 /157
REPRESENTACION DEL
CONOCIMIENTO
14 /157
Representacin del Conocimiento
Expresar el conocimiento de forma que sea manejable por
el computador, de modo que pueda ser utilizado como
auxiliar para el desempeo de los agentes.

15 /157
Representacin del conocimiento
16 /157
Representacin del Conocimiento
El lenguaje consta de dos aspectos:
Sintaxis.
Explica las posibles configuraciones mediante las cuales
se forma las oraciones o sentencias (lenguaje).

La semntica.
Determina los hechos del mundo a los que se hace
alusin en las oraciones o sentencias.

Si la semntica y la sintaxis estn definidas de manera
precisa, se dice que el lenguaje es una lgica.
17 /157
La conexin entre oraciones y hechos es algo que se
establece mediante la semntica del lenguaje.
La propiedad de que un hecho es decir la consecuencia de
otros hechos, se refleja en la propiedad de que una oracin
es consecuencia de otras oraciones.
La inferencia lgica genera nuevas oraciones que son
consecuencia de oraciones ya existentes.

Representacin del Conocimiento
Hechos Hechos
producen
Oraciones
implican
Oraciones
Representacin
Mundo
S
e
m

n
t
i
c
a

S
e
m

n
t
i
c
a

18 /157
SINTAXIS Y SEMANTICA DE
UN LENGUAJE
(Lgica Proposicional)
19 /157
Sintaxis
Un buen lenguaje de representacin de conocimiento debe
de combinar las ventajas de los lenguajes naturales y
lenguajes formales:
Debe ser lo suficiente expresivo y conciso para que nos permita
expresar de manera sucinta todo lo que hay que decir.

Debe ser inequvoco (no ambiguo) e independiente del contexto
para su interpretacin.

Debe ser eficiente en el sentido de que debe existir un
procedimiento de inferencia que permita obtener nuevas inferencias
a partir de oraciones en nuestro idioma.
20 /157
Ejemplos de Lenguajes
Lenguajes de programacin (C, Pascal, Lisp, etc.)
Son idneos para representar algoritmos y estructuras de datos
concretas: Mundo[2,2] precipicio.
El problema es que estn diseados para describir cabalmente el
estado de la computadora y de cmo cambiar sta conforme el
programa se va ejecutando
Qu pasa cuando la informacin es incompleta o hay
incertidumbre? En estos casos estos lenguajes no son lo
suficientemente expresivos.
Lenguajes naturales (espaol, ingls, francs, quechua.)
Son expresivos
El significado de una oracin depende tanto de la oracin como del
contexto en que se produce.
Son ambiguos : pequeos perros y gatos vs. -d + c.
21 /157
Semntica
En lgica, el significado de una oracin es aquello que se
afirma del mundo, que el mundo sea de una forma.
Para entender una oracin, quien la escriba tiene que
proporcionar su respectiva interpretacin. Ninguna oracin
tiene significado por s misma.
mensajes en cdigo enviados de un espa a otro.

Los lenguajes que nos interesan son todos compositivos o
de composicin: el significado de una oracin es funcin
del significado de sus partes.
El significado de x
2
+y
2
est relacionado con los significados de x
2
y y
2


Una vez que mediante la semntica se interpreta una
oracin, sta puede ser cierta o falsa.
Una oracin es cierta dentro de una interpretacin deter-
minada si el estado de asuntos que representa es cierta.
22 /157
Sintaxis y Semntica
Sintaxis
1. Conjuncin ().
2. Disyuncin (V)
3. Implicacin
4. Premisas
5. Conclusin.
6. Equivalencia
7. Negacin.
8. Sentencias Atmicas
9. Sentencias Completas

Semntica
1. Tabla de verdad.
2. Validez e inferencia
3. Modelos
4. Reglas de inferencia

23 /157
SINTAXIS





24 /157
Smbolos
Los smbolos usados en la lgica propositiva son:
Las constantes lgicas Verdadero y Falso.
Los smbolos de proposiciones tales como P y Q.
Los conectivos lgicos ., v, , , y y parntesis ().
Todas las oraciones se forman combinando los smbolos anteriores
mediante ciertas reglas.
Las constantes lgicas Verdadero y Falso constituyen
oraciones en s mismas
Un smbolo propositivo como P o Q es una oracin en s
misma.
Encerrar entre parntesis una oracin produce tambin una
oracin, por ejemplo (P . Q).
25 /157
Oraciones
Un conjunto de palabras con sentido gramatical.
La oracin es la mnima unidad comunicacional, con
significado completo.
Esto significa que es el fragmento ms pequeo del
enunciado que comunica una idea total, y posee
independencia (es decir, podra sacarse del contexto y
seguir comunicando, no lo mismo, pero algo).
En la lgica, es la unidad de anlisis fundamental.
http://es.wikipedia.org/wiki/Proposici%C3%B3n
26 /157
Ejercicio 3
Diga cuales de las siguientes expresiones son oraciones:
Lus y Marta van de pesca.
sintate!
sintate! Le dijo Yaku a su maquisapa.
El autobs pasa a las seis
Maana llover.
Llovi!
Llovi pregunto Julia a su padre
Lus llam a Marta para salir.
cundo sale el autobs?
fueron a pescar Luis y Marta finalmente?
27 /157
Sintaxis
Conjuncin () (y). A la oracin cuyo conector principal es
. (y) se le llama conjuncin, y a sus partes se les llama
coyuntos.
Disyuncin (V) (o). A la oracin cuyo conector principal es v
(o) se le llama disyuncin, y a sus partes se les llama
disyuntos.
Implicacin (). Una oracin como P R se conoce como
implicacin (o condicional), su premisa o antecedente es
P y su conclusin o consecuente es Q. A las
implicaciones tambin se les llama reglas o aseveraciones
si-entonces.
Premisas. Son los antecedentes de una implicacin.

Premisa1: Si un libro es sobre ordenadores entonces es terriblemente aburrido
Premisa2: ste es un libro sobre ordenadores
Conclusin: Este libro es terriblemente aburrido
28 /157
Sintaxis
Conclusin.
Corresponden al
consecuente de una implicacin
Equivalencia.
Dos sentencias y son equivalentes lgicamente si es que son
verdaderas con el mismo conjunto de hechos.
Negacin (no).
A una oracin como P se le llama negacin de P. es el nico de
los conectores que funcionan como una sola oracin.
Sentencias Atmicas.
Verdadero, falso, P, Q, R, S
Sentencias Completas.
Sentencia | Conectivos | Sentencias
Sentencia
Premisa1: A B
Premisa2: A
Conclusin: B
29 /157
Ejercicio 4
Formaliza las siguientes proposiciones:
1. No es cierto que no me guste bailar
2. Me gusta bailar y leer libros de ciencia-ficcin.
3. Si los gatos de mi hermana no soltaran tanto pelo me gustara
acariciarlos.
4. Si y slo si viera un marciano con mis propios ojos, creera que hay
vida extraterrestre.
5. Una de dos: o salgo a dar un paseo, o me pongo a estudiar como un
energmeno.
6. Si los elefantes volaran o supieran tocar el acorden, pensara que
estoy como una regadera y dejara que me internaran en un
psiquitrico.
7. Prefiero ir de vacaciones o estar sin hacer nada si tengo tiempo para
ello y no tengo que ir a trabajar.
30 /157
Ejercicio 4
1. [B me gusta bailar]. (B)

2. [B me gusta bailar. C me gusta leer libros de ciencia ficcin]. B C

3. [G los gatos de mi hermana sueltan pelo. A me gusta acariciar los gatos ].
G A

4. [M ver un marciano con mis propios ojos. E creer en los extraterrestres ].
M E

5. [P salir a dar un paseo. E estudiar como un energmeno]. P V E

6. [E los elefantes vuelan. T los elefantes tocan l acorden. L estar loco. P
internar en un psiquitrico ]. ( E V T ) ( l P)

7. [ V ir de vacaciones. N no hacer nada. T tener tiempo. I ir a trabajar].
(T I ) (V V N )
31 /157
Ejercicio 5
Formaliza la siguientes proposicin:
Si tuvieran que justificarse ciertos hechos por su enorme
tradicin entonces, si estos hechos son inofensivos y
respetan a todo ser viviente y al medio ambiente, no habra
ningn problema. Pero si los hechos son brbaros o no
respetuosos con los seres vivientes o el medio ambiente,
entonces habra que dejar de justificarlos o no podramos
considerarnos dignos de nuestro tiempo.

32 /157
Ejercicio 5
J. Justificar hechos
T. Enorme tradicin.
I. hechos inofensivos y respetan a todo ser vivo y al medio
ambiente
N. no hay problema
D. dignos de nuestro tiempo

[(J T) (I N)] [(-I -J) V D]
33 /157
Ejercicio 6
Formaliza la siguientes proposicin:
Mary puede escribir el programa en Fortran o Pascal o de
plano no escribirlo. Si no escribe el programa sacar cero y
reprobar el curso. Si reprueba el curso ser puesta en el
padrn de jalados y si se saca cero su novio la dejar. Si
Mary escribe el programa en Fortran reprobar el curso
pero si lo escribe en Pascal pasar.

34 /157
Ejercicio 6
P: Mary escribe el programa en Pascal
Q: Mary escribe el programa en Fortran
R: Mary no escribe el programa
S: Mary saca un cero
T: Mary reprueba el curso
U: Mary es puesta en el padrn de jalados
V: El novio de Mary la deja.

(PVQVR) (PVQR) (R(S T) (TU) (QT) (PT)
35 /157
Ejercicio 7
Traduce los siguientes razonamientos a lgica proposicional y
luego intenta demostrar si la conclusiones son o no
consecuencia lgica de las premisas.

Tendremos clases solo si el profesor ha venido y si hay
proyector de transparencias o si hay tiza en la sala
No hay proyector de transparencias y Mara no trajo tiza
No tendremos clases

Si cro us entonces si estos salen giles, aprender chino
Los us no salen giles a menos que pasten junto a las
vacas
Nunca aprender chino
No cro us
36 /157
Ejercicio 7
Si manejo ebrio a las 6:00 PM en la Va Expresa y no choco,
los polticos sern honestos.
Si los polticos son honestos entonces DEVIDA es buena
eliminando la cocana del mercado NNAA.
DEVIDA es malsima eliminando la cocana del mercado
NNAA. .
Los polticos son honestos

O bien Toledo deja el gobierno o bien las protestas
aumentan.
Si las protestas aumentan, los polticos se esconden o Susy
Daz toma el poder.
Para que Susy Daz tome el poder es necesario que todos los
alumnos aprueben el curso de IA o que Toledo deje el poder.
Toledo deja el poder .
Susy Daz toma el poder
37 /157
SEMNTICA

38 /157
Tablas de Verdad
P Q P P . Q P v Q P Q P Q
F F V F F V V
F V V F V V F
V F F F V F F
V V F V V V V
39 /157
Validez e inferencia
Se puede obtener la validez de una oracin compleja de la
siguiente manera:

P H P v H (P v H) . P ((P v H) . P ) P
F F F F V
F V V F V
V F V V V
V V V F V
40 /157
Validez, Satisfabilidad, Contradiccin
Validez.
Si en la tabla de verdad se obtiene todas VERDAD

Contradiccin.
Si en la tabla de verdad se obtiene todas FALSE

Satisfabilidad.
Si en la tabla de verdad se obtiene al menos una VERDAD

Contingencia.
Si no se tiene suficiente informacin para llegar a una
conclusin
41 /157
Modelo
Un mundo en el que una oracin es verdadera de acuerdo
con determinada interpretacin se denomina modelo de
dicha oracin bajo tal interpretacin.

Los modelos son muy importantes para la lgica, puesto
que una oracin o es implicacin de una base de
conocimientos BC cuando los modelos de BC tambin son
todos modelos de o.

Siendo este el caso, siempre que BC sea verdadera,
tambin o ser verdadera.

42 /157
Reglas de Inferencia
La inferencia lgica es un proceso mediante el que se
implanta la relacin de implicacin que existe entre dos
oraciones.
Existen ciertos patrones de inferencia que se presentan
una y otra vez, lo que permite establecer de una vez por
todas su confiabilidad.
La regla permite evitar pasar por las tablas de verdad.

|= , que significa que se puede obtener desde
mediante inferencia.

43 /157
Reglas de Inferencia
Modus Ponens
Y-Eliminacin
Y-Introduccin.
O-Introduccin.
Doble Negacin Eliminacin.
Resolucin Unitaria
Resolucin.
44 /157
Ejercicio 8
Use la tabla de verdad para determinar si las siguientes
expresiones son validas, contradictorias o satisfactibles o
contingentes.
(p q) p V q
(p q) p V q
(p V q) p q
(p q) (q p)
(p q) (q p)
(q ((p p) r)) ((q (p p)) (q r))
(p V (p q)) p
(p (p V q)) p
(p (p q)) p
45 /157
Bibliografa
AIMA. Captulo 6, primera edicin.
AIMA. Chapter 7, second edition.


46 /157
INFERENCIA EN LGICA
PROPOSICIONAL
1. Inferencia.
2. Reglas de Inferencia
3. Formas Cannicas
4. Probador de Teoremas
5. Ejercicios
6. Anexo
7. Bibliografa
47 /157
Objetivos
Exponer los mecanismos de inferencia
Presentar las reglas de inferencia.
Presentar el concepto del probador de Teoremas
48 /157
INFERENCIA
y ahora qu hago?
49 /157
Inferencia
Segn la filosofa existen tres modos bsicos de
razonamiento:
Deduccin. inferencia desde las causas hacia los efectos, o
desde lo universal hacia lo particular.
Induccin. Recorre el camino inverso.
Abduccin o retroduccin. Relacionado con la gnesis de la
hiptesis
Inferencia
Deductiva o analtica
Sinttica
Induccin
Hiptesis
50 /157
Mecanismo de Inferencia
Realiza razonamiento
Verifica la consistencia de una sentencia dada.
Es completo si puede encontrar una prueba para cada
sentencia que se puede producir .
Es robusto si los pasos que se siguen conducen
solamente a sentencias que son consistentes con la base
de conocimiento
Teora de pruebas: Conjunto de pasos de razonamiento
que son robustos
51 /157
Inferencia
Razonamiento robusto, inferencia lgica, deduccin
Procedimiento que calcula la validez de sentencias
Una sentencia es valida si y solo si es verdadera para
todas las interpretaciones en todos los mundos posibles
(sentencias analticas, tautologas)
No hay limite en la complejidad de las sentencias
No importa la interpretacin que se este utilizando
Un proceso de inferencia confiable se denomina
demostracin

|=


desde se obtiene
: reglas de inferencia
: conjunto de frmulas bien formada
: teoremas que se pueden deducir desde
52 /157
Regla de inferencia
Patrn de inferencias que se presenta constantemente

Si se prueba su robustez una vez, se puede extender a
cualquier caso

Se utilizan para hacer inferencias sin tener que construir
tablas de verdad
53 /157
REGLAS DE INFERENCIA
Reglas + Observaciones
|=


54 /157
Reglas de inferencia
Modus Ponens : a b, a
b
Modus Tollens: a b, -b
-a
Eliminacin-y : a1 . a2 .. .an
ai
Introduccin-y: a1, a2, .,an
a1 . a2 .. .an
Introduccin-o:_____ai_________
a1 v a2 v . v an

Eliminacin-doble-negacin: ~~a
a
Resolucin Unitaria: av b, ~b
a
Resolucin: av b, ~b v c ~a b, b c
a v c ~a c
55 /157
Ejercicio 1
Cmo se puede demostrar que una nueva regla de
inferencia es vlida?
56 /157
FORMAS CANONICAS
57 /157
Forma Normal Clausal
Un literal es una variable proposicional o una variable
proposicional negada (o sea, con el smbolo delante).
En el primer caso diremos que es un literal positivo, y, en el
segundo, que es un literal negativo.

Una clusula es una sentencia de la forma:
L
1
V L
2
V L
n

donde los L
i
son literales y estn unidos por disyunciones.

Una sentencia est en forma clausulada si tiene la forma:
(L
11
V L
1
2 V...) (L
21
V L
22
V..) ...
58 /157
Conversin a Forma Clausal
1. Eliminar condicionales y bicondicionales:
A B A V B
A B (A B) (B A) (A V B) (B V A)

2. Introducir negaciones mediante las equivalencias (1)
(doble negacin), (2) y (3) (de Morgan):
(A) A
(A V B) A B
(A B) A V B

4. Distribuir las con la equivalencia:
L1 V (L2 L3) (L1 V L2) (L1 V L3)
59 /157
Ejemplo

G (R => F)
Paso 1: G (R V F)
Paso 2: no es necesario
Paso 3: no es necesario


(G (R => F))
Paso 1: (G (R V F))
Paso 2: (G (R F))
G V (R F)
G V (R F)
Paso 3: (G V R) (G V F)
60 /157
Ejercicio 2
Convertir a la FNC las siguientes expresiones:

1. (A (B V C) (EA)) V D
2. [(A(BVE)) (C(DVF))] V [((AVB)E) ((CVD)F)]
3. (A B C D) V (B C D E )
4. S (P (Q V R))
5. (P (Q V R)) (P V Q) R
6. (R V Q V P) (P Q)
7. (R (Q V P)) (P Q)

61 /157
PROBADOR DE TEOREMAS
62 /157
Probador de Teoremas
Conocido como:
Refutacin.
Demostracin por contradiccin
Reduccin al absurdo

Consiste en que para demostrar P(x), suponemos que P(x)
es falsa (se aade P(x) a la BD) y se demuestra la
contradiccin

[BD P(x) Falso] [BD P(x)]
63 /157
Ejemplo
Supongamos que tu me quieres, si me quieres entonces
debemos ser fieles, pero no me has sido fiel, por lo tanto no
me quieres.

Supongamos que eres un excelente congresista, si eres un
excelente congresista entonces debes plantear leyes de
alcance nacional, pero siempre te preocupas de los
problemas eventuales, entonces eres un psimo
congresista.

Si eres un buen hijo, entonces siempre debes de hacerle
caso a la mam, pero nunca le haces caso a la mam, por
lo tanto no eres un buen hijo.
64 /157
EJERCICIOS
65 /157
Ejercicio 3
Si pedro le apost a Pittsburg, entonces se gast el dinero.
Si Pedro se gast el dinero entonces su esposa no compra
joyas y su esposa pide divorcio.
Si su esposa no compra joyas, entonces los nios no
comen o la esposa est enojada.
Pedro le apost al Pittsburg .
Los nios comen por lo tanto su esposa est enojada.

66 /157
Ejercicio 3
P: Pedro le apost a Pittsburg
Q: Pedro se gast el dinero.
R: Su esposa no compra joyas
S: Su esposa pide divorcio
T: Los nios comen
U: Su esposa est enojada
1. PQ
2. QR S
3. RT V U

4. P
5. T U

7. Q modus ponens (1, 4)
8. R S modus ponens (2, 7)
9. R y eliminacin (8)
10. T V U modus pones (3, 9)
11. T U ley implicacin
67 /157
Ejercicio 4
Establezca la siguiente expresin en lgica proposicional y
diga si es posible llegar a la conclusin indicada:
Para que el pas salga adelante, se requiere de empresas.
Para hacer una empresa se requiere inversin.
Para invertir se requiere dinero
Si tengo una empresa entonces tengo dinero
Si eres peruano no tienes dinero
Si eres extranjero tienes dinero
Soy peruano .
El pas no sale adelante
68 /157
Ejercicio 5
Establezca la siguiente expresin en lgica proposicional y
diga si es posible llegar a la conclusin indicada:
Si quiero bajar de peso, debo comer a la hora, hacer
ejercicio, dormir bien y no ver TV ms de 1 hora al da.
Para dormir bien, debo hacer ejercicios.
Para ver TV 1 hora, debo dormir bien.
Siempre hago ejercicios
No bajo de peso
69 /157
Ejercicio 6
Establezca la siguiente expresin en lgica proposicional y
diga si es posible llegar a la conclusin indicada:
Para que la USMP salga adelante se requiere de buenos
profesores y de buenos alumnos.
Los buenos profesores aparecen si hay buenos sueldos,
buenos laboratorios y capacitacin constante.
Para tener capacitacin constante se requiere buenos
profesores.
Los buenos profesores generan nuevos proyectos
Los nuevos proyectos generan recursos propios
Los recursos propios generan buenos sueldos
Todos los alumnos son buenos
Hay capacitacin constante.
La USMP sale adelante
70 /157
Ejercicio 7
Establezca la siguiente expresin en lgica proposicional y
diga si es posible llegar a la conclusin indicada:
Para terminar la USMP, debo aprobar todos mis cursos.
Para aprobar mis cursos, debo estudiar y ser inteligente.
Para estudiar debo tener dinero y tiempo.
Soy inteligente
Tengo dinero pero no tiempo
Termino la USMP
71 /157
Ejercicio 8
Establezca la siguiente expresin en lgica proposicional y
diga si es posible llegar a la conclusin indicada:
Si la banda no toca Rock and Roll, o las bebidas no llegan
a tiempo, entonces la fiesta se cancela y Alicia est
enojada.
Si la fiesta se cancela entonces hay que regresar el dinero
de las entradas.
No se regres el dinero de las entradas.
Por lo tanto, la banda toca Rock and Roll.
72 /157
Ejercicio 9
Dado los siguientes axiomas:
(1). P
(2). (P . Q) R
(3). (S v T) Q
(4). T

Probar por refutacin: R
73 /157
Ejercicio 9
Convirtiendo a la forma cannica FNC
(1). P P
(2). (P . Q) R P v Q v R
(3). (S v T) Q S v Q
(4). T v Q
(5). T T

Introduciendo la proposicin a probar

(6) R
74 /157
Ejercicio 9
Aplicando reglas de inferencia (resolucin)
P v Q v R R
P v Q
T v Q
P
Q
T T
nil
75 /157
Ejercicio 10
Demostrar que (),(),() |= (v)


76 /157
Ejercicio 10
1
()
Premisa
2
()
y-eliminacin, lnea 1
3 (v) Premisa
4
()
eliminacin, 2 y 3 (modus ponens)
5
()
Y eliminacin (derecha), lnea 1
6 () Premisa
7
()
eliminacin, 5, 6 (modus ponens)
8
(v)
Y - introduccin

77 /157
Ejercicio 11
~S11
~S21
S12
~B11
B21
~B12
R1: ~S11 ~W11 . ~W12 . ~W21
R2: ~S21 ~W11 . ~W21 . ~W22 . ~W31
R3: ~S12 ~W11 . ~W12 . ~W22 . ~W13
R4: S12 W11 v W12 v W22 v W13
Prueba para encontrar el wumpus:

~S11 y R1 con Modus Ponens (1)
(1) con Eliminacin-y (2)
~S21 y R2 con Modus Ponens (3)
S12 y R4 con Modus Ponens (4)
Resolucin unitaria con (4) y ~W11 (5)
Resolucin unitaria con (5) y ~W22 (6)
Resolucin unitaria con (6) y ~W12
1. ~W11 . ~W12 . ~W21
2. ~W11, ~W12, ~W21
3. ~W11 . ~W21 . ~W22 . ~W31
4. W11 v W12 v W22 v W13
5. W12 v W22 v W13
6. W12 v W13
7. W13
S12 = hedor en [1,2]
78 /157
ANEXO
79 /157
Forma Normal Conjuntiva
Se supone que todas las disyunciones (V) de la BC se
agrupan en una conjuncin () implcita grande, por lo que
a esta forma se le denomina forma normal conjuntiva
(CNF), an cuando cada oracin en particular es una
disyuncin (V)
Forma Normal
Conjuntiva
P V Q

P
Forma Normal
Implicativa
P Q

Verdad P
80 /157
Formas Cannicas
Forma normal conjuntiva (CNF). Disyuncin de literales.
Forma normal implicativa (INF). Conjunciones en la
izquierda que implica las disyunciones en el derecho.






La CNF es ms comn, pero la INF es ms "natural" para el
anlisis humano.
Original KB CNF INF
x P(x) Q(x) P(w)v Q(w) P(w) Q(w)
x P(x) R(x) P(x) v R(x) True P(x) v R(x)
x Q(x) S(x) Q(y)v S(y) Q(y) S(y)
x R(x) S(x) R(z)v S(z) R(z) S(z)
A, A B True A, A B
B True B
81 /157
Bibliografa
AIMA. Captulo 6, primera edicin.
AIMA. Chapter 7, second edition.


82 /157
LOGICA DE PREDICADOS
1. Lgica de Predicados.
2. Sintaxis
3. Frmulas Bien Configuradas
4. Bibliografa
83 /157
Objetivos
Presentar los conceptos bsicos de la lgica de predicados.
Presentar una lgica suficiente para construir agentes
basados en el conocimiento.
84 /157
LOGICA DE PREDICADOS
Lgica de Primer Orden
85 /157
Lgica de Predicados
Lgica de primer orden.

Es una lgica con suficiente expresividad para
representar nuestro sentido comn.

La lgica de predicados tiene alcances
ontolgicos ms amplios.

Considera el mundo constituido por objetos y
propiedades que los distingan, a diferencia
de la lgica proposicional que slo permite
representar hechos.

86 /157
Lgica de Predicados
Est basada en la idea de que las sentencias realmente
expresan relaciones entre objetos, as como tambin
cualidades y atributos de tales objetos.
Los objetos pueden ser personas, objetos fsicos, o
conceptos.
Las cualidades, relaciones o atributos, se denominan
predicados. Los objetos se conocen como argumentos o
trminos del predicado.
Al igual que las proposiciones, los predicados tienen un
valor de veracidad, pero a diferencia de las preposiciones,
su valor de veracidad, depende de sus trminos. Un
predicado puede ser verdadero para un conjunto de
trminos, pero falso para otro.
87 /157
Ejercicio 1
Para las siguientes oraciones indique donde existe una
relacin y donde un atributo.
1. Aijo vive en la misma casa que Chucho.
2. Tuka y Pika vuelvan.
3. Yaku y Amar vuelan juntos.
4. A + B
5. A + B = C
6. f(A)
7. f(A) = , f(B) = y f(C) =
8. Ana 17 aos, Erika 19 aos, Julia 18 aos
9. Ana, Erika y Julia van a la universidad
10. Edo administra la empresa donde Rai trabaja.
88 /157
Predicado
Un predicado es lo que se afirma del sujeto.

Predicado.
Propiedades
Cualidades
Relaciones
Atributos.
Funciones
Sujeto.
Argumentos
Trminos
Objetos, Personas, Conceptos
predicado
sentencia
sujeto objeto
89 /157
Proposiciones y Predicados
Un proposicin es una oracin completa donde se afirma
algo acerca de un sujeto identificado.

Una sentencia en lgica de predicados es una oracin
completa donde se afirma algo acerca de un sujeto. El
sujeto puede ser una constante o una variable.
sentencia = oracin = enunciado
90 /157
Ejemplos
Objetos:
personas, casas, nmeros, la SUNAT, USMP, colores,
guerras, siglos, . . . .

Relaciones:
diferente_que, hermano-de, cerca_de, amigo_de,
de_color, hijo_de_y_padre_de, vive_en, es_el_dueo.

Propiedades:
Rojo, redondo, pisos,

Funciones:
el_siguiente, mayor_que, sumatoria,
91 /157
Ejercicio 2
Identifique para las siguientes expresiones el sujeto y el
predicado. Indique el tipo de predicado:
1. Uno ms dos es igual a tres

2. Los cuadros cercanos al wumpus apestan

3. Wayra vive en la provincia de condorcanqui y chaccha coca.

4. Todos los gatos comen ratones y los ratones comen quesos.

5. Ayer, hoy y maana son das festivos.
92 /157
Aplicaciones
Especificacin formal de
programas, la cual permite
describir lo que el usuario desea
que un programa realice, mediante
piezas de cdigo.

Verificacin formal de programas,
las piezas de cdigo son
acompaadas por pre y post
condiciones, las cuales se escriben
como frmulas del Clculo de
Predicados.
93 /157
SINTAXIS






94 /157
Sintaxis (1)
El alfabeto est formado por:
Sentencia atmica:
predicado (trmino, ....)
termino = trmino

Sentencias:
sentencia
sentencias_atmicas.
(sentencia conectiva sentencia)

cuantificador variable, ....,
sentencia

Trmino:
funcin trmino
constante
variable
Smbolos de conectivas:
( ., v, , , y )

Cuantificador universal:
(para todos)

Cuantificador existencial:
- (existe al menos uno)
95 /157
Sintaxis
constantes lgicas: Verdadero, Falso

smbolos de constantes A, D (letras maysculas).
smbolos de variables x, z (x, y, z)
smbolos de predicados y funciones (letras minsculas).

96 /157
Sintaxis
Oraciones atmicas
Los trminos y signos de predicado se combinan para formar
oraciones atmicas, mediante las que se afirman hechos.

Una oracin atmica est formada por un signo de predicado y por
una lista de trminos entre parntesis, ejemplo
Hermano (Ricardo, Juan)
Casado (PadreDe (Ricardo), MadreDe (Juan))

Se dice que una oracin atmica es verdadera si la relacin a la que
alude el signo de predicado es vlida para los objetos a los que
aluden los argumentos.

97 /157
Sintaxis
Oraciones
Mediante los conectores lgicos se pueden construir
oraciones ms complicadas, ejemplo:

Hermano (Ricardo, Juan) . Hermano (Juan, Ricardo)
Mayor (Juan, 30) v Menor (Juan, 30)
Mayor (Juan, 30) Menor (Juan, 30)
Hermano (Robin, Juan)

98 /157
Sintaxis
Trminos.
Es una expresin lgica que se refiere a un objeto.
Es el argumento del predicado.

Cuando un trmino no tiene variables se le conoce como
trmino de base.


99 /157
Cuantificadores
Cuantificadores
Los cuantificadores permiten expresar propiedades de
grupos completos de objetos en vez de enumerarlos por
sus nombres.

La lgica de primer orden contiene dos cuantificadores
estndar, denominados universales y existenciales.

100 /157
Cuantificacin universal ()
Cuantificacin universal ()
Facilita la expresin de reglas generales, ejemplo: en vez de decir
Mancha es un gato y Mancha es un mamfero se usa:
x Gato (x) Mamfero (x)

Lo cual equivale a
Gato (Mancha) Mamfero (Mancha) . Gato (Rebeca)
Mamfero (Rebeca) . Gato (Flix) Mamfero (Flix) . Gato
(Juan) Mamfero (Juan) .

Por lo tanto la primera expresin ser valida si y slo si todas estas
ltimas son tambin verdaderas, es decir, si P es verdadera para
todos los objetos x del universo. Por lo tanto, a se le conoce como
cuantificador universal.
101 /157
Ejercicio 3
Representa en LP1 las siguientes expresiones:
1. Todos los alumnos deben matricularse para llevar el curso
de IA.

2. Todos los perros del barrio fueron vacunados en el
VANCAN2005.

3. Todos los congresistas fueron elegidos para ocupar el
cargo.

4. Todos los alumnos del curso de IA sern aprobados.
102 /157
Cuantificacin existencial (-)
Cuantificacin existencial (-)
Con ella podemos hacer afirmaciones sobre cualquier objeto del
universo sin tener que nombrarlo, ejemplo, si queremos decir que
Mancha tiene un hermano que es un gato:
-x Hermano (x, Mancha) . Gato (x)
En general, -x P es verdadero si P es verdadero para cierto objeto
del universo.
-x Hermano (x, Mancha) . Gato (x) equivale a las oraciones:
(Hermano (Mancha, Mancha) . Gato (Mancha)) v (Hermano (Rebeca,
Mancha) . Gato (Rebeca)) v (Hermano (Flix, Mancha) . Gato (Flix))
v (Hermano (Ricardo, Mancha) . Gato (Ricardo)) v

As como es el conector natural para
. es el conector natural para -.
103 /157
Ejercicio 4
Representa en LP1 las siguientes expresiones:
1. El hermano de Alejandro molesto al intocable periodista.

2. Dos hijos de Mara salieron a pasear.

3. Juan hijo de Mara salio a pasear.

4. Algunos estudiantes no entregaron su trabajo.

5. El congresista dijo por dios y por la plata
104 /157
Cuantificadores anidados
Para toda x y toda y, si x es el padre de y, entonces y es el
hijo de x
x,y Padre (x,y) Hijo (y,x)

Para toda x y toda y, si x es hermano de y, entonces y es
hermano de x
x,y Hermano (x,y) Hermano (y,x)

Todas las personas aman a alguien
x -y Aman (x,y)

Siempre hay alguien a quien todos aman
-y x Aman (x,y)
105 /157
Ejercicio 5
Representa en LP1 las siguientes expresiones:
1. Todas ciudades tienen un polica que ha sido mordido por
todos los perros de la Ciudad.

2. Para cada conjunto x, hay un conjunto y tal que el
cardinal de y es mayor que el cardinal de x.

3. Todos los bloques que estn encima de bloques que han
sido movidos o que estn unidos a bloques que han sido
movidos, tambin han sido movidos.

106 /157
Ejercicio 6
1. Algunos estudiantes llevaron Chino en el verano
2. Todos los estudiantes que llevaron Chino, pasaron
3. nicamente un estudiante llev Ingls en el verano
4. La mejor nota en Ingls es siempre mayor que la mejor
nota en Chino.
5. Toda persona que compra un poltico es inteligente.
6. Ninguna persona compra un poltico caro.
7. Este es un agente quin vende polticos nicamente a
personas que no son seguras.
8. Hay un barbero en la ciudad, quien afeita a todos los
hombres quienes no se pueden afeitar por si mismos.

107 /157
Solucin
- x [estudiante(x) llevo_curso (x, Chino, Verano)]

x [[estudiante(x) llevo_curso(x, Chino)] paso(x, Chino)]

-! x estudiante(x) llevo_curso(x, Ingles, Verano) alternativamente
- x [estudiante(x) llevo_curso(x, Ingles, Verano)]
- y [estudiante (y) llevo_curso (y, Ingles, Verano) (x = y))]

x, y [ [mejor_nota(x, Ingles) mejor_nota (y, Chino)] mayor(x,y) ]

x,y [ [persona(x) politico(y) compra(x, y)] inteligente(x) ]
alternativamente
x compra(x, Politico) inteligente(x)

[ x persona(x) compra (x, Politico) caro(Politico)]

-x y [ vende_politicos(x, y) persona_insegura(y) ]

- x barbero(x) y [ hombre(y) afeita_a(y, y) afeita_a(x, y)]
108 /157
FORMULAS BIEN
CONFIGURADAS
109 /157
Frmula bien configurada
Una oracin como x P (y), en la que y
carece de cuantificador, es incorrecta.

El trmino frmula bien configurada o
fbc se emplea para calificar oraciones en
las que todas sus variables se han
introducido adecuadamente.

~ f (A)
f (P(A))
Q{ f (A), [P (B) Q (C) ] }
A V ( ~)
fbc
110 /157
Bibliografa
AIMA. Captulo 7, primera edicin.
AIMA. Chapter 8, second edition.
http://www.earlham.edu/~peters/courses/logsys/glossary.htm


111 /157
INFERENCIA EN LOGICA DE
PREDICADOS
1. Sustitucin.
2. Unificacin
3. Reglas de Inferencia con Cuantificadores
4. Resolucin
5. Ejercicios
6. Bibliografa
112 /157
Objetivos
Exponer los mecanismos de inferencia en lgica de
Predicados.
Presentar los conceptos de Sustitucin y Unificacin.
Ampliar la tcnica de Resolucin a la Lgica de Predicados
Exponer las reglas de inferencia con cuantificadores.
Exponer las formas cannicas de la resolucin.
Exponer los conceptos del probador de teoremas
(refutacin)
113 /157
SUSTITUCION
114 /157
Trmino Base (Ground term)
El trmino base es:
Una constante
Taki
Al-Sadar
Mallcu
Al-Kadem
El resultado de una funcin donde todas sus entradas
son trminos base.
loriana(Lunes)
policia(Asiri)
115 /157
Sustitucin


Se utilizar la notacin SUST(u, o) para representar el
resultado de aplicar la sustitucin (o lista de enlace) u a la
oracin o, por ejemplo:

u = {x/Juan, y/CursoIA}
o = ConcurreA(x, y) . GustaDe(x, y)


subst( {x/Juan, y/CursoIA} , ConcurreA(x, y) . GustaDe(x, y) )
ConcurreA(Juan, CursoIA) . GustaDe(Juan, CursoIA)

Juan concurre a curso de IA y Juan gusta de curso de IA.
116 /157
Sustitucin
Dadas las variables x
1
, x
2
, ..., x
n
y los trminos t
1
, t
2
, .., t
n

(sin variables), la sustitucin es un conjunto de pares
ordenados:
= {x
1
/t
1
, x
2
/t
2
,..,x
n
/t
n
} (x/t se lee sustituir x por t)

La operacin consiste en, dado un literal que contiene x
1
,
x
2
, .., x
n
, y una sustitucin , reemplazar en todos los
lugares de donde aparezca x
i
por t
i
.

Ejemplo:
subst({X/george, Y/tony} , likes(X,Y)) = likes(george, tony)
Los trminos de no pueden contener smbolos de constantes ni de
funcin que ya estn en
117 /157
Sustitucin
Sustitucin vaca {}, cuando no modifica la expresin.

Composicin de la sustitucin. Es una sustitucin tal que

1

2
=(
1
)
2
.
La composicin de sustituciones es asociativa
(
1

2
)
3
=
1
(
2

3
)
Pero no conmutativa
1221

No se puede calcular la composicin resultante uniendo
simplemente los conjuntos 1 y 2, hemos de aplicar
primero 2 a los trminos de 1 y despus aadir los pares
de 2 cuyas variables no estn entre los de 1.
118 /157
Ejercicio 1
Diga que se obtiene al aplicar SUST(u, o) en los siguientes
casos:

o = monopolio(M) penalizado(M)
u = {M/LosGarcia}


o = realiza(M,W) . feo(W) odiado(M)
u = {M/Hormel, W/Spam}

o = presidente(X)inteligente(X)
u = {X/Bush}
119 /157
Ejercicio 1
subst( {M/LosGarcia}, monopolio(M) penalizado(M) )


subst( {M/Hormel,W/Spam},realiza(M,W).feo(W)odiado(M))


subst( {X/Bush}, presidente(X)inteligente(X))
120 /157
Ejercicio 2
Sean:
= F1(x,y), F2(y,w), F3(x,y,z,r)
1 = (x/a, y/b, z/w), 2 = (w/c), 3 = (r/b)

Calcular: 123
1 = F1(a, b), F2(b,w), F3(a, b, w, r)
12 = F1(a, b), F2(b,c), F3(a, b, c, r)
123 = F1(a, b), F2(b,c), F3(a, b, c, c)


121 /157
Ejercicio 2
Calcular: 4 = (12)3 y luego 4
1 = (x/a, y/b, z/w), 2 = (w/c), 3 = (r/b)
12= (x/a, y/b, z/c)
4 = (x/a, y/b, z/c, r/b)
4 = F1(a,b), F2(b,w), F3(a,b,c,b)

Calcular: 4 = 1(23) y luego 4
1 = (x/a, y/b, z/w), 2 = (w/c), 3 = (r/b)
23= (w/c, r/b)
4 = (x/a, y/b, z/c, r/b)
4 = F1(a,b), F2(b,w), F3(a,b,c,b)
122 /157
UNIFICACION
123 /157
Unificacin
Lo que hace la rutina de unificacin UNIFICAR es convertir
dos oraciones y en una sustitucin mediante la cual y
resultan idnticas. De no existir tal unificacin, UNIFICAR
produce una falla.

Formalmente:
UNIFICAR(, ) = u, donde SUST(u, ) = SUST(u, )

u se conoce como el unificador de las dos oraciones.
124 /157
Unificacin
Supongamos que tenemos la regla
conoce(juan,X) odia(juan,X) Juan odia a todos los que
conoce

Y la queremos utilizar como regla de inferencia de Modus
Ponens y poder saber a quin odia Juan. Es decir, tenemos
que saber a qu oraciones de la base de conocimiento se
unifican a conoce(juan,X).

Supongamos que nuestra base de conocimiento contiene:
conoce(juan,jane) conoce(Y,lenidas)
conoce(Y,madre(Y)) conoce(X, isabel)
125 /157
Unificacin
Al unificar el antecedente de la regla con cada una de las
oraciones de la BC obtenemos:
conoce(juan,X) odia(juan,X)

UNIFICAR(conoce(juan, X),conoce(juan, jane)) = {X/jane}
UNIFICAR(conoce(juan, X),conoce(Y, lenidas)) = {X/lenidas, Y/Juan}
UNIFICAR(conoce(juan, X),conoce(Y, madre(Y))) = {Y/juan, X/madre(juan)}
UNIFICAR(conoce(juan, X),conoce(X, isabel))= falla
conoce(juan,jane)
conoce(Y,lenidas)
conoce(Y,madre(Y))
conoce(X, isabel)
126 /157
Unificacin
La ltima unificacin falla, porque X no puede tomar el valor
de juan e isabel al mismo tiempo.
De manera intuitiva, sabemos que Juan odia a todos los
que conoce, y que todos conocen a Isabel, por lo que
podramos inferir que Juan odia a Isabel.
Para resolver este problema, se pueden normalizar por
separado las dos oraciones que se van a unificar, lo que
significa renombrar las variables de una de ellas (o de
ambas) para evitar que haya repeticin de nombres:

UNIFICAR(conoce(juan,x1),conoce(x2,isabel))={x1/isabel, x2/juan}
127 /157
Ejercicio 3
Unifique y resuelva.

1. femenino(ana)

2. padre (juan, ana)

3. femenino(X) padre (Y, X) hija(X, Y)

128 /157
Ejercicio 3
femenino(ana) femenino(X) padre (Y, X) hija(X, Y)
padre(Y,ana) hija(ana,Y)
hija(ana, juan)
padre (juan, ana)

1
= {X/ana}

2
= {Y/juan}
1. femenino(ana)
2. padre (juan, ana)
3. femenino(X) padre (Y, X) hija(X, Y)
129 /157
Ejercicio 4
Para cada uno de los siguientes pares de oraciones,
indique el unificador ms general, o diga que no existe y
explique por qu.
El unificador ms general es el que permite que pocas
variables o funciones no sean cambiadas a constantes
como sea posible.

P(x, y, y) y P(A, f(B), f(z))
P(x, F(x), A) y P(y, y, z)
P(x, y, z) y Q(A, B, B)
Q(x, F(y, A), z) y Q(A, F(A, A), x)
Q(x, G(y, y), w, F(z, z)) y Q(H(u, v), v, A, F(x, y))
130 /157
Ejercicio 5
Intente unificar los siguientes pares de expresiones, use el
unificador ms general y explique en los casos que no se
pueda, por qu no se pueden unificar?

p(X, Y, Z) p(X, a, b)
p(X, Y, Z, c) p(X, a, b, W)
P(X, Y, Z, W) p(Y, Y, W, Z)
q(X, Y, c) q(Y, Y, X)
p(X, Y) p(X, Z)
p(X, Y, Z, W, a) p(b, X, d, a, Y)
r(X, G(X), Y, P(Y)) r(Y, G(X), Z, W)

131 /157
REGLAS DE INFERENCIA CON
CUANTIFICADORES


132 /157
Reglas de Inferencia en LP1
Reglas de inferencia utilizadas en lgica proposicional:




Tambin son vlidas en la lgica de primer orden, pero se
requieren reglas de inferencias adicionales para manejar
las oraciones de lgica de primer orden con
cuantificadores:
Eliminacin Universal
Eliminacin Existencial
Introduccin Existencial.
Modus ponens
Y-eliminacin
Y-introduccin
O-introduccin
Doble negacin eliminacin
Resolucin unitaria
Resolucin
Modus Tollens
133 /157
Eliminacin Universal
Para toda oracin o, variable v y una variable v:




Por ejemplo, en x le_gusta(x, helado), podemos utilizar la
sustitucin {x/x} e inferir que:

le_gusta(x, helado).

Permite eliminar el cuantificador
v o
SUST({v/v},o)
134 /157
Eliminacin Existencial
Para toda oracin o, variable v y smbolo constante k que
no aparezca en ninguna parte de la base de conocimientos:





Por ejemplo, en -x matar(x, vctima), podemos inferir que
matar(asesino, vctima) en tanto que asesino no aparezca
en ninguna parte de la base de conocimientos.
-v o
SUST({v/k},o)
Es importante que la constante k usada para la sustituir la variable sea
una variable nueva
135 /157
Introduccin Existencial
Para toda oracin o, variable v que no est en o y trmino
de base g que no est presente en o:




Por ejemplo, en le_gusta(jerry,helado) podemos inferir que
-X le_gusta(X, helado).
o
-v SUST({g/v},o)
136 /157
RESOLUCION
137 /157
Resolucin
Es un mecanismo de prueba que opera sobre estatutos que
han sido convertidos a forma clausal y produce pruebas por
refutacin, es decir que para probar si un estatuto es
verdadero (demostrar que es vlido ) intenta mostrar que la
negacin de ese estatuto produce una contradiccin.
forma clausal = forma clausulada
CNF : conjuntive normal form
138 /157
Resolucin
La resolucin fue introducida como una regla de inferencia
Resume muchos esquemas de inferencia clsicos.
Es un procedimiento completo de inferencia, por que solo
con ella pueden disearse sistemas deductivos
consistentes y completos.
Se aplica a sentencias que tienen que estar escritas forma
clausulada.
Para toda sentencia se puede encontrar una sentencia
equivalente en forma clausulada.
139 /157
Aplicacin de la regla de resolucin
Si recordamos la regla de inferencia de resolucin:
a V b, ~b V c
a V c
Se puede aplicar a dos clusulas cualesquiera que
compartan un literal con distinto signo.
Estas clusulas le llaman generatrices (padre), y la
conclusin, clusula resultante de la disyuncin del resto de
literales, resolvente.
Todas las sentencias deben estar en forma clausulada.
Si hay n premisas inicialmente en
0
, al ponerlas en forma clausulada
resultarn m clusulas (m > n), y la estrategia de control se reduce al
problema de decidir, en cada
i
, a qu pareja de clusulas aplicar una
regla de resolucin nica, la regla de resolucin.
140 /157
Aplicacin de la regla de resolucin
La propiedad extraordinaria de la regla de resolucin es
que casi todas las reglas de inferencia se reducen a ella si
previamente se escriben las premisas en forma clausulada.
Forma Normal Implicativa
Modus Ponens P Q
P
Q
Modus Tollens P Q
Q
P
Encadenamiento P Q
Q R
P R
Forma Normal Conjuntiva
Modus Ponens P V Q
P
Q
Modus Tollens P V Q
Q
P
Encadenamiento P V Q
Q V R
P V R
141 /157
Aplicacin de la regla de resolucin
Asumir que se tienen un conjunto de clusulas F y el estatuto a probar P
Convertir todos los estatutos de F a la Forma clausal
Negar P y convertirla a forma clausal. Agregar al conjunto de clusulas
obtenidas en el paso anterior
Repetir hasta que una contradiccin sea alcanzada:
Seleccionar dos clusulas y llamarlas clusulas padre
Resolverlas. Para obtener la clusula llamada resolvente. Buscar en
las clusulas padre un par de literales T1 y T1 de tal forma que T1
pertenece a una y T1 a la otra, eliminar ambas literales y crear el
resolvente.
Si el resolvente es la clusula vaca (FALSE), la contradiccin ha
sido encontrada. De otra manera el resolvente se agrega al conjunto
de clusulas.
142 /157
Ejemplo
Axiomas:
Es ilegal que un turista venda huacos en Rusia
x,y Turista(x) huacos(y) Vender(x,y)=>Infractor(x)

Sumac es un turista en Rusia
Turista(Sumac)

Cada uno de los turistas en Rusia venden algunos huacos
x,y Turista(x) Huacos(y) Vende(x,y)

Es Sumac un infractor?
Infractor(Sumac)
143 /157
Ejemplo
1. Eliminacin Universal
x,y Turista(x) Huacos(y) Vender(x,y)=>Infractor(x)
Turista(x) Huacos(y) Vender(x,y)=>Infractor(x)

x,y Turista(x) Huacos(y) Vende(x,y)
Turista(x) Huacos(y) Vende(x,y)

144 /157
Ejemplo
2. Aplicando resolucin
Turista(x) Huacos(y) Vender(x,y)=>Infractor(x) Turista(x) Huacos(y) Vende(x,y)
Infractor(x) Turista(Sumac) Infractor(Sumac)
FALSE
145 /157
EJERCICIOS
146 /157
Ejercicio 6
1. P(w) Q(w)
2. Q(y) S(y)
3. True P(x) V R(x)
4. R(z) S(z)
Unificar y resolver por Resolucin.
147 /157
Ejercicio 6
1. P(w) Q(w)
2. Q(y) S(y)
3. True P(x) V R(x)
4. R(z) S(z)
148 /157
Ejercicio 7
1. -PhD(x) V HQ(x)
2. -HQ(x) V Rich(x)
3. PhD(x) V ES(x)
4. -ES(x) V Rich(x)
Probar Rich(Me)
Unificar y resolver por Resolucin.
149 /157
Ejercicio 7
1. -PhD(x) V HQ(x)
2. -HQ(x) V Rich(x)
3. PhD(x) V ES(x)
4. -ES(x) V Rich(x)
5. Probar Rich(Me)
150 /157
Ejercicio 8
1. x [y animal (y) ama(x,y)] [-y ama(y,x)]
2. x [-y animal (y) mata(x,y)] [z ama(z,x)]
3. x animal (x) ama(Bush,x)
4. mata(Bush,Fido) V mata(Wolfowitz,Fido)
5. perro(Fido)
6. x perro(x) animal (x)
Probar: mata(Wolfowitz, Fido)
7. mata(Wolfowitz, Fido)

151 /157
Ejercicio 8
Convirtiendo a lgica de predicados:
1. [animal (y) ama(x,y)] ama(G, x)
2. [animal (H) mata(x, H)] ama(z,x)
3. animal (x) ama(Bush,x)
4. mata(Bush,Fido) V mata(Wolfowitz,Fido)
5. perro(Fido)
6. perro(x) animal (x)
7. mata(Wolfowitz, Fido)

152 /157
Ejercicio 8
Convirtiendo a CNF:
1. animal (y) V ama(G, x)
2. - ama(x, y) V ama(G, x)
3. -animal (H) V -mata(x, H) V ama(z, x)
4. -animal (x) V ama(Bush, y)
5. mata(Bush, Fido) V mata(Wolfowitz, Fido)
6. perro(Fido)
7. - perro(x) V animal (x)
8. mata(Wolfowitz, Fido)

153 /157
Ejercicio 8
animal (y) V ama(G, x)
- ama(x, y) V ama(G, x)
-animal (H) V -mata(x, H) V ama(z, x)
-animal (x) V ama(Bush, x)
mata(Bush, Fido) V mata(Wolfowitz, Fido)
perro(Fido) - perro(x) V animal (x)
mata(Wolfowitz, Fido)
154 /157
Ejercicio 9
1. man(Marcus)
2. Pompeian(Marcus)
3. x Pompeian(x) Roman(x)
4. ruler(Caesar)
5. x Roman(x) loyalto(x, Caesar) v hate(x, Caesar)
6. x -y loyalto(x, y)
7. xy man(x) . ruler(y) .tryassassinate(x, y)loyalto(x, y)
8. tryassassinate(Marcus, Caesar)

Marcus era fiel a Csar?
155 /157
Bibliografa
AIMA. Captulo 8, primera edicin.
AIMA. Chapter 9, second edition.


156 /157

PREGUNTAS