CLASE_6_LOGICA DE ORDEN 1

UPIICSA Unidad Profesional Interdisciplinaria de Ciencias Sociales y Administrativas
__________________________________________________
FUNDAMENTOS DE INTELIGENCIA ARTIFICIAL

LOGICA DE PREDICADOS (Lógica de primer orden, cálculo
de predicados)

En la lógica de primer orden hay oraciones, pero también hay términos que
representan objetos. Los signos que representan constantes, las variables ylos
signos de funciones sirven todos para construir términos; los cuantificadores y los
signos de predicados sirven para construir oraciones. En la siguiente tabla se
presenta toda la gramática de la lógica de primer orden, usando la forma de
Backus-Naur.

Oración

Oración
atómica
Término








Oración atómica
Oración Conector Oración
Cuantificador Variable, …Oración
 Oración
(Oración)Predicado(Término,…) Término = Término

 Función(Término,…)
 Constante
 Variable

Conector

 ^V

Cuantificador



Constante

 A  X1  Juan  …

Variable

 axs…

Predicado

 Antes  TieneColor  Lloviendo  …

Función

 Madre PiernaIzquierdaDe  …



La lógica de primer orden busca una estructura fija y como se relaciona con el
concepto. Analiza elementos más generales. Serelaciona con la estructura interna
de las afirmaciones. Proporciona de manera inmediata un método muy potente para
la obtención de nuevo conocimiento a partir del antiguo: utiliza la deducción

M. en C. Lilia González Arroyo

1

UPIICSA Unidad Profesional Interdisciplinaria de Ciencias Sociales y Administrativas
__________________________________________________
FUNDAMENTOS DE INTELIGENCIA ARTIFICIALmatemática. Mediante la lógica 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 García es alumno de Ingeniería Industrial.
Sonia Pérez es alumno de Ciencia de la Informática.
Patricia Rivas es alumno de Ingeniería en Informática.
Alguien es alumnode 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
minúsculas. Cada concepto puede tenergrado, el número 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 González Arroyo

2

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
cámara
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 (minúsculas) o variables (mayúsculas) o ser varios
argumentos comoanteriormente se estipula.

Funciones.
Son auxiliares al sistema axiomático, no son parte de él. También contienen
argumentos.

Diferencia de lógica propositiva y lógica de predicados
juan_es_ alto

alto(Juan).

M. en C. Lilia González Arroyo

Lógica simbólica,
Lógica de orden cero,
Lógica propositiva
Cálculo de predicados,
Lógica de primer orden,
Lógica de predicados

3

UPIICSA Unidad ProfesionalInterdisciplinaria de Ciencias Sociales y Administrativas
__________________________________________________
FUNDAMENTOS DE INTELIGENCIA ARTIFICIAL

Oraciones atómicas
En base a estas se afirman hechos, esta forma por un signo de predicado y por una
lista de términos entre paréntesis.
hermano(ricardo, juan).
casado(padrede(ricardo),madrede(juan))

Oraciones complejas
Utilizando conectores lógicos...