3 /40

07

-P
R
O

LO

Presentar los conceptos bsicos de la lgica de predicados.

Presentar una lgica suficiente para construir agentes
basados en el conocimiento.

Objetivos

SE
SI
O

LOGICA DE PREDICADOS
Lgica de Primer Orden

4 /40

Lgica de Predicados

La lgica de predicados tiene alcances

ontolgicos ms amplios.

5 /40

07

-P
R
O

Considera el mundo constituido por objetos y

propiedades que los distingan, a diferencia
de la lgica proposicional que slo permite
representar hechos.

LO

Es una lgica con suficiente expresividad para

representar nuestro sentido comn.

Lgica de primer orden.

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.

SE
SI
O

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.

6 /40

Un predicado es lo que se afirma del sujeto.

Sujeto.
Argumentos
Trminos
Objetos, Personas, Conceptos

-P
R
O

LO

Predicado.
Propiedades
Cualidades
Relaciones
Atributos.
Funciones

Predicado

predicado
sujeto

objeto

sentencia

07

7 /40

Ejemplos

SE
SI
O

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,
8 /40

2. Los cuadros cercanos al wumpus apestan

LO

Identifique para las siguientes expresiones el sujeto y el

predicado. Indique el tipo de predicado:
1. Uno ms dos es igual a tres

TG5-A

-P
R
O

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.

SE
SI
O

07

9 /40

SINTAXIS

10 /40

El alfabeto est formado por:

Sentencia atmica:

Smbolos de conectivas:

predicado (trmino, ....)

termino = trmino

LO

( , , , , y )

Sintaxis (1)

Cuantificador universal:

Sentencias:

(para todos)

Cuantificador existencial:

-P
R
O

sentencia
sentencias_atmicas.
(sentencia conectiva sentencia)

(existe al menos uno)

cuantificador variable, ....,

sentencia

Trmino:
constante
variable

07

11 /40

Sintaxis
Verdadero, Falso

constantes lgicas:

SE
SI
O

smbolos de constantes
a, d (letras minsculas)
smbolos de variables
X, Z (X ,Y,Z).
smbolos de predicados y funciones (letras minsculas).

12 /40

 Oraciones atmicas

LO

Los trminos y signos de predicado se combinan para formar

oraciones atmicas, mediante las que se afirman hechos.

Sintaxis

-P
R
O

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.

07

13 /40

Sintaxis

SE
SI
O

Oraciones
Mediante los conectores lgicos se pueden construir
oraciones ms complicadas, ejemplo:
Hermano (Ricardo, Juan) Hermano (Juan, Ricardo)
Mayor (Juan, 30) Menor (Juan, 30)
Mayor (Juan, 30) Menor (Juan, 30)
Hermano (Robin, Juan)

14 /40

Sintaxis

-P
R
O

LO

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

07

15 /40

Cuantificadores

SE
SI
O

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.

16 /40

 Cuantificacin universal ()

LO

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)

Cuantificacin universal ()

-P
R
O

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.

07

17 /40

TG5-B

SE
SI
O

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 SBC sern aprobados.

18 /40

 Cuantificacin existencial ()

x Hermano (x, Mancha) Gato (x)

LO

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:

Cuantificacin existencial ()

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:

-P
R
O

(Hermano (Mancha, Mancha) Gato (Mancha)) (Hermano (Rebeca,

Mancha) Gato (Rebeca)) (Hermano (Flix, Mancha) Gato (Flix))
(Hermano (Ricardo, Mancha) Gato (Ricardo))

As como es el conector natural para

es el conector natural para .

07

19 /40

TG5-C

Representa en LP1 las siguientes expresiones:

1. El hermano de Alejandro molesto al intocable periodista.

SE
SI
O

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

20 /40