[SISTEMAS INTELIGENTES] IDSYSTEMS 2014

Leccion 3.4 Logica de predicados Pgina 1

Leccion 3.4 Logica de predicados

El lenguaje es el instrumento que se usa para la comunicacin entre humanos. El lenguaje est
formado por frases, entre ellas podemos distinguir: frases imperativas, frases interrogativas y frases
declarativas.
La definicin de lgica, disciplina que estudia mtodos de formalizacin del conocimiento
humano "de los mtodos de formalizacin de frases declarativas.
La lgica se clasifica:
Lgica proposicional o lgica de enunciados:
Se parte de un elemento simple, las frases declarativas simples, las cuales tienen significado
ellas mismas o la unin entre ellas, forman una frase. Esto inicia una unidad de comunicacin de
conocimientos, las cuales se les denomina proposiciones, y toman el valor verdadero o falso.

Lgica de predicados: Estudia las frases declarativas, teniendo en cuenta la estructura interna de las
proposiciones. Los objetos y las relaciones entre los objetos sern los elementos bsicos. Podemos
distinguir:
- Qu se afirma: relacin
- De quin se afirma: objeto.
Con la lgica de predicados intentamos conseguir sistemas de demostracin automtica de
teoremas. Partimos de elementos bsicos como las frases declarativas simples o proposiciones que son
aquellos elementos de una frase que constituyen por s solos una unidad de comunicacin de
conocimientos y pueden ser considerados Verdaderos y Falsos. La lgica de predicados estudia las
frases declarativas con mayor grado de detalle, considerando la estructura interna de las
proposiciones. Se tomarn como elemento bsico los objetos y las relaciones entre dichos objetos. Se
distingue:
"Qu se afirma (predicado o relacin)
De quin se afirma (objeto)


[SISTEMAS INTELIGENTES] IDSYSTEMS 2014

Leccion 3.4 Logica de predicados Pgina 2


Definimos a continuacin las reglas sintcticas para construir frmulas:
Definicin 1: El alfabeto de la lgica de predicados estar formado por los siguientes conjuntos
simblicos:
Conjunto de Smbolos de Variables (VAR): Es un conjunto de las ltimas letras del alfabeto en
minsculas. Se utilizan subndices, por ejemplo:
Conjunto de smbolos de Constantes (CONS): Este conjunto lo forman las primeras letras del alfabeto
en minsculas, tambin utilizaremos subndices:
Conjunto de letras de funcin (FUNC): Representaremos a este conjunto por las letras f, g, h, L.
Incluimos subndices para poder diferenciar las funciones:
Conjunto de letras de Predicado (PRED): Se representan mediante letras maysculas,

Smbolos de conectivas: = Negacin
= Conectiva "o"
= Conectiva "y"
= implicacin
= Doble implicacin o equivalencia

Cuantificadores:
=existencial
=Universal

Signos de puntuacin: Parntesis ( ) y coma.





[SISTEMAS INTELIGENTES] IDSYSTEMS 2014

Leccion 3.4 Logica de predicados Pgina 3


Referencias:
http://inteligenciaartificialselem.obolog.es/unidad-2-representacion-conocimiento-razonamiento-
1043965