INSTITUTO TECNOLOGICO DE DURANGO

INGENIERA EN SISTEMAS COMPUTACIONALES

Alumno:
Luis Gilberto Cuevas Salas
N Control: 11041254
Materia:
Inteligencia Artificial
Catedrtico:
RODRIGUEZ RIVAS JOSE GABRIEL

Durango, Dgo., 13 de Abril del 2015

Lgica de predicados
La principal debilidad de la lgica proposicional es su limitada habilidad para
expresar conocimiento. Existen varias sentencias complejas que pierden
mucho de su significado cuando se las representa en lgica proposicional. Por
esto se desarroll una forma lgica ms general, capaz de representar todos
los detalles expresados en las sentencias, esta es la lgica de predicados.
La lgica de predicados est basada en la idea de las sentencias realmente
expresan relaciones entre objetos, as como tambin cualidades y atributos de
tales objetos. Los objetos pueden ser personas, objetos fsicos, o conceptos.
Tales cualidades, relaciones o atributos, se denominan predicados.
Los objetos se conocen como argumentos o trminos del predicado.
Al igual que las proposiciones, los predicados tienen un valor de veracidad,
pero a diferencia de las preposiciones, su valor de veracidad, depende de sus
trminos. Es decir, un predicado puede ser verdadero para un conjunto de
trminos, pero falso para otro.

Por ejemplo, el siguiente predicado es verdadero:

color (yerba, verde)

El mismo predicado, pero con diferentes argumentos, puede no ser verdadero:

color (yerba, azul) o color (cielo, verde)

Los predicados tambin pueden ser utilizados para asignar una cualidad
abstracta a sus trminos, o para representar acciones o relaciones de accin
entre dos objetos. Por ejemplo:
mortal(juan_carlo
s)

clima(marte
s, lluvioso)

ave(gaviota
)

ama(robert
o, vanessa)

lee(alex,novel
a)

mordio(boby
, cartero)

Al construir los predicados se asume que su veracidad est basada en su

relacin con el mundo real. Naturalmente, siendo prcticos, trataremos que los
predicados que definimos estn de acuerdo con el mundo que conocemos, pero
no es absolutamente necesario que as lo hagamos. En lgica de predicados el

establecer como verdadero un predicado es suficiente para que as sea

considerado.
Demos el siguiente ejemplo, que indica que Ecuador est en Europa:
parte_de(ecuador, europa)

Obviamente, esto no es verdadero en el mundo real, pero la lgica de

predicados no tiene razn de saber geografa y si el predicado es dado como
verdadero, entonces es considerado como lgicamente verdadero. Tales
predicados, establecidos y asumidos como lgicamente verdaderos se
denominan axiomas, y no requieren de justificacin para establecer su verdad.
La lgica de predicados, se ocupa nicamente de mtodos de argumentacin
slidos. Tales argumentaciones se denominan Reglas de Inferencia. Si se da un
conjunto de axiomas que son aceptados como verdaderos, las reglas de
inferencia garantizan que slo sern derivadas consecuencias verdaderas.
Tanto los conectivos lgicos, como los operadores dados anteriormente para la
lgica proposicional, son igualmente vlidos en lgica de predicados. De hecho,
la lgica proposicional es un subconjunto de la lgica de predicados.
Cada uno de los argumentos en los ejemplos de predicados dados
anteriormente, representan a un objeto especfico. Tales argumentos se
denominan constantes. Sin embargo, en la lgica de predicados se pueden
tener argumentos que en determinado momento pueden ser desconocidos.
Estos son los argumentos tipo variable.
En el ejemplo: color (yerba, X), la variable X, puede tomar el valor de verde,
haciendo que el predicado sea verdadero; o puede tomar el valor de azul,
dando lugar a que el predicado sea falso.
Las variables, tambin pueden ser cuantificadas. Los cuantificadores que
tpicamente se utilizan en lgica de predicados son:

