Redes Semnticas Una red semntica o esquema de representacin en Red es una forma de representacin de conocimiento lingstico en la que los

conceptos y sus interrelaciones se representan mediante un grafo. En caso de que no existan y mentales. ciclos, estas redes pueden ser visualizadas como rboles. Las redes semnticas son usadas, entre otras cosas, para representar mapas conceptuales. La tcnica de redes semnticas, ofrece un medio emprico de acceso a la organizacin cognitiva del conocimiento. Por tanto, puede proporcionar datos referentes a la organizacin e interpretacin interna de los significantes. Tambin indica como la informacin, fue percibida individualmente en el curso de la composicin del aprendizaje social y provee indicios fundamentales, a cerca de la tendencia a actuar basndose en ese universo cognitivo. 1. Historia Krech (1975), supone que el ambiente fsico y el social aprendido por el individuo facilitan el entendimiento del mundo social y solucin de problemas en la tcnica de las redes semnticas. Por tanto, suponen, que existen problemas sociales, que provocan necesidades comunes a las personas, llevndolas a organizar el conocimiento ganado empricamente con el fin de actuar, eficazmente, de manera colectiva frente a situaciones especficas. Los responsables de los primeros esquemas de representacin formalizados fueron Quillian (1968) y Shapiro & Woddmansee (1971). Los esquemas de redes semnticas tienen una fundamentacin psicolgica muy slida, por lo que se han realizado numerosos esfuerzos por llevar a cabo implementaciones importantes basadas en ellas. Muchas disciplinas han desarrollado tcnicas de realizacin de diagramas que constituyen lenguajes formales visuales que representan el conocimiento operacional en forma esquemtica. El filsofo y lgico Charles S. Pierce desarroll sus grafos existenciales como una tcnica formal de razonamiento para la inferencia lgica.

2. Elementos de una red semntica 2.1. Nodos

Representan conceptos, unidas por arcos que representan las relaciones entre los conceptos. 2.2. Arcos Los nodos se encuentran unidos por arcos los cuales indica la relacin que existe entre ellos. Existen 2 tipos de arcos 2.2.1. Estructurales Instancia o ejemplar: une un objeto con su tipo Subclase: une una clase con otra ms general Tiene _ parte: liga un objeto con sus componente Descriptivos Propiedades: Profesin, Color _ pelo, etc. Relaciones (no estructurales): Amigo_de, Padre_de,

(clase) 2.2.2. etc.

3. Caractersticas de una red semntica

Redes complejas organizadas en jerarquas: No tienen un vocabulario prefijado de representacin representacin en procesamiento de lenguaje natural formalismo muy limitado para dominios ms complejos Fcil comprensin grfica

4. Tipos de redes semnticas Bsicamente, podemos distinguir tres categoras de redes semnticas: Redes IS-A, en las que los enlaces entre nodos estn etiquetados.

 Grafos conceptuales: en los que existen dos tipos de nodos: de conceptos y de relaciones Redes de marcos: en los que los puntos de unin de los enlaces son parte de la etiqueta del nodo. En general, cuando se habla de "redes semnticas" se suele hacer referencia a uno de estos esquemas, normalmente a las redes IS-A o a los esquemas basados en marcos, que comparten ciertas caractersticas fundamentales. De entre estas caractersticas compartidas destacamos la herencia por defecto. En una red semntica, los conceptos (o estructuras, clases, marcos, dependiendo del esquema concreto) estn organizados en una red en la que existe un nodo superior al que se le asigna uno o varios nodos hijos, que a su vez tienen otros conceptos hijos y as sucesivamente hasta que se alcanza el final, cuyos nodos ya no son conceptos sino instancias. A continuacin estudiamos los tres tipos de esquemas de redes semnticas que han tenido una mayor repercusin. De los tres, el esquema basado en marcos es el que permite una mayor flexibilidad, y el que ha recibido mayor atencin por parte de los investigadores de ciencia cognitiva y lingstica. 4.1. Redes IS-A Una red IS-A es una jerarqua taxonmica cuya espina dorsal est constituida por un sistema de enlaces de herencia entre los objetos o conceptos de representacin, conocidos comonodos. Estos enlaces o arcos pueden estar etiquetados "IS-A", tambin "SUPERC", "AKO", "SUBSET", etc. Los restantes tipos de redes semnticas son en realidad especializaciones de redes IS-A, por lo que siguen y amplan los conceptos fundamentales que exponemos en este apartado. Las redes IS-A son el resultado de la observacin de que gran parte del conocimiento humano se basa en la adscripcin de un subconjunto de elementos como parte de otro ms general. Las

taxonomas clsicas naturales son un buen ejemplo: un perro es un cnido, un cnido es un mamfero, un mamfero es un animal.

