REPRESENTACIN DEL CONOCIMIENTO EN SUS DIVERSAS FORMAS:

Virtualmente todos los lenguajes de representacin del conocimiento se basan, de cierta

manera, en lgica formal (lgica proposicional, lgica del predicado, lgica temporal)

REPRESENTACIN MEDIANTE LGICA PROPOSICIONAL

La lgica proposicional o lgica de orden cero es un sistema formal cuyos elementos
ms simples representan proposiciones, y cuyas constantes lgicas, llamadas conectivas,
representan operaciones sobre proposiciones, capaces de formar otras proposiciones de
mayor complejidad.
La lgica proposicional trata con sistemas lgicos que carecen de cuantificadores, o
variables interpretables como entidades. En lgica proposicional si bien no hay signos
para variables de tipo entidad, s existen signos para variables proposicionales (es decir,
que pueden ser interpretadas como proposiciones con un valor de verdad de definido),
de ah el nombre proposicional. La lgica proposicional incluye adems de variables
interpretables como proposiciones simples signos para conectivas lgicas, por lo que
dentro de este tipo de lgica puede analizarse la inferencia lgica de proposiciones a
partir de proposiciones, pero sin tener en cuenta la estructura interna de las
proposiciones ms simples.2

Conectivas lgicas
A continuacin hay una tabla que despliega todas las conectivas lgicas que ocupan a la
lgica proposicional, incluyendo ejemplos de su uso en el lenguaje natural y los
smbolos que se utilizan para representarlas en lenguaje formal.

En la lgica proposicional, las conectivas lgicas se tratan como funciones de verdad.

Es decir, como funciones que toman conjuntos de valores de verdad y devuelven valores
de verdad. Por ejemplo, la conectiva lgica no es una funcin que si toma el valor de
verdad V, devuelve F, y si toma el valor de verdad F, devuelve V. Por lo tanto, si se
aplica la funcin no a una letra que represente una proposicin falsa, el resultado ser
algo verdadero. Si es falso que est lloviendo, entonces ser verdadero que no est
lloviendo.
El significado de las conectivas lgicas no es nada ms que su comportamiento como
funciones de verdad. Cada conectiva lgica se distingue de las otras por los valores de
verdad que devuelve frente a las distintas combinaciones de valores de verdad que

puede recibir. Esto quiere decir que el significado de cada conectiva lgica puede
ilustrarse mediante una tabla que despliegue los valores de verdad que la funcin
devuelve frente a todas las combinaciones posibles de valores de verdad que puede
recibir.

Leyes notables en lgica

Entre las reglas de la lgica proposicional clsica algunas de la ms notables son
listadas a continuacin:
1.
2.
3.
4.
5.
6.

Ley de doble negacin

Leyes de idempotencia
Leyes asociativas
Leyes conmutativas
Leyes distributivas
Leyes de De Morgan

Otras leyes como el principio del tercero excluido son admisibles en lgica clsica, pero
en lgica intuicionista y con fines a sus aplicaciones matemticas no existe un
equivalente del tercero excluido, por ejemplo.

Lmites de la lgica proposicional

La maquinaria de la lgica proposicional permite formalizar y teorizar sobre la validez
de una gran cantidad de argumentos. Sin embargo, tambin existen argumentos que son
intuitivamente vlidos, pero cuya validez no puede ser probada por la lgica
proposicional. Por ejemplo, considrese el siguiente argumento:
1. Todos los hombres son mortales.
2. Scrates es un hombre.
3. Por lo tanto, Scrates es mortal.
Como este argumento no contiene ninguna de las conectivas no, y, o, etc., segn
la lgica proposicional, su formalizacin ser la siguiente:
1. p
2. q
3. Por lo tanto, r
Pero esta es una forma de argumento invlida, y eso contradice nuestra intuicin de que
el argumento es vlido. Para teorizar sobre la validez de este tipo de argumentos, se
necesita investigar la estructura interna de las variables proposicionales. De esto se
ocupa la lgica de primer orden. Otros sistemas formales permiten teorizar sobre otros

