UPIICSA Unidad Profesional Interdisciplinaria de Ciencias Sociales y Administrativas

__________________________________________________
FUNDAMENTOS DE INTELIGENCIA ARTIFICIAL

LOGICA DE PREDICADOS (Lgica de primer orden, clculo

de predicados)

En la lgica de primer orden hay oraciones, pero tambin hay trminos que
representan objetos. Los signos que representan constantes, las variables y los
signos de funciones sirven todos para construir trminos; los cuantificadores y los
signos de predicados sirven para construir oraciones. En la siguiente tabla se
presenta toda la gramtica de la lgica de primer orden, usando la forma de
Backus-Naur.

Oracin

Oracin
atmica
Trmino

Oracin atmica
Oracin Conector Oracin
Cuantificador Variable, Oracin
Oracin
(Oracin)
Predicado(Trmino,) Trmino = Trmino

Funcin(Trmino,)
Constante
Variable

Conector

^V

Cuantificador

Constante

A X1 Juan

Variable

axs

Predicado

Antes TieneColor Lloviendo

Funcin

Madre PiernaIzquierdaDe

La lgica de primer orden busca una estructura fija y como se relaciona con el
concepto. Analiza elementos ms generales. Se relaciona con la estructura interna
de las afirmaciones. Proporciona de manera inmediata un mtodo muy potente para
la obtencin de nuevo conocimiento a partir del antiguo: utiliza la deduccin

M. en C. Lilia Gonzlez Arroyo

UPIICSA Unidad Profesional Interdisciplinaria de Ciencias Sociales y Administrativas

__________________________________________________
FUNDAMENTOS DE INTELIGENCIA ARTIFICIAL

matemtica. Mediante la lgica de predicados se pueden representar hechos del

mundo real como sentencias escritas en forma de FBF.
Se utilizan proposiciones abiertas. Buscar cual es el concepto que
generalidad.

da la

Ejemplo: Pedro Garca es alumno de Ingeniera Industrial.

Sonia Prez es alumno de Ciencia de la Informtica.
Patricia Rivas es alumno de Ingeniera en Informtica.
Alguien es alumno de algo. Debo buscar el concepto que me de las generalidades y
posteriormente verificar las instancias:
alumno(X,Y).
alumno(pedro_garcia, ingenieria industrial).
alumno(sonia_perez, ciencias_dela_informatica).
alumno(patricia_rivas, ingenieria_en_informatica).

Predicados.
Representan las ideas de un universo de discurso (ideas, conceptos), se escriben en
minsculas. Cada concepto puede tener grado, el nmero de argumentos da el
grado. El elemento que se repite es el que se generaliza y posteriormente se generan
las instancias.

M. en C. Lilia Gonzlez Arroyo

UPIICSA Unidad Profesional Interdisciplinaria de Ciencias Sociales y Administrativas

__________________________________________________
FUNDAMENTOS DE INTELIGENCIA ARTIFICIAL

PREDICADOS
UNARIOS
hombre(X).

mujer(X).

ave(Y).
gato(R).

PREDICADOS PREDICADOS
BINARIOS
TRIADICOS
(DIADICOS)
padre(X,Y).
mosqueteros(ath
os,
porthos,
aramis).
madre(Z,Y).
musica
de
cmara
clasica(piano,
violin, chelo)
hermano(X,Y).
abuelo(X,Y).

PREDICADOS
TETRAEDICOS
beatles(john,paul,ringo,geor
ge)
fantasticos(sue, richards,
johnny, ben).

Argumentos.
Pueden ser constantes (minsculas) o variables (maysculas) o ser varios
argumentos como anteriormente se estipula.

Funciones.
Son auxiliares al sistema axiomtico, no son parte de l. Tambin contienen
argumentos.

Diferencia de lgica propositiva y lgica de predicados

juan_es_ alto

alto(Juan).

M. en C. Lilia Gonzlez Arroyo

Lgica simblica,
Lgica de orden cero,
Lgica propositiva
Clculo de predicados,
Lgica de primer orden,
Lgica de predicados

UPIICSA Unidad Profesional Interdisciplinaria de Ciencias Sociales y Administrativas

__________________________________________________
FUNDAMENTOS DE INTELIGENCIA ARTIFICIAL

Oraciones atmicas
En base a estas se afirman hechos, esta forma por un signo de predicado y por una
lista de trminos entre parntesis.
hermano(ricardo, juan).
casado(padrede(ricardo),madrede(juan))

Oraciones complejas
Utilizando conectores lgicos se pueden construir oraciones ms complicadas,
como en el clculo proposicional.
hermano(ricardo,juan) ^ hermano(juan, ricardo)
es verdadera solo cuando Juan es el hermano de Ricardo y Ricardo es
hermano de Juan

