Fundacin Universitaria San Martn

Ingeniera de sistemas

Curso
PROGRAMACION LOGICA Y FUNCIONAL

LOGICA DE PREDICADOS


Integrante:
Julin Andrs Valencia M.




Tutor:
Jorge Hernn Trejos Lpez.

Santiago de Cali, Febrero 22 de 2012

Lo gica de Predicados de Primer Orden


- La lgica de predicados describe un mundo que consta de objetos y
propiedades (o predicados) de esos objetos.

Entre los objetos, se verifican varias relaciones p.ej.
Progenitor (Marcos, Jos).

- Una funcin es una relacin en la cual slo hay un valor para un input
dado.

Ejemplos de Objetos: gente, casas, nmeros, planetas,...
Relaciones: progenitor, hermano-de, mayor-que,...
Propiedades: rojo, pequeo, primo,...
Funciones: padre-de, uno-ms-que

Ejemplos:
Uno ms uno igual a dos."
Cuadrados vecinos del Wumpus son malolientes."

La lgica de primer orden es universal porque puede expresar cualquier cosa
que pueda ser programada.

Sintaxis y semntica
- La lgica de primer orden tiene sentencias como lgica proposicional y,
adems, tiene trminos, que representan objetos. Para construir trminos
se usan smbolos constantes, variables y funciones, y cuantificadores y
smbolos predicados son usados para construir sentencias.

<Sentencia> := <Sentencia Atmica>
| <Sentencia> <Conector> <Sentencia>
| <Cuantificador> <Variable>,... <Sentencia>
| <Sentencia>
| (<Sentencia>)
<Sentencia Atmica> := <Predicado>(<Trmino>,...)
| <Trmino> = <Trmino>
<Trmino> := <Funcin>(<Trmino>,...)
| <Constante>
| <Variable>
<Conector> :=^ |v | <=> | =>
<Cuantificador> := | -
<Constante> := Martin | 59302 | Gato | X | ...
<Variable> := a | x | s | ...
<Predicado> := Previo | Gusta | Llueve | Falla | ...
<Funcin> := Padre | Cabellode | 10043nota | ...

Smbolos constantes: A, B, C, 1, Juan,...
Cada smbolo constante nombra a exactamente un objeto en el mundo, no
todos los objetos necesitan tener nombres y algunos pueden tener ms de
un nombre.
Smbolos predicado: Vecino, Hermano,...
Un smbolo predicado se refiere a una relacin particular en el modelo. Por
ejemplo, Hermano; dado que Hermano es un smbolo de relacin binaria, la
relacin a que se refiere debe ser tambin binaria, es decir, debe darse o
fallar entre pares de objetos.
Smbolos de funcin: Coseno, Padrede, PiernaIzquierdade
Una relacin funcional relaciona un objeto a exactamente otro nico objeto.
El ltimo elemento en la tupla es el valor de la funcin para los otros
elementos. Ej. Oficinade (Mara, bas1.240)

- Trminos

Un trmino es una expresin lgica que se refiere a un objeto. Los smbolos
constantes son trminos. Los trminos tambin se pueden construir a partir
de smbolos de funciones y smbolos de constantes, ej., Padrede(Juan).
La semntica formal de los trminos es la siguiente: Una interpretacin
especifica una relacin funcional referida por el smbolo funcin y objetos
referidos por los smbolos constantes. En consecuencia, un trmino funcin
se refiere a el objeto n+1 en una tupla cuyos primeros n elementos son
aquellos referidos por los argumentos de la funcin.


- Sentencias atmicas

Una sentencia atmica est formada por un smbolo predicado seguido por
una lista entre parntesis de trminos, por ejemplo, Hermano (Roberto,
Juan) indica que el objeto referido por Roberto es el hermano del objeto
referido por Juan.

Las sentencias atmicas pueden tener argumentos que son trminos
complejos:

Casado (Padrede(Roberto), Madrede(Juan))

- Sentencias complejas

Podemos usar conectores lgicos para construir sentencias ms complejas.
La semntica de stas es la misma usada en lgica proposicional.

Ejemplos
Hermano (Roberto, Juan) . Hermano (Juan, Roberto) es verdad en el caso
en que Juan es hermano de Roberto y Roberto es hermano de Juan.
Mayor (Juan, 30) v Menor (Juan,30) es verdad cuando Juan es mayor de 30
o es menor que 30.

- Cuantificadores

Nos permiten expresar propiedades de colecciones de objetos.
Hay dos cuantificadores en lgica de primer orden: universal y existencial.

Cuantificacin universal ()
Usando esta cuantificacin podemos decir cosas tal como, Todos los
hmster son mamferos."
x Hmster(x) Mamfero(x)
En consecuencia, una sentencia x u(x) es verdad en un modelo solo si u es
verdad para todos los objetos en el modelo.


Notar la diferencia entre
x Hmster(x)Mamfero(x) y x Hmster(x).Mamfero(x)
Las afirmaciones universales son verdad si son verdad para cada individuo
en el mundo. Se pueden pensar como una conjuncin infinita.

- Cuantificacin existencial

Realiza afirmaciones acerca de al menos algn objeto. Para decir, por
ejemplo que Mancha tiene una hermana que es un hmster, escribimos
-x Hermana(x,mancha) . Hmster(x)
-x P es verdad si P es verdad para algn objeto en el mundo. Se puede
pensar como una disyuncin infinita.

- Cuantificadores anidados

Se pueden realizar afirmaciones muy complejas si se anidan cuantificadores.

Sin mezclar tipos de cuantificadores, podemos decir cosas como

x,y Progenitor(x,y) Hijo(y,x)

Tambin podemos mezclar cuantificadores,

x-y Buenopara(x,y) Todos somos buenos para alguna cosa"
Conexiones entre y -

Hay una ntima conexin entre los dos cuantificadores. Para ver esto,
considerar la sentencia

x Gusta(x,LideresDecepcionantes)

Para todo x, x no gusta de los lderes decepcionantes."
Otra forma de decir esto es, No existe un x que guste de los lderes
decepcionantes. -x Gusta(x,LideresDecepcionantes)
Esto es verdad en general porque es una conjuncin sobre todos los
objetos y - es una disyuncin sobre todos los objetos.

De hecho, todo lo siguiente tambin es verdad
x P -x P P.Q (PvQ)
x P -x P (P.Q) P v Q
x P -x P P . Q (P v Q)
-x P x P P v Q (P . Q)


- Igualdad

Con frecuencia el smbolo de igualdad se incluye como un smbolo especial.
Esto se debe a que la nocin de igualdad es muy importante en nuestro
modo de pensar. Con este smbolo, podemos escribir cosas como
Padre(Juan)=Jos, con el objeto de afirmar que el objeto que es padre de
Juan es el mismo que el objeto Jos. Igualdad puede ser pensada como un
smbolo de relacin binaria ordinaria, as la interpretacin de = es un
conjunto de pares.

La igualdad puede ser usada para decir que hay dos o ms individuos con
una propiedad particular
-x,y Hermana(Mancha,x) . Hermana(Mancha,y) . (x=y)

Hay un x y un y que son hermanas de Mancha y no son el mismo
individuo."

El smbolo de igualdad tambin puede ser usado para restringir el nmero de
objetos que tienen cierta propiedad, por ejemplo,

x,y P(x) . P(y) x=y

Todo par de objetos con la propiedad P son iguales." Esta afirmacin los
restringe a ser un objeto con la propiedad P.
Con frecuencia se usa la forma reducida-! x Rey(x) que significa
-x Rey(x) . y Rey(y) x=y