El cuantificador universal; indica que la frmula bien formada, dentro de su

alcance, es verdadera para todos los valores posibles de la variable que es
cuantificada. Por ejemplo:
X....
Establece que "para todo X, es verdad que . . . "

El cuantificador existencial;, indica que la frmula bien formada, dentro de su

alcance, es verdadera para algn valor o valores dentro del dominio. Por
ejemplo:
X....
Establece que "existe un X, tal que . . . "

A continuacin se dan algunos ejemplos de predicados cuantificados:

X, [nio (X) => le_gusta (X, helados)].
Y, [mamfero (Y) => nace (Y, vivo)].
Z, [cartero(Z) ^ mordi (boby, Z)].

Desde el punto vista de representacin, los cuantificadores son difciles de

usar. Por lo que es deseable reemplazarlos con alguna representacin
equivalente, ms fcil de manipular. El caso del cuantificador universal es ms
simple ya que se asume a todas las variables como universalmente
cuantificadas.
El cuantificador existencial es ms difcil de reemplazar. El cuantificador
existencial garantiza la existencia de uno o ms valores particulares
(instancias) de la variable cuantificada, que hace a la clusula verdadera. Si se
asume que existe una funcin capaz de determinar los valores de la variable
que hace la clusula verdadera, entonces simplemente se remueve el
cuantificador existencial y se reemplaza las variables por la funcin que retorna
dichos valores. Para la resolucin de problemas reales, esta funcin,
llamada funcin de Skolem, debe ser conocida y definida.
SINTAXIS
La sintaxis de la lgica propositiva es sencilla. Los smbolos utilizados en la
lgica propositiva son las constantes lgicas Verdadero y Falso, smbolos de
proposiciones tales como P y Q, los conectivos lgicos , , <=>, =>, y y
parntesis ( ). Todas las oraciones se forman combinando los signos anteriores
mediante las siguientes reglas:
Las constantes lgicas Verdadero y Falso constituyen oraciones en s mismo.
Encerrar entre parntesis una oracin produce tambin una oracin, por
ejemplo (PQ).
Una oracin se forma combinando oraciones ms sencillas con uno de los
cinco conectores lgicos:
o (y). Se le denomina conjuncin (lgica).
o V (o). Se le denomina disyuncin.
o (implica). Se conoce como implicacin (o condicional).
o (equivalente). La oracin es una equivalencia (tambin conocida
como bicondicional).
o (no). Se le conoce como negacin.

En la gramtica se representan oraciones atmicas, que en la lgica

propositiva se representan mediante un solo signo (por ejemplo, P) y

las oraciones complejas, que constan de conectores o parntesis (por

ejemplo, PQ). Tambin se utiliza el trmino literal, que representa oraciones
atmicas o una oracin atmica negada.
SEMNTICA

En lgica, el significado de una oracin es aquello que se afirma del mundo,

que el mundo sea de una forma.
Una vez que mediante la semntica se interpreta una oracin, sta puede
ser cierta o falsa.
Una oracin es cierta dentro de una interpretacin determinada si el estado
de asuntos que representa es cierta.
El significado de una oracin depende tanto de la oracin como del contexto
en que se produce.

Una interpretacin asocia cada variable proposicional con una proposicin

sobre el mundo. Porque las proposiciones son o verdades o falso, podemos
tambin especificar una interpretacin asignando los valores de verdad,
VERDAD y FALSO directamente a las variables proposicionales, sin importar qu
proposicin cada uno denota.
Cada conector lgico es definido por una tabla de verdad Dado una
interpretacin de las variables proposicionales, nosotros podemos utilizar una
tabla de verdad para calcular el valor de verdad de cualquier oracin bajo esa
interpretacin
En trminos generales, una semntica permite atribuir un significado a las
expresiones del lenguaje simblico considerado. En el caso de un lenguaje de
programacin como C, esta semntica es procedural y consiste en describir el
efecto que produce el programa sobre sus estructuras de datos. Para un
lenguaje de representacin, lo que interesa es capturar una descripcin del
universo modelado. La lgica permite hacer esto asignando un valor de verdad
a cada expresin del lenguaje.
La semntica de un lenguaje proposicional depende
1. De la interpretacin de los conectivos lgicos, que tienen el mismo
significado en todos los dominios
2. De los valores de verdad asignados a las variables proposicionales, distintos
segn la situacin reflejada.