Como Brachman recuerda, las nodos de las estructuras IS-A se han usado para representar muchas cosas, pero la divisin ms importante es la interpretacin genrica oespecfica de los nodos, es decir, si stos representan un slo individuo o varios. Los nodos situados en lo ms bajo de la jerarqua 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 jerarqua podemos obtener nodos de ambos tipos, se debe hacer explcita una distincin de los tipos de enlaces. Por un lado existen enlaces que conectan categoras (genricas) con otras categoras, y por otro, enlaces entre categoras e individuos. Las primeras pueden expresar las siguientes relaciones: Subconjunto/superconjunto Generalizacin/especificacin AKO, esto es, "a kind of" Contenido conceptual Restriccin de valores Tipo caracterstico del conjunto Las relaciones genrico/individuales tambin son de varios tipos: Pertenencia al conjunto Predicacin Contenido conceptual Abstraccin

4.2. Grafos conceptuales Los grafos conceptuales (conceptual graphs), propuestos por Sowa, se diferencian de las redes IS-A en que los arcos no estn etiquetados, y los nodos son de dos tipos: a. Nodos de concepto, que pueden representar tanto una entidad como un estado o proceso. b. Nodos de relacin, que indican cmo se relacionan los nodos de concepto. Por tanto, son los nodos de relacin los que hacen el papel de enlaces entre las entidades.Existen dos notaciones para los grafos conceptuales, la forma lineal (textual) y los diagramas o display form, que presentan tres tipos de elementos notacionales: rectngulos, que marcan los nodos de concepto, crculos, que marcan los nodos de relacin, flechas direccionadas, que marcan los arcos. Las reglas de formacin que permiten que un grafo cannico se derive de otro son las de copia, unin, restriccin y simplificacin. Adems un grafo puede convertirse en cannico mediante otros dos procesos: a. Perception: un grafo es cannico si es construido por el assembler mediante un icono sensorial. b. Insight: se pueden concebir los grafos conceptuales arbitrarios como cannicos.

Esta teora est enteramente basada en los primitivos semnticos, que son las entidades bsicas usadas para describir el mundo. Las dificultades, por tanto, son las mismas que presentan todas las teoras lingsticas basadas en primitivos: la naturaleza totalmente arbitraria de los primitivos escogidos y la falta de sistematicidad en su uso y adopcin. Al igual que en otras teoras lingsticas basadas en primitivos semnticos, el nmero de stos tendi a crecer, en el caso de Schank hasta 40. Tampoco l se salva de la sospechosa similitud entre algunos primitivos y lexemas concretos, como por ejemplo want. 4.3. Redes marcos La fundamentacin psicolgica de los marcos es parecida a la de Schank: cuando nos enfrentamos con una situacin determinada, intentamos ajustarla a otra parecida de la que ya tenemos experiencia previa y esperamos que aparezcan un nmero de elementos comunes y se sucedan algunas situaciones. Por ejemplo, si entramos en una habitacin de hotel, esperamos encontrar una cama, un armario, un bao, etc. Nuestra mente reconocer las instancias especficas de la nueva habitacin y los acomodar al estereotipo que ya poseemos. La base de la teora la conforman, por tanto, las situaciones estereotipadas. Dejando a un lado esta fundamentacin psicolgica, la

representacin basada en marcos constituye en gran medida la base del modelo orientado al objeto actual, ya que contiene casi todos los conceptos que ste presenta, aunque estas ideas fueron aplicadas en principio a los lenguajes de programacin ms que a lenguajes de representacin y consulta. Por esto y por la enorme importancia que la representacin del conocimiento basada en marcos ha tenido y sigue teniendo, nos detendremos a exponer las caractersticas y esquemas propuestos ms relevantes.

Informalmente, un marco es una estructura de datos compleja que representa una situacin estereotipada, por ejemplo hacer una visita a un enfermo o acudir a una fiesta de cumpleaos. Cada marco posee un nmero de casillas (slots) donde se almacena la informacin respecto a su uso y a lo que se espera que ocurra a continuacin. Al igual que las redes semnticas, podemos concebir un marco como una red de nodos y relaciones entre nodos (arcos). Una base de conocimiento basada en marcos es una coleccin de marcos organizados jerrquicamente, segn un nmero de criterios estrictos y otros principios ms o menos imprecisos tales como el de similitud entre marcos. A nivel prctico, podemos considerar los marcos como una red semntica con un nmero de posibilidades mucho mayor, entre las que destacan especialmente, la capacidad de activacin de procesos (triggering) y de herencia nomonotnica mediante sobrecontrol (overriding). Podemos resumir las principales caractersticas de los marcos en las siguientes:

Precisin (Explicitness): se precisan los objetos, las

relaciones entre objetos y sus propiedades; en ausencia de evidencia contraria se usan valores por omisin

Activacin

dinmica

de

procesos (Triggering):

se

pueden adjuntar procedimientos a un marco o alguno de sus componentes y ser llamados y ejecutados automticamente tras la comprobacin de cambio de alguna propiedad o valor (p. ej. if-needed, if-added)

Herencia por defecto no-monotnica: los marcos estn

conceptualmente relacionados, permitiendo que atributos de objetos sean heredados de otros objetos predecesores en la jerarqua

Modularidad: la base de conocimiento est organizada en

componentes claramente diferenciados