M. en C. Lilia Gonzlez Arroyo

UPIICSA Unidad Profesional Interdisciplinaria de Ciencias Sociales y Administrativas

__________________________________________________
FUNDAMENTOS DE INTELIGENCIA ARTIFICIAL

CUANTIFICADORES

Los cuantificadores nos permiten expresar propiedades de grupos completos de

objetos en lugar de enumerarlos por su nombre.

CUANTIFICADOR UNIVERSAL ()
Todos los gatos son mamferos, y la regla particular se emplean los predicados
unarios de gato y mamifero, Mancha es un gato, Mancha es un mamfero.
x gato(X) mamifero(X) equivale a
gato(mancha) mamifero(mancha)
gato(rebeca) mamifero(rebeca)
gato(felix) mamifero(felix)
gato(ricardo) mamifero(ricardo)
gato(juan) mamifero(juan)
ser valida si y solo si todas estas oraciones tambin son verdaderas, por lo tanto a
se le denomina cuantificador universal
Proposicin: Todas los pinginos son aves
X : pingino(X) ave(X)

M. en C. Lilia Gonzlez Arroyo

UPIICSA Unidad Profesional Interdisciplinaria de Ciencias Sociales y Administrativas

__________________________________________________
FUNDAMENTOS DE INTELIGENCIA ARTIFICIAL

CUANTIFICADOR EXISTENCIAL ()
En caso de la cuantificacin existencial se hacen afirmaciones sobre cualquier
objeto. Asimismo, tambin se pueden hacer afirmaciones a cerca de algn objeto en
el universo sin tener que nombrarlo, mediante un cuantificador existencial. Ejemplo
Mancha tiene una hermana que es un gato.
x hermana(X,mancha) gato(X)
Es equivalente a la disyuncin de todas las oraciones obtenidas al sustituir el
nombre de un objeto por la variable X. al efectuar esta sustitucin en el caso de la
oracion anterior se obtiene:
(hermana(mancha,mancha) gato(mancha))
(hermana(rebeca,mancha) gato(rebeca))
(hermana(felix,mancha) gato(felix))
(hermana(ricardo,mancha) gato(ricardo))
(hermana(juan,mancha) gato(juan))
La oracin existencialmente cuantificada es verdadera solo cuando al menos una de
estas disyunciones es verdadera. Si Mancha tuviera dos hermanas que fuesen gatos,
entonces dos de las disyunciones serian verdaderas con lo que toda la disyuncin es
tambin verdadera. Lo anterior es congruente con la oracin original.
Proposicin: Algunas aves, como los pinginos no vuelan.
X : ave(X)pingino(X) vuela(X)

M. en C. Lilia Gonzlez Arroyo

UPIICSA Unidad Profesional Interdisciplinaria de Ciencias Sociales y Administrativas

__________________________________________________
FUNDAMENTOS DE INTELIGENCIA ARTIFICIAL

PROBLEMAS LOGICOS
I. AVES

CONOCIMIENTO
1. Cuales elementos son:
a. Negacin (
)
b. Cuantificadores ( Todas )
c. Conceptos (
)
d. Instancias (
)
2. Cuales elementos me dan instancias.
3. Generar la lista de estos elementos
CONCEPTOS
INSTANCIAS
Objeto, entidad, clase
ave(X)
vuela(X)
pingino(X)
avestruz(X)
canario(X)

RELACIONES
Por cada variable solo un
cuantificador

pinguino(chilliwilly)
canario(twity)

x: ave(X) vuela(X).
x: ave(X) pinguino (X) )

vuela(X).
x: ave(X) avestruz (X) )
vuela(X).
x: canario (X) ave (X).
x: pingino(X) ave(X).

4. Asociacin de argumentos con las instancias, cantidad de argumentos para

cada concepto.
5. Sistema axiomtico que me permite hacer deducciones, la implicacin dentro
de la FBF.

M. en C. Lilia Gonzlez Arroyo

UPIICSA Unidad Profesional Interdisciplinaria de Ciencias Sociales y Administrativas

__________________________________________________
FUNDAMENTOS DE INTELIGENCIA ARTIFICIAL

M. en C. Lilia Gonzlez Arroyo

UPIICSA Unidad Profesional Interdisciplinaria de Ciencias Sociales y Administrativas

__________________________________________________
FUNDAMENTOS DE INTELIGENCIA ARTIFICIAL

PROBLEMAS LOGICOS
II. ARTERIAS