TABLAS DE VERDAD
Se emplean en la lgica para determinar los posibles valores de verdad de una
expresin o proposicin. O si un esquema de inferencia, como argumento, es
formalmente vlido mostrando que, efectivamente, es una tautologa.

La tabla de verdad de una sentencia es una tabla en la que se presentan todas

las posibles interpretaciones de las variables proposicionales que constituyen
la sentencia y el valor de verdad de la sentencia para cada interpretacin.
Dado que en el clculo proposicional se opera slo sobre dos valores de
verdad, para cualquier expresin existe un nmero finito de valuaciones
posibles que se pueden tabular.
La tabla de verdad de una expresin con n variables proposicionales tiene 2n
filas
Semntica

Negacin Consiste en cambiar el valor de verdad de una variable

proposicional.

Disyuncin: La sentencia ser verdadera cuando una o ambas variables

proposicionales sean verdaderas.

Conjuncin: La sentencia ser verdadera slo cuando ambas variables

proposicionales sean verdaderas.

VALIDEZ E INFERENCIA
Los trminos "razonamiento" e "inferencia" son utilizados para referirse a
cualquier proceso mediante el que se obtienen conclusiones. Las tablas de
verdad sirven no solo para definir los conectores, sino tambin para probar la
validez de las oraciones. Si se desea considerar una oracin, se construye una
tabla de verdad con una hilera por cada una de las posibles combinaciones de
valores de verdad correspondientes a los signos proposititos de la oracin. Se
calcula el valor de verdad de toda la oracin, en cada una de las hileras. Si la
oracin es verdadera en cada una de las hileras. La oracin es vlida.
Las tablas nos manifiestan los valores de verdad de cualquier proposicin, as
como el anlisis de los mismos, encontrndonos con los siguientes casos:

Tautologa o validez: Se entiende por proposicin tautolgica, o

tautologa, aquella proposicin que en todos los casos posibles de su
tabla de verdad su valor siempre es V.

Contradiccin: Se entiende por proposicin contradictoria, o

contradiccin, aquella proposicin que en todos los casos posibles de su
tabla de verdad su valor siempre es F

Contingencia (verdad indeterminada): Se entiende por verdad

contingente, o verdad de hecho, aquella proposicin que puede ser
verdadera o falsa, o no se tiene suficiente informacin para llegar a una
conclusin

Satisfabilidad. Si en la tabla de verdad se obtiene al menos una VERDAD.

CONCLUCIONES
La lgica proposicional estudia las proposiciones o sentencias lgicas, sus
posibles evaluaciones de verdad y en el caso ideal, su nivel absoluto de verdad
y se preocupa por la manera de representar las cosas, sin embargo como ya
dijimos tiene la debilidad de tener una limitada habilidad para expresar
conocimiento y por eso se desarroll una forma lgica ms general, capaz de

representar todos los detalles expresados en las sentencias, esta es la lgica

de predicados.
Cul es la diferencia?
Ambas tanto proposiciones como predicados tienen un valor de veracidad, pero
a diferencia de las preposiciones, su valor de veracidad, depende de sus
trminos, sea que un predicado puede ser verdadero para un conjunto de
trminos, pero falsos para otros.
Con esto podemos concluir que la veracidad de los predicados depende de
como lo establezcamos nosotros, suponiendo que lo hagamos basados en el
mundo real si as lo decidimos ser verdad ms sin embargo si nosotros
definimos que es verdad aun que en el mundo real no lo sea, el predicado se
tomara como verdadero.