Lgica de Predicados

INTELIGENCIA ARTIFICIAL
2 /40
Mapa Conceptual del Curso
3 /40
Tabla de Contenido
1. Lgica de Predicados.
2. Sintaxis
3. Frmulas Bien Configuradas
4. Semntica.
4 /40
Objetivos
Presentar los conceptos bsicos de la lgica de predicados.
Presentar una lgica suficiente para construir agentes
basados en el conocimiento.
5 /40
LOGICA DE PREDICADOS
Lgica de Primer Orden
6 /40
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.

7 /40
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.
8 /40
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.
9 /40
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
10 /40
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
11 /40
Ejemplos
Objetos:
personas, casas, nmeros, la SUNAT, UNI, 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,
12 /40
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. R = S + Y
2
3. Todos los alumnos de IA llevarn su LT a la capacitacin del
sbado a las 2:30 PM
4. Los cuadros cercanos al wumpus apestan
5. Wayra vive en la provincia de condorcanqui y chaccha coca.
6. Todos los gatos comen ratones y los ratones comen quesos.
7. Ayer, hoy y maana son das festivos.
13 /40
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.
14 /40
SINTAXIS






15 /40
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)
16 /40
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).

17 /40
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.

18 /40
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)

19 /40
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.


20 /40
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.

21 /40
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.
22 /40
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.
23 /40
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 -.
24 /40
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
25 /40
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)
26 /40
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.

27 /40
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.

28 /40
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)]
29 /40
FORMULAS BIEN
CONFIGURADAS
30 /40
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
31 /40
Relaciones entre y -
Relaciones entre y -
Ambos cuantificadores estn estrechamente
relacionados entre s mediante la negacin.

A todos les desagradan las espinacas No hay alguien
a quien le gusten las espinacas
x LeGustan(x, espinacas) -x LeGustan (x, espinacas)

A todos les gusta el helado No hay alguien a quien no
le guste el helado
x LeGusta(x, helado) -x LeGusta (x, helado)
32 /40
Relaciones entre y -
Relaciones entre y -
Puesto que es una conjuncin () de objetos del
universo y - es su disyuncin (V), es natural que
obedezcan las leyes de De Morgan:


x P -x P
x P -x P
x P -x P
-x P x P
P . Q (P v Q)
(P . Q) P v Q
P .Q (P v Q)
P vQ (P . Q)
33 /40
Igualdad
Igualdad
Para formular aseveraciones en las que los dos trminos
se refieren a un mismo objeto se utiliza el smbolo de
igualdad:
Padre(Juan) = Enrique

El signo de igualdad sirve para describir las propiedades
de una funcin determinada o se puede emplear en la
negacin para insistir en que dos trminos no son el
mismo objeto:
-x,y Hermano(Mancha, x) . Hermano(Mancha, y) . (x=y)

34 /40
SEMNTICA
35 /40
Semntica
En lgica de proposiciones para definir la semntica nos
apoyamos en los conceptos de interpretacin y
satisfaccin.

En lgica de predicados se debe de aadir el de
asignacin, que consiste en dar valores a las variables y,
en general, a los trminos.
Estructura
Una estructura est constituida por un conjunto que se designa como
universo U y la interpretacin I de las relaciones que actan sobre los
elementos de dicho universo, su notacin es: < U, I>
36 /40
Interpretacin
Interpretacin Lgica Proposicional.
Una frmula tiene una interpretacin cuando al asignar
valores de verdad a sus tomos se obtiene un valor de
verdad (cierto o falso) para la frmula completa.

Interpretacin Lgica de Predicados.
Una interpretacin est asociada a un dominio, que es
un conjunto de valores que las variables pueden tomar.
Para cualquier interpretacin de una frmula sobre un
dominio, la frmula puede ser evaluada como cierta o
falsa.

37 /40
Asignacin
Asignacin de variable:
Una asignacin es una funcin que va desde el conjunto de
las variables a un determinado universo.
A: V U

38 /40
Satisfaccin
Satisfaccin en Lgica Proposicional.
La satisfaccin de una sentencia es relativa a la interpretacin.

Satisfaccin en Lgica de Predicados.
Las satisfaccin es relativa a la asignacin de trminos.
En lugar de variables proposicionales hay tomos formados con
predicados, y un predicado representa a una relacin de la
conceptuacin.
Diremos que un tomo se satisface (es verdadero ) para una
determinada interpretacin y una determinada asignacin si
asignando los valores a sus trminos e interpretndolo, el resultado
es una tupla de la relacin representada.