Hay arterias. Hay rganos largos y rganos de pared. Todas las arterias
son rganos de pared. La aorta es un rgano largo. Todos los rganos
largos son arterias. La aorta es un rgano largo y no es un rgano de
excepcin. Todas las arterias que no son de excepcin son ricas en
oxgeno. La arteria pulmonar es un rgano largo y es un rgano de
excepcin.
CONOCIMIENTO
1. Cuales elementos son:
a. Negacin
b. Cuantificadores
c. Conceptos
d. Instancias
2. Cuales elementos me dan instancias.
3. Generar la lista de estos elementos
CONCEPTOS
INSTANCIAS
Objeto, entidad, clase

RELACIONES
Por cada variable
solo un cuantificador

4. Asociacin de argumentos con las instancias, cantidad de argumentos para

cada concepto.
5. Sistema axiomtico que me permite hacer deducciones, la implicacin dentro
de la FBF.

M. en C. Lilia Gonzlez Arroyo

UPIICSA Unidad Profesional Interdisciplinaria de Ciencias Sociales y Administrativas

__________________________________________________
FUNDAMENTOS DE INTELIGENCIA ARTIFICIAL

PROBLEMAS LOGICOS
III. LOS ENEMIGOS DEL CESAR

1. Marco es un hombre
2. Marco es Pompeyano
3. Todos los Pompeyanos son romanos
4. Csar fue un dictador
5. Todos los romanos o son leales al Csar o lo odian
6. Todos son leales a alguien
7. Las personas solo trata de asesinar dictadores a los que no le son leales
8. Marcos trato de asesinar a Csar
9. Todos los hombres son personas
10. Marcos naci en 40 AD
11. Todos los hombres son mortales
12. Todos los Pompeyanos murieron cuando erupt el Vesuvio en 79AD
13. No mortal vive mas de 150 aos
14. ahora = 2005
15. Vivo significa no muerto
16. Si alguien muere, entonces esta muerto a cualquier tiempo despus
17. Todos los romanos que conocen a Marco o odian a Csar o piensan que cualquiera que odia
est loco

CONOCIMIENTO
1. Cuales elementos son:
e. Negacin
f. Cuantificadores
g. Conceptos
h. Instancias
2. Cuales elementos me dan instancias.
3. Generar la lista de estos elementos
CONCEPTOS
INSTANCIAS
Objeto, entidad, clase

M. en C. Lilia Gonzlez Arroyo

RELACIONES
Por cada variable
solo un cuantificador

10

UPIICSA Unidad Profesional Interdisciplinaria de Ciencias Sociales y Administrativas

__________________________________________________
FUNDAMENTOS DE INTELIGENCIA ARTIFICIAL

4. Asociacin de argumentos con las instancias, cantidad de argumentos para

cada concepto.
5. Sistema axiomtico que me permite hacer deducciones, la implicacin dentro
de la FBF.

M. en C. Lilia Gonzlez Arroyo

11

UPIICSA Unidad Profesional Interdisciplinaria de Ciencias Sociales y Administrativas

__________________________________________________
FUNDAMENTOS DE INTELIGENCIA ARTIFICIAL

PROBLEMAS LOGICOS
IV. EJERCICIO DEL ARBOL FAMILIAR
Toms es hijo de Juan. Ana es hija de Toms. Juan es hijo de Marco. Alicia es hija de Juan. Jos es
padre de Mara y es hijo de Alicia. Mara es recin nacida. Para todos los hombres o mujeres existe
alguien (1) que es hijo de alguien (2) que es hijo de esos hombres o mujeres, entonces se dice que
ese alguien (1) es nieto(a) de los hombres o mujeres. Los padres (padre y madre) de un recin
nacido estn orgullosos. Todo hombre es padre de alguien si ese alguien es su hijo. Toda mujer es
madre de alguien si ese alguien es su hijo. Para todo hombre existe una mujer que es su esposa y
para toda mujer existe un hombre que es su esposo. Toda mujer que es madre de alguien es esposa
del padre de ese alguien y todo hombre que es padre de alguien es esposo de la madre de ese
alguien. Guadalupe es madre de Toms y de Alicia. Ana es hija de Silvia. Maria es nieta de Pedro e
hija de Elena. Los hombres son Toms, Juan, Marco, Jos, y Pedro. Las mujeres son Ana, Alicia,
Mara, Guadalupe, Silvia y Elena.

CONOCIMIENTO
1. Cuales elementos son:
i. Negacin
j. Cuantificadores
k. Conceptos
l. Instancias
2. Cuales elementos me dan instancias.
3. Generar la lista de estos elementos
CONCEPTOS
INSTANCIAS
Objeto, entidad, clase

RELACIONES
Por cada variable
solo un cuantificador

4. Asociacin de argumentos con las instancias, cantidad de argumentos para

cada concepto.
5. Sistema axiomtico que me permite hacer deducciones, la implicacin dentro
de la FBF.

Realiza el sistema axiomtico para cada uno de los ejemplos.

M. en C. Lilia Gonzlez Arroyo

12