Está en la página 1de 2

En este caso, el enfoque es expresar programas en forma de logica simbolica y usar un proceso de

inferencia logica para producir resultados.


Una proposicion puede pensarse como una declaracion logica que puede o no ser verdadera.
Consiste de objetos y relaciones de objetos entre si. La logica formal fue desarrollada para proveer
un metodo para describir proposiciones.
La logica simbolica puede usarse para las tres necesidades basicas de la logica formal: para
expresar proposiciones, para expresar las relaciones entre proposiciones, y para describir como
pueden inferirse nuevas proposiciones a partir de otras proposiciones que se asumen como
verdaderas.
La forma particular de la logica simbolica que es usada para la programacion logica es llamada
calculo de predicados de primer orden (aunque es un poco impreciso, usualmente no referiremos a
esta como calculo de predicados).

1.2.1. Proposiciones

Los objetos en las proposiciones de programacion logica son representados
por terminos simples, los cuales son o bien constantes o variables. Una
constante es un smbolo que representa un objeto. Una variable es un smbolo
que representa diferentes objetos en diferentes momentos
Las proposiciones mas simples, que son llamadas proposiciones atomi-
cas, consisten de terminos compuestos. Un termino compuesto es un elemento
de una relacion matematica, escrita en una forma que tiene la apariencia
de la notacion de funcion matematica.
Un termino compuesto esta formado de dos partes: un functor, que es
el smbolo de la funcion que nombra la relacion, y una lista ordenada de
parametros, que juntos representan un elemento de la relacion. Un termino
compuesto con un parametro simple es una 1-upla; uno con dos parametros
una 2-upla, y as. Por ejemplo, podemos tener las dos proposiciones
hombre(jake)
gustar(bob,churrasco)
Las proposiciones pueden establecerse en dos modos: una en que la proposici
on esta definida como verdadera, y una en que la verdad de la proposicion
es algo a ser determinado. En otras palabras, las proposiciones pueden establecerse como hechos
o dudas.
Las proposiciones compuestas tienen dos o mas proposiciones atomicas,
las cuales estan conectadas por conectores logicos, u operadores, de la misma
forma en que las expresiones logicas son construidas en lenguajes imperativos.
Los nombres, smbolos, y significados de los conectores logicos del calculo de
predicados son los siguientes:
Nombre Smbolo Ejemplo Significado
negacion a no a
conjuncion \ a \ b a y b
disjuncion [ a [ b a o b
equivalencia _ a _ b a es equivalente a b
implicacion _ a _ b a implica b
_ a _ b b implica a
Los siguientes son ejemplos de proposiciones compuestas:
a \ b _ c
a \ b _ d
Las variables pueden aparecer en proposiciones pero solo cuando son
introducidas por smbolos especiales llamados cuantificadores. El calculo de
predicados incluye dos cuantificadores, como se describe abajo, donde X es
una variable y P una proposicion:
Nombre Ejemplo Significado
universal 8X.P Para todo X, P es verdadero.
existencial 9X.P Existe un valor de X tal que P es verdadero.
1.2.2. Forma Clausal
Un problema con el calculo de predicados como lo hemos descrito hasta
aqu es que hay muchas formas diferentes de establecer proposiciones que
tienen
el mismo significado; esto es, hay un gran cantidad de redundancia. Este
no es un problema para los logicos, pero si el calculo de predicados es usado
para un sistema automatizado (computarizado), este es un problema serio.
A fin de simplificar, es deseable una forma estandar para las proposiciones.
La forma clausal, que es una forma relativamente simple de proposiciones, es
una de tales formas estandar. Sin perdida de generalidad, todas las
proposiciones
pueden ser expresadas en forma clausal. Una proposicion en forma
clausal tiene la siguiente sintaxis general:
B1 [ B2 [ ... [ Bn _ A1 \ A2 \ ... \ Am
en la que las As y las Bs son terminos. El significado de esta proposicion en
forma clausal es la siguiente: Si todas las As son verdaderas, entonces al menos
una B es verdadera. Las caractersticas primarias de las proposiciones en
forma clausal son las siguientes: Los cuantificadores existenciales no son
requeridos;
los cuantificadores universales son implcitos en el uso de variables
en las proposiciones atomicas; y no se requiere ningun otro operador que la
conjuncion y la disjuncion. Tambien, la conjuncion y la disjuncion necesitan
aparecer solo en el orden mostrado en la forma clausal general: la disjuncion
en el lado izquierdo y la conjuncion en el lado derecho.
El lado derecho de una proposicion de forma clausal es llamado el an-
tecedente. El lado derecho es llamado el consecuente debido a que es la
consecuencia de la verdad del antecedente.