Está en la página 1de 5

Redes semnticas

En 1909, Charles Pierce propuso una notacin grafica de nodos y arcos


denominada grafos existenciales que el dominio <<la lgica del futuro>>.
Entonces empez un debate de larga duracin entre los defensores de la
<<lgica>>
y
los
defensores
de
las
<<redes
semnticas>>.
Desafortunadamente, el debate oscureci el hecho de que las redes
semnticas (por lo menos aquellas con un concepto de semntica bien
definido) son una forma de lgica. La notacin que proporcionan las redes
semnticas para cierta clase de sentencias es a menudo ms conveniente,
pero si se deja de lado la <<interfaz humana>>, los conceptos base(objetos,
relaciones, cuantificacin, etc.) son los mismos.
Existen diversas variantes de las redes semnticas, pero todas son capaces de
representar objetos individuales, categoras de objetos y relaciones entre
objetos. Una notacin grafica comn visualiza objetos o nombres de categoras
en valos o cajas, y los conecta con arcos etiquetados. Por ejemplo, la figura
10.9 tiene un enlace menor
de entre Mary y personal fmina,
correspondiente a la
asercin lgica Persona

Femenina. De igual modo, el enlace HemanuDe entre Mary y John corresponde


a la asercin
HermanaDe(Mury, John). Se pueden conectar categoras usando enlaces
SubconjuntoDe.
Es tan divertido dibujar burbujas y flechas que uno puede dejarse llevar. Por
ejemplo, se conoce que todas las personas tienen una madre de sexo
femenino, por lo
tanto se puede dibujar un enlace TieneMadre desde Personas hasta
PersonaFemenina?

La respuesta es no, porque TieneMudre es una relacin entre una persona y su


madre, y las categorias no tienen madre Por esta razn, se ha usado una
notacin especial (en
enlace con caja doble) en la Figura 10.9. Este enlace expresa que

Como antes, se necesita ser cuidadoso para no afirmar que una categora tiene piernas.
La caja con lnea simple de la Figura 10.9 se usa para especificar propiedades de cada
miembro de una categora.
La notacin de la red semntica hace muy conveniente la utilizacin de razonamiento
basado en herencia del tipo del introducido en la Seccin 10.2. Por ejemplo, por el hecho
de ser persona, Mary hereda la propiedad de tener dos piernas. Por lo tanto, para saber
cuntas piernas tiene Mq, el algoritmo de herencia sigue el enlace MiembroDe desde
Mary hasta la categora a la cual pertenece y entonces contina por el enlace SubconjuntoDe
hasta encontrar la categora en la cual existe un enlace etiquetado con el recuadro
Piernas (en este caso, la categora Personas). La simplicidad y eficiencia de este mecanismo
de inferencia, comparado con el teorema de la prueba lgica, ha sido uno de los
ms atractivos para las redes semnticas.
La herencia se complica cuando un objeto puede pertenecer a ms de una categora,
o cuando una categora puede ser un subconjunto de varias categoras. Esto se conoce
HERENCIA M~LTIPLE con el nombre de herencia mltiple. En estos casos, el algoritmo de herencia puede
encontrar
dos o ins valores en conflicto que resuelvan la pregunta. Por esta razn, no se
permite herencia mltiple en algunos lenguajes de programacin orientada a objetos
(POO), como Java, que usa la herencia para la jerarqua de clases. La herencia mltiple
es permitida comnmente en las redes semnticas, pero se postergar esta discusin hasta
la Seccin 10.7.
Otra forma comn de herencia es el uso de enlaces inversos. Por ejemplo, TieneHermana es el inverso de HermanaDe, lo que significa que

Esta sentencia puede ser expresada en una red semntica si el enlace es reificado (es decir,
transformado en objetos). Por ejemplo, se podra tener el objeto HermanaDe, conectado
con un enlace inverso mediante TieneHermana. Dada la pregunta acerca de quin
es HermanaDe John, el algoritmo de inferencia puede descubrir que TieneHermana es
el inverso de HennanuDe y por lo tanto, puede responder a la pregunta siguiendo el enlace
TieneHermuna desde John hasta Mary. Sin la informacin inversa, sera necesario
comprobar cada persona de sexo femenino para ver si esa persona tiene un enlace HermanaDe
hacia John. Esto es as debido a que las redes semnticas proporcionan indexacin
directa slo para objetos, categoras y los enlaces que salen de ellos. Utilizando
el vocabulario de la lgica de primer orden, es como si la base de conocimiento estuviera
indexada slo por el primer argumento de cada predicado.

El lector puede haberse dado cuenta de un inconveniente obvio de la notacin de las


redes semnticas, en comparacin con la lgica de primer orden: el hecho de que los enlaces
entre burbujas representan slo relaciones binarias. Por ejemplo, la sentencia Vuela(
Shunka>;N uevaYork, NuevaDelhi, Ayer) no se puede expresar directamente en una red
semntica. Sin embargo, se puede conseguir el efecto de las relaciones n-arias reificando
la proposicin como si fuera un evento (vase la Seccin 10.3) perteneciente a una
categora de eventos apropiada. La Figura 10.10 muestra la estructura de la red semntica
para este evento particular. Ntese que la restriccin de las relaciones binarias fuerza
a la creacin de una ontologa rica de conceptos reificados. De hecho, mucha de la
ontologa desarrollada en este captulo se origin en sistemas de redes semnticas