tipos de argumentos. Por ejemplo la lgica de segundo orden, la lgica modal y la

lgica temporal.

Representacin Mediante 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)

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_carlos)
clima(martes, lluvioso)
ave(gaviota)
ama(roberto, vanessa)
lee(alex, novela)
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.

Unificacin
Cuando se tienen sentencias compuestas por predicados y conectivos lgicos,
se debe evaluar la veracidad de cada uno de sus componentes para determinar
si toda la sentencia es verdadera o falsa. Para ello, se busca en el conjunto de
axiomas la forma de establecer la veracidad de los predicados componentes.
Un predicado componente se dice que es verdadero si se identifica con un
axioma de la base de informacin. En la lgica de predicados, este proceso es
algo complicado ya que las sentencias pueden tener trminos variables. A los
predicados que tienen variables por argumentos, se los denomina patrones.
La unificacin es el proceso de computar las sustituciones apropiadas que
permitan determinar si dos expresiones lgicas, ya sean predicados o patrones,
coinciden.
El proceso de unificacin involucra los siguientes pasos:

Todo predicado que no contenga variables en sus argumentos, deben

tener un axioma que se identifique totalmente, para considerarlo como
verdadero.
Si un predicado contiene una variable, esta debe ser asociada a un valor
determinado. Esta asociacin se realiza buscando en la base de
axiomas y seleccionando todos aquellos que se identifican con el patrn
en todo, excepto por la variable. La variable es asociada con el valor en
la posicin correspondiente del axioma. Si ms de un axioma se
identifica con el predicado dado, todos los valores asociados son
considerados y son tratados separadamente.
El proceso de identificacin continua asumiendo que el valor de la
variable es el valor asociado, en cualquier lugar que esta aparezca.
Los conectivos lgicos son aplicados a todos los predicados, para
determinar la veracidad de la sentencia dada.

Inferencia y Razonamiento
Inferir es concluir o decidir a partir de algo conocido o asumido; llegar a una
conclusin. A su vez, razonar es pensar coherente y lgicamente; establecer
inferencias o conclusiones a partir de hechos conocidos o asumidos.

El proceso de razonamiento, por lo tanto, involucra la realizacin de

inferencias, a partir de hechos conocidos. Realizar inferencias significa derivar
nuevos hechos a partir de un conjunto de hechos conocidos como verdaderos.
La lgica de predicados proporciona un grupo de reglas slidas, con las cuales
se pueden realizar inferencias. Las principales Reglas de Inferencia son:
Modus ponens.- Es la ms importante, en los sistemas basados en
conocimiento. Establece que:
Si las sentencias p y (p q) se conocen que son verdaderas,
entonces se puede inferir que q tambin es verdadera.
Modus tolens.- Esta regla establece que:
Si la sentencia (p q) es verdadera y q es falsa,
entonces se puede inferir que p tambin es falsa.
Resolucin.- Utiliza refutacin para comprobar una determinada sentencia. La
refutacin intenta crear una contradiccin con la negacin de la sentencia
original, demostrando, por lo tanto, que la sentencia original es verdadera. La
resolucin es una tcnica poderosa para probar teoremas en lgica y
constituye la tcnica bsica de inferencia en PROLOG, un lenguaje que
manipula en forma computacional la lgica de predicados. La regla de
resolucin, establece que:
Si (A B) es verdadero y (~B C) es verdadero,
entonces (A C) tambin es verdadero.
En lgica de predicados, existen tres mtodos bsicos de razonamiento:
deductivo, abductivo e inductivo.
Deduccin.- Es el razonamiento a partir de un principio conocido hacia un
desconocido; de lo general, a lo especfico, o de la premisa a la conclusin
lgica. La deduccin realiza inferencias lgicamente correctas. Esto significa
que la deduccin a partir de premisas verdaderas, garantiza el resultado de
conclusiones tambin verdaderas.
La deduccin es el mtodo ms ampliamente comprendido, aceptado y
reconocido de los tres indicados. Es la base tanto de la lgica proposicional,
como de la lgica de predicados. A manera de ejemplo, el mtodo deductivo,
se puede expresar, utilizando lgica de predicados, como sigue:

