Sin duda el tipo de red
semántica por excelencia es el de redes IS-A. De hecho muchas veces se menciona
este tipo como sinónimo de "red semántica", y los restantes tipos
también incorporan este tipo de enlaces o arcos (links). Esto ha dado
lugar a que existan casi tantos significados para un enlace IS-A como los hay
para sistemas de KR (Brachman, 1983).
Una red IS-A es una
jerarquía taxonómica cuya espina dorsal está constituida por un sistema de
enlaces de herencia entre los objetos o conceptos de representación, conocidos
como nodos. Estos enlaces o arcos pueden estar etiquetados
"IS-A", también "SUPERC", "AKO",
"SUBSET", etc. Los restantes tipos de redes semánticas son en
realidad especializaciones de redes IS-A, por lo que siguen y amplían los
conceptos fundamentales que exponemos en este apartado.
Las redes IS-A son el
resultado de la observación de que gran parte del conocimiento humano se basa
en la adscripción de un subconjunto de elementos como parte de otro más
general. Las taxonomías clásicas naturales son un buen ejemplo: un perro es un
cánido, un cánido es un mamífero, un mamífero es un animal. Obteniendo un
número de proposiciones:
x (perro
(x)) cánido (x);
x (cánido (x)) mamífero (x);
x (mamífero (x)) animal (x);
x (cánido (x)) mamífero (x);
x (mamífero (x)) animal (x);
La estructuración
jerárquica facilita que la adscripción de propiedades a una determinada
categoría se reduzca a aquellas que son específicas a la misma, heredando
aquellas propiedades de las categorías superiores de la jerarquía, tradicionalmente
de una forma monotónica. El siguiente ejemplo de red IS-A (Figura 4.11),
tomado de (Brachman 1983:31) ejemplifica una red semántica típica con herencia
de propiedades.
El concepto de herencia es
fundamental para entender el funcionamiento de las redes semánticas, así como
el del modelo de datos orientado al objeto, que toma prestados estos mecanismos
desarrollados en el ámbito de la IA. Siguiendo a Shastri (1988), definimos la
herencia como el sistema de razonamiento que lleva a un agente a deducir
propiedades de un concepto basándose en las propiedades de conceptos más altos
en la jerarquía.
Así, en el ejemplo jerárquico
de la Figura 411, el agente sería capaz de atribuir las propiedades
"breathes" o "has gills" al concepto "shark" sin
que éstas se encuentren específicamente mencionadas. La herencia, por tanto,
puede ser definida como el proceso mediante el cual se determinan unas
propiedades de un concepto C, buscando las propiedades atribuidas
localmente a C, si esta información no se encuentra a nivel local,
buscando las propiedades atribuidas a conceptos que se encuentran en los
niveles superiores a C en la jerarquía conceptual.
Como Brachman (1983)
recuerda, las nodos de las estructuras IS-A se han usado para representar
muchas cosas, pero la división más importante es la interpretación genérica
o específica de los nodos, es decir, si éstos representan un sólo
individuo o varios. Los nodos situados en lo más bajo de la jerarquía y que
denotan individuos son llamados tokens, mientras que los nodos
superiores, que denotan clases de individuos son considerados types.
Puesto que en una misma jerarquía podemos obtener nodos de ambos tipos, se debe
hacer explícita una distinción de los tipos de enlaces. Por un lado existen
enlaces que conectan categorías (genéricas) con otras categorías, y por otro,
enlaces entre categorías e individuos. Las primeras pueden expresar las
siguientes relaciones:
- Subconjunto/superconjunto
- Generalización/especificación
- AKO, esto es, "a kind of"
- Contenido conceptual
- Restricción de valores
- Tipo característico del conjunto
Las
relaciones genérico/individuales también son de varios tipos:
- Pertenencia al conjunto
- Predicación
- Contenido conceptual
- Abstracción
Como recuerda Hodgson (1991),
las jerarquías IS-A presentan un número impresionante de posibilidades, pero
también una desventaja: al aumentar el número de enlaces, aumenta progresivamente
la complejidad computacional para seguirlos. Este problema bien conocido ha
dado lugar a que se haya propuesto que, en lugar de establecer esta y otras
posibles taxonomías de enlaces IS-A, se use el enlace IS-A de propósito
general, que al ser programable, permite establecer el tipo de
enlace adecuado a cada situación particular, lo que dota de una gran
flexibilidad al esquema de representación. De este modo se puede representar
una semántica compleja, específicamente mediante el uso de prototipos,
en los que una determinada situación se representa mediante nodos y arcos
específicos. Por ejemplo, la aserción "The book rests on the table"
se puede representar así:
Estos prototipos o esquemas
forman la base de los scripts de Schank y Abelson (1977), que mencionaremos
en el siguiente apartado.
En la Figura 4.13 exponemos el tipo de
diagrama para representar una oración de lenguaje natural con una notación de
redes semánticas, tomando como ejemplo la oración "John hit a nail with a
hammer"
En esta red los nodos son
identificadores de las instancias determinadas (tanto verbos como sustantivos).
"Inst" representa una instancia de una clase de entidades (hit, nail,
hammer): "h43" es una instancia de la acción hit, existiendo un
paciente, "n53", instancia de la clase nail, que es el que recibe la
acción, mediante un instrumento "ha42", que es una instancia de la
clase hammer (el hecho de que "john" es una instancia de la clase
person, no ha sido representado).
Este tipo de representación
de conocimiento es directo y fácil de seguir, pero el establecimiento de los
primitivos adecuados es muy dificultoso y a veces es imposible representar un
sistema de este modo. Además, exige una gran cantidad de trabajo de inferencia:
es relativamente fácil determinar si dos frases significan lo mismo pero no es
tan fácil determinar si una frase es la consecuencia lógica de otra.
Otro problema estriba en la
diversidad de tipos de arcos establecidos. Esto provoca que de red semántica a
red semántica el significado de los arcos y los nodos varíe, provocando
ambigüedad en la notación. Por ejemplo, la red semántica de la Figura 4.14 puede tener tres
significados distintos:
- Representa el concepto de un teléfono: tal cosa existe.
- Representa un teléfono negro específico.
- Representa la aseveración de la relación entre los teléfonos y el negro: algunos o todos los teléfonos son negros.
Para concluir este
apartado, resumimos los tres problemas más reconocidos de los esquemas de representación
basados en redes semánticas:
- La elección de los nodos y arcos es crucial en la fase de análisis. Una vez se ha decidido una estructura determinada, es muy complicado cambiarla.
- Dificultad para expresar cuantificación. Por ejemplo en expresiones tales como "algunos pájaros vuelan" o "todos los pájaros pían".
- Del mismo modo, las redes semánticas presentan grandes dificultades para representar la dimensión intensional. Por ejemplo en proposiciones tales como "Pedro cree que Ana sabe conducir".
Esto llevó a idear otros
esquemas de representación con una estructura más compleja que simples nodos y
arcos, que fuesen capaces de dar cabida a éstas y otras situaciones.
Concretamente, John Sowa propuso los grafos conceptuales, aunque el esquema de
representación basado en marcos (frames) es el que ha tenido mayor
aceptación.
No hay comentarios:
Publicar un comentario