A, B, C, [mayor (A, B) mayor (B, C) mayor (A, C)]

Abduccin.- Es un mtodo de razonamiento comnmente utilizado para
generar explicaciones. A diferencia de la induccin, la abduccin no garantiza

que se puedan lograr conclusiones verdaderas, por lo tanto no es un mtodo

slido de inferencia. La forma que tiene la abduccin es la siguiente:
Si la sentencia (A B) es verdadera y B es verdadera,
entonces A es posiblemente verdadera.
En abduccin, se empieza por una conclusin y se procede a derivar las
condiciones que podran hacer a esta conclusin vlida. En otras palabras, se
trata de encontrar una explicacin para la conclusin.
Induccin.- Se define como el razonamiento a partir de hechos particulares o
casos individuales, para llegar a una conclusin general. El mtodo inductivo es
la base de la investigacin cientfica. La forma ms comn del mtodo inductivo
es la siguiente:
Si se conoce que P(a), P(b), ......, P(n) son verdaderos,
entonces se puede concluir que X, P(X) es tambin verdadero.
La induccin es una forma de inferencia muy importante ya que el aprendizaje,
la adquisicin de conocimiento y el descubrimiento estn basados en ella. Al
igual que la abduccin, la induccin no es un mtodo slido de inferencia.
El razonamiento deductivo es una forma monotnica de razonar que produce
argumentos que preservan la verdad. En un sistema monotnico todos los
axiomas utilizados se conocen como verdaderos por sus propios mritos, o
pueden ser derivados de otros hechos conocidos como verdaderos. Los
axiomas no pueden cambiar, ya que una vez que se los conoce como
verdaderos, siempre permanecen as y no pueden ser modificados o
retractados. Esto significa que en el razonamiento monotnico el conjunto de
axiomas continuamente crece en tamao.
Otro aspecto del razonamiento monotnico es que si ms de una inferencia
lgica puede ser hecha a un tiempo especfico y una de ellas se realiza, las
inferencias que quedan sern todava aplicables despus que dicha inferencia
haya sido hecha.

Ventajas y desventajas de la Lgica de Predicados

A continuacin se presentan algunos aspectos caractersticos de la lgica de
predicados y su implementacin computacional, el lenguaje de programacin
PROLOG:
Manejo de incertidumbre.- Una de las mayores desventajas de la lgica de
predicados es que slo dispone de dos niveles de veracidad: verdadero y falso.
Esto se debe a que la deduccin siempre garantiza que la inferencia es
absolutamente verdadera. Sin embargo, en la vida real no todo es blanco y

negro. En cierta forma el PROLOG ha logrado mitigar esta desventaja,

permitiendo la inclusin de factores de certeza.
Razonamiento monotnico.- La lgica de predicados al ser un formalismo de
razonamiento monotnico, no resulta muy adecuada para ciertos dominios del
mundo real, en los cuales las verdades pueden cambiar con el paso del tiempo.
El PROLOG compensa esta deficiencia, proporcionando un mecanismo para
remover los hechos de la base de datos. Por ejemplo, en TURBO PROLOG se
tiene la clusula retractall.
Programacin declarativa.- La lgica de predicados, tal como est diseada
en PROLOG, es un lenguaje de programacin declarativo, en donde el
programador slo necesita preocuparse del conocimiento expresado en
trminos del operador de implicacin y los axiomas. El mecanismo deductivo
de la lgica de predicados llega a una respuesta (si esto es factible), utilizando
un proceso exhaustivo de unificacin y bsqueda. A pesar que la bsqueda
exhaustiva puede ser apropiada en muchos problemas, tambin puede
introducir ineficiencias durante la ejecucin. Para lograr un cierto control en el
proceso de bsqueda, PROLOG ofrece la operacin de corte, CUT. Cuando no
se utiliza el CUT, PROLOG se convierte en un lenguaje puramente declarativo.