TCNICAS DE LA REPRESENTACIN GRFICA PARA EL CONOCIMIENTO

1. Mapa Conceptual 2. Mandala 3. Mapa Mental 4. Llaves 5. rbol familiar 6. rbol de problemas 7. rbol de representacin y Explicacin (A.R.E.) 8. Bosquejo esquemtico 9. Ciclo 10. Constelacin de Ideas 11. Croquis 12. Cuadro de resumen 13. Diagrama de distribucin Biogeogrfica 14. Diagrama de doble exposicin 15. Diagrama Jerrquico 16. Diagrama de secuencia 17. Diagrama de VENN 18. Escalas 19. Escaparate 20. Espina de pescado 21. Flujograma 22. Grfico de control 23. Gua para anticipacin y reaccin 24. Hojas para pensar 25. Infomapa 26. Lneas de interaccin 27. Lnea de tiempo 28. Mapa del carcter 29. Mapa semntico 30. Mentefacto conceptual 31. Mesa de idea principal

32. Notificacin 33. Organizador Araa 34. Pictograma 35. Pirmide 36. Problema y soluciones 37. Proyecto de trabajo 38. Red Alimenticia 39. Red Conceptual 40. Rejilla conceptual 41. Rueda de atributos 42. Rueda Lgica 43. S.P.R.I. 44. Tncia K.W.L.H. 45. Vietas derivativas 46. Zoom creativo 47. Las supernotas 48. Diagrama U.V.E. 49. Glosario

MAPA CONCEPTUAL
Los mapas Conceptuales, son estrategias de aprendizaje desarrollados por Joseph Novak, sobre la base de la Teora del Aprendizaje Significativo de Ausubel. De esta teora, se toman en cuenta fundamentalmente, dos principios: la Diferenciacin progresista, segn la cual, los conceptos adquieren ms significado a medida que se establecen nuevas relaciones entre ellos; y la conciliacin Integradora, que establece la mejora del aprendizaje, basndose en la integracin de nuevos vnculos entre conceptos o el descubrimiento de concepciones errneas en su estructura lgica y cognitiva. CMO SE CONSTRUYE Para construir los mapas conceptuales, se debe tener claro cuales son los elementos fundamentales que los componen. Entre estos: Los conceptos, las proposiciones y las palabras de enlace. Los conceptos, segn su creador, seran regularidades en los objetos o acontecimientos que se designan mediante un trmino. Por ejemplo: Ser vivo, animal, planta, reproduccin. Por otra parte, se recomienda que un concepto se escriba una sola vez y se lo incluya dentro de una elipse o rectngulo. Las proposiciones, consisten en la unin de dos o ms conceptos, por medio de nexos o palabras de enlace, para formar una unidad de significado. Los animales son seres vivos, es un ejemplo de una proposicin. Las palabras de enlace, son trminos que sirven para unir los conceptos. Con su uso se establecen los tipos de relaciones posibles entre los conceptos. Son palabras de enlace: las conjunciones, los verbos. Debera considerarse tambin, las diferentes relaciones jerrquicas que pueden establecerse entre los conceptos. De acuerdo con los niveles, los conceptos pueden ordenarse como: subordinadas (si son menos inclusivos que otros, por ejemplo, metabolismo, es un concepto que se subordina o se incluye dentro del concepto ser vivo), coordinados (cuando comparten el mismo nivel, como en el caso de variacin, metabolismo, irritabilidad,..., que deben ubicarse al mismo nivel; pues son caractersticas de los seres vivos, que es un concepto ms general, o que superordina a los otros). Para representar las relaciones entre conceptos, trazar lneas entre ellos, unidas mediante las palabras de enlace.

MAPA MENTAL
Se constituyen como diagramas que potencian el pensamiento creativo; pues, a ms de las palabras, jerarqua secuencia y nmeros, que presentan los esquemas lgicos como los mentefactos, las redes y los mapas conceptuales; necesitan la inclusin de dibujos, color, ritmo. La neurona (clula nerviosa) con sus dendritas o un rbol con sus varias ramas, se presentan como modelos bsicos de este organizador. CMO SE CONSTRUYE Al elaborar un mapa mental, se sugiere: 1. Definir en primer lugar, el concepto que se constituir como ncleo del mapa: incluir una ilustracin junto a una palabra, para describirlo claramente. 2. El concepto fundamental se dibujar en el centro de la hoja, y de l irradiarn, como ramales secundarios, el resto de trminos, imgenes u otros esquemas. 3. Al igual que la mayora de organizadores, los mapas mentales, presentan jerarqua de conceptos. Por ello, las ideas ms importantes se ubican cerca del ncleo. Estas ideas se escriben, preferentemente, como una sola palabra anotada sobre una lnea de igual tamao al espacio que ocupa. Las ideas secundarias, a su vez, podran generar nuevos pensamientos que se anotaran como ramales terciarios. 4. Para mejorar la legibilidad del documento, se sugiere que las palabras se escriban con mayscula y en letra imprenta. 5. En bsqueda de mejorar la expresin, sus creadores, recomiendan dejar la mente en libertad. Es decir, no se debe pensar exageradamente en que lugar, ubicar tal o cual palabra. Se vuelve necesario anotar las ideas

espontneamente; ya que segn estudios recientes, se ha descubierto que el cerebro procesa informacin en forma irradiante y no de manera lineal u organizada: primero una idea y despus la siguiente. 6. En una segunda versin, se procurar reorganizar las ideas para buscar una mejor presentacin, a la vez que se enriquece el mapa inicial con conceptos ms pertinentes, imgenes, varios colores para describir otras ideas, figuras geomtricas y cdigos para resaltarlas, o flechas para relacionar partes distantes.

CICLO
Un ciclo es un diagrama circular por medio del cual pueden representarse los acontecimientos que se producen en secuencia radial, es decir, fenmenos naturales o eventos que inician y terminan una y otra vez, con movimiento circular. Como ejemplos de lo anotado, tenemos: el ciclo celular, el ciclo reproductivo de los helechos y los musgos, ciclos de los gases (oxgeno, carbono, nitrgeno, fsforo), el ciclo de la vida, la metamorfosis de los insectos o los anfibios. CMO SE CONSTRUYE Para construirlo se deben considerar los siguientes aspectos: Determinar cules son los principales eventos que forman parte del ciclo. Reconocer al acontecimiento inicial y la manera cmo se relaciona este con otros elementos. Tener presente el sentido del movimiento circular que empieza y concluye una y otra vez.

CROQUIS
Segn el diccionario de la Lengua espaola ( Espasa Calpe ) , un croquis es un diseo ligero de un terreno, paisaje o posicin militar, que se hace a ojo y sin valerse de instrumentos geomtricos. CMO SE CONSTRUYE Para esbozar un esquema de este tipo se necesita conocer solamente dos elementos: Los lugares ms importantes ( reas claves ) que pueden servir de referencia Las vas de enlace. Con estos componentes se elaborar un grfico que muestre una visin de conjunto del lugar o lugares que se pretenda representar.

CUADRO DE RESUMEN
De acuerdo con la forma como se organiza la informacin, se puede afirmar que se trata de un tipo de cuadro sinptico exhibido en forma de matriz rectangular.

CMO SE CONSTRUYE La preparacin de un cuadro de resumen demanda considerar tres aspectos importantes: 1. Determinar los contenidos esenciales. Cuntos conceptos, temticas u objetos debern desarrollarse. 2. Representacin esquemtica. Sobre la base de los elementos a resumir, se elabora un recuadro dividido en tantas columnas coco componentes contenga la temtica. 3. Organizacin de la informacin relacionada con cada componente. Es importante que se anote en cada columna solamente las ideas esenciales.

DIAGRAMA DE DOBLE EXPOSICIN

Constituye un grfico que permite establecer semejanzas y diferencias entre dos objetos, temticas, o conceptos o acontecimientos. En otros trminos, en un diagrama de doble exposicin, se relacionan dos objetos por sus caractersticas o atributos.

CMO SE CONSTRUYE?

Se dibujan primeramente, con doble lnea, dos elipses separadas entre s, en cuyo interior se anotan los objetos a comparar. Luego, en el espacio interno, entre las dos elipses destinadas a los conceptos centrales, deben incluirse otras elipses separadas mediante flechas en su interior se escribirn las caractersticas comunes. Hacia el lado exterior, se organizan los objetos diferentes, de igual manera a lo realizado con las cualidades semejantes.

MENTEFACTO CONCEPTUAL
Son diagramas desarrollados por la Pedagoga Conceptual. Por medio de ello, puede representarse grficamente los conceptos; adems, potenciar

operaciones intelectuales como: o ISOODINAR, se describen las cualidades del concepto. o SUPRAORDINAR (Sntesis), los conceptos se incluyen en una clase superior o general que los contiene.

o EXCLUSIN (Comparacin), se establecen diferencias con el concepto que hace de ncleo. o INFRAORDINACIN (Anlisis), es decir, establecer cuantas clases del concepto existen (Clasificacin). El Trmino mentefacto significa productos de la mente, es decir son instrumentos de conocimiento que posibilitan la construccin de conceptos. Estos son instrumentos de conocimiento que corresponden a la etapa conceptual, De Zubira M. (1998) y permiten la ejercitacin y apropiacin de operaciones intelectuales (supraordinacin, infraordinacin, isoordinacin y exclusin). Las operaciones intelectuales anteriores obedecen y son coherentes con lo que significa definir, donde se considera que definir es establecer lmites. Desde los mentefactos conceptuales esos lmites son por el norte (la supraordinacin por el sur (la infraordinacin), por el oriente (la exclusin) y por el occidente (la isoordinacin). Un ejemplo muy adecuado de la relacin entre lmite y definicin es el relacionado con la delimitacin de una casa como propiedad. Esta posee unos lmites que aparecen en las escrituras, tales lmites son irrepetibles, lo que posibilita la identificacin del predio y evita que se confunda con otro, desde donde se asume que los lmites, en general, hacen referencia a los linderos, que son en gran medida los que posibilitan la identificacin de la propiedad. Lo anterior nos permitira afirmar categricamente que los lmites son los que determinan la definicin, ya que ellos nos dicen que es, que contiene (el metraje), que no es y donde est contenido o ubicado, de igual forma ocurre con los mentefactos conceptuales, donde la supraordinacin nos indica donde est contenido el concepto fundamental, a definir, la infarodinacin nos expres que contiene o las clases que ste involucra, la isoordinacin hace referencia a las caractersticas esenciales que lo hacen diferente de otros conceptos y adems lo identifican y por ltimo la exclusin que expresa lo que no es y adems se confunde con el concepto que se est definiendo. Es de anotar que las clases que se excluyen, se confunden por que tienen el mismo supraordinado del concepto fundamental. Un mentefacto conceptual consta, en esencia, de dos grande componentes: el esquema y las proposiciones.

Los mentefactos conceptuales como esquemas expresan relaciones que involucran las operaciones intelectuales presentes en ellos( la supraordinacin, la infraordinacin, la isoordinacin y la exclusin), donde cada relacin debe estar acompaada por una numeracin, ejemplo P1, significa relacin numero uno que se precisa mediante una proposicin que es la que le da sentido a la relacin

En los esquemas debe aparecen aquella palabra o palabras claves que permiten establecer la relacin. No es necesario escribir fases, puesto que se busca que el esquema sea lo ms sinttico posible, de tal forma que sea de fcil captacin. Las proposiciones, que son las que le dan el significado a la relacin y poseen el mismo cdigo que las relaciones, en la supraordinacin se establece una sola relacin, y por supuesto que tambin una proposicin, puesto que se asume un solo criterio. El cdigo que tenga la relacin en el esquema debe ser el mismo de la proposicin, ya que esta es la que le da sentido a la relacin. En las relaciones de infraordinacin pueden aparecer mltiples proposiciones tanto criterios sean elegidos o tenidos en cuenta para la clasificacin.

La estructura de la proposicin consta de sujeto y predicado, es decir que la proposicin debe ser lo ms sinttica posible. Su ampliacin se puede hacer en la sustentacin, donde se explican las proposiciones. Cul es el significado de cada una de las operaciones intelectuales en el mentefacto? 1. La supraordinacin, implica la relacin existente entre el concepto que se est definiendo y la clase a la que corresponde o en la que se encuentra incluido. La supraordinacin implica la inclusin de una clase de menor jerarqua en otra de mayor jerarqua, lo que implica la presencia de procesos inductivos. En la proposicin siguiente: Los perros son animales caninos, para determinar la relacin existente es necesario establecer que clase posee mayor extensin, en otras palabras posee mayor posibilidad de inclusin, Para este caso, la clase de los animales caninos posee mayor extensin, puesto que sta incluye a todos los perros y adems a todos los caninos, como el lobo, la hiena etc. La proposicin los perros son animales caninos se puede esquematizar de la forma siguiente: Clase de mayor jerarqua Relacin de supraordinacin P1 Clase de menor jerarqua 1. La infraordinacin, implica la relacin existente entre concepto a definir y las clases que contiene o incluye, lo que significa que la infraordinacin establece relaciones de clasificacin deductiva, es decir desde el concepto o la clase de mayor jerarqua a la de menor jerarqua. Se podra concluir afirmando que las operaciones tanto de supraordinacin como de infraordinacin establecen relaciones clasales, de anlisis y sntesis, de induccin y deduccin. Las clasificaciones se realizan de acuerdo a criterios, luego una clase puede contener mltiples clases, de acuerdo a los criterios que se determinen para la clasificacin. En la proposicin expresada anteriormente, la clase de los perros puede incluir varias clases dependiendo de los criterios seleccionados. Si el criterio es segn el uso que el hombre le d, se podra afirmar que pueden ser de cacera o de compaa; si el criterio seleccionado es segn la raza se podra decir que pueden ser doberman, pastor alemn etc.

2. Las isoordinaciones hacen referencia a las caractersticas particulares del concepto que se est definiendo, que lo identifican y lo diferencian de las otras clases que pertenecen al supraordinado, al que ste se encuentra incluido. Isoordinacin significa igual orden, lo que implicara que desde el contexto de los mentefactos conceptuales, implicara caractersticas que poseen la misma extensin que el concepto a definir, por ejemplo entre la clase de los seres humanos y los seres racionales, existe la misma extensin, ya que cuando hacemos referencia a los racionales se entiende que estn incluidos todos los seres humanos y viceversa, cuando mencionamos a los seres humanos necesariamente se incluye la racionalidad como caracterstica esencial que identifica a la especie humana, lo que implica que si al ser humano se le quita la racionalidad se convierte en otra cosa o ser diferente a ste. Una caracterstica del perro y que lo diferencia de los dems caninos es su capacidad de ladrar, luego la proposicin quedara as: el perro ladra, sta sera la proposicin nmero 5 en el esquema. En el esquema que se viene desarrollando, se incluye la relacin de isoordinacin, donde la relacin que representa la proposicin de isoordinacin se representa de la forma siguiente

Las exclusiones expresan aquello que no es o se diferencia del concepto o clase que se est definiendo. Se excluyen aquellas clases o conceptos que se confunden con el concepto a definir. Generalmente las confusiones ocurren entre clases muy parecidas, siendo parecidas por pertenecer a la misma clase inclusora, por ejemplo todos los muebles que poseen cuatro patas y cumplen funciones similares a una mesa

tienden a confundirse, lo que implicara que si estuviramos construyendo el mentefacto conceptual de mesa, tendramos que excluir escritorio por ser muy parecido a una mesa, etc. Cuando se construye la proposicin de exclusin, es pertinente expresar que es lo que diferencia al concepto exclusor del concepto que se est definiendo, no es necesario sealar la caracterstica del concepto que se est definiendo y que lo hace diferente del exclusor, por que las caractersticas de ste aparecen en las relaciones de isoordinacin. La relacin de exclusin se puede expresar en el esquema que se viene desarrollando de la forma siguiente.

Es de anotar que en el ejercicio que se acaba de realizar, la intencin es la de comprender que es un mentefacto conceptual utilizando un ejemplo, por supuesto que desde el punto de vista de la isoordinacin faltan muchas relaciones. Las relaciones que aparecen en el esquema se pueden expresar mediante las proposiciones siguientes: P1. Los perros son una clase de animales caninos. P2. Los perros se pueden clasificar segn su raza y segn el uso que de l haga el hombre. P3. Segn su raza pueden ser: doberman, pastor alemn, etc. P4. Segn el uso que el hombre les de, pueden ser: de cacera y de compaa. P6.El perro se diferencia del lobo, en tanto que ste alla.

En el mentefacto del concepto perro utilizado como ejemplo se escogieron algunas caractersticas, falta la mayora de las isoordinaciones. En esencia se podra concluir que las relaciones que aparecen en el esquema, debern estar representadas mediante proposiciones, puesto que son stas las que le dan significado a la relacin o relaciones.

CMO SE CONSTRUYE? Para construir un mentecfacto conceptual, debe considerarse antes que es un concepto. Segn Miguel de Zubira, un concepto sera: El conjunto de propiedades (o de predicados), posibles de enunciar acerca de una clase o de una relacin; o tambin, Un enramado compuesto por proposiciones, o semejan tejidos entre proposiciones, cuyo ncleo es el concepto mismo. Sobre la base de lo anotado, del concepto animal, sus proposiciones seran: Son una clase de seres vivos, son multicelulares, o lo que es lo mismo, que estn formados por muchas clulas, etc. De ah que para armar un mentefacto conceptual es necesario tener las proposiciones, para posteriormente proceder a sintetizar la informacin en un diagrama.

ISOORDINADAS:

Los animales son organismos hetertrofos (alimentacin de otros seres vivos). Los animales poseen sistema nervioso (conducta) La mayora de animales presentan aparato locomotor. Todos los animales son multicelulares SUPRAORDINADA: Los animales son una clase de seres vivos EXCLUIDAS: Se diferencian de los protistas (unicelulares) Los animales difieren de las plantas. INFRAORDINADA: Se distinguen tres tipos de animales, segn su patrn de desarrollo embrionario: a) acelomados, b) seudocelomados, y c) celomados.

RED SEMNTICA
Estos sistemas de organizacin del conocimiento estructuran conceptos, no como jerarqua sino como una red o una web. Los conceptos son como nodos, con varias relaciones que se ramifican hacia fuera de ellas. Las relaciones van generalmente ms all del BT, del NT y del RT estndares, pueden incluir relaciones tipo todo-parte, causa-efecto, padre-nio, es un o es_parte. Las redes semnticas son grafos orientados que proporcionan una representacin declarativa de objetos, propiedades y relaciones. Existen diversos tipos de relaciones semnticas como la hiponimia, hiperonimia, la meronimia, etc. Dado un conjunto de conceptos, elementos semnticos o trminos relacionados semnticamente mediante alguna relacin semntica, una red semntica representa estas relaciones en forma de grafo. Explcitamente, dado un conjunto de trminos {t1, t2, , tn} y cierta relacin semntica simtrica entre ellos se construye un grafo G = (V,A) cumpliendo las siguientes condiciones: 1. El conjunto V es el conjunto de vrtices o nodos del grafo. Este conjunto estar formado por n elementos (tantos vrtices como trminos relacionables).

A cada uno de los vrtices del grafo representar uno de los trminos, por tanto los vrtices del grafo se llamarn: t1, t2, , tn. 2. El conjunto A es el conjunto de aristas o lneas del grafo. Dados dos vrtices (trminos) del grafo ti y tj existir una lnea aij que une los vrtices ti y tj si y slo si los trminos ti y tj estn relacionados. Si la relacin no es simtrica, entonces se usan grafos dirigidos para representar la relacin.

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. Las redes semnticas han sido muy utilizadas en Inteligencia Artificial para representar el conocimiento y por tanto ha existido una gran diversificacin de tcnicas. Los elementos bsicos que encontramos en todos los esquemas de redes son: 1. Estructuras de datos en nodos, que representan conceptos, unidas por arcos que representan las relaciones entre los conceptos. 2. Un conjunto de procedimientos de inferencia que operan sobre las estructuras de datos. Bsicamente, podemos distinguir tres categoras de redes semnticas: 1. Redes IS-A, en las que los enlaces entre nodos estn etiquetados. 2. Grafos conceptuales: en los que existen dos tipos de nodos: de conceptos y de relaciones 3. Redes de marcos: en los que los puntos de unin de los enlaces son parte de la etiqueta del nodo.

Es una Red Semntica es un conjunto de Nodos y Arcos, representacin grafica del conocimiento en la que existe una jerarqua de Nodos.

Un Nodo es identificado por un objeto, donde un Objeto puede ser representado por: 1. Personas 2. Animales 3. Eventos 5. Acciones 6. Conceptos

7. Atributos o caractersticas que identifican a un objeto. Los Nodos de un Red Semntica estn unidos por arcos, los cuales indican la relacion que existe entre ellos. Existen ciertos tipos de Arcos tipicos entre los cuales estan.

Es-un: el cual usa para identificar que un cierto pertenece a una clase mayor de objeto.

Tiene-un: este tipo de arcos se utiliza para identificar que un cierto nodo tiene o pase una cierta caracteristicas o atributo o propiedad.

Propiedades de las Redes Semanticas

Las redes Semnticas posen la propiedad de la Herencia; en la que unos nodos heredaron las propiedades o atributos de Nodos de una clase mayor. As por ejemplo en la siguiente red semntica:

A travs de la caracterstica de la herencia, las Redes Semnticas tienen la capacidad de inferir conocimiento.

Considera la siguiente Red Semntica acerca de SAM y su familia. 1. Necesita Sam alimento Si, por la herencia que recibe de los seres humanos. 2. Trabaja SAM para AJAX Si por caracterstica o por propiedades de herencia ya que CME pertenece AJAX. En Redes Semnticas las inferencias de informacin o respuestas o preguntas se hacen en base a las propiedades de herencia que existen entre los Nodos.

Dado el siguiente conocimiento construya la correspondiente Red Semntica. - Los Jorobados son personas pequeas. - Bilba es un jorobado. - Los jorobados tienen dedos gordos. - Bilbo posee un anillo magico. - El anillo fue encontrado en una cueva. - Los jorobados son personas miticas y las personas miticas son estudiadas por los estudiantes de literatura.

Bsicamente, podemos distinguir tres categoras de redes semnticas: 1. Redes IS-A, en las que los enlaces entre nodos estn etiquetados. 2. Grafos conceptuales: en los que existen dos tipos de nodos: de conceptos y de relaciones 3. 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 (default inheritance). 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 (top: T) 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 (bottom: 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 ), cuyos nodos ya no son conceptos

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. 1 Redes IS-A Sin duda el tipo de red semntica por excelencia es el de redes IS-A. De hecho muchas veces se menciona este tipo como sinnimo de "red semntica", y los restantes tipos tambin 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 jerarqua taxonmica cuya espina dorsal est constituida por un sistema de enlaces de herencia entre los objetos o conceptos de representacin, conocidos como nodos. 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. Obteniendo un nmero de proposiciones: x x (perro (cnido animal (x); (x)) (x)) cnido mamfero (x); (x);

x (mamfero (x))

La estructuracin jerrquica facilita que la adscripcin de propiedades a una determinada categora se reduzca a aquellas que son especficas a la misma, heredando aquellas propiedades de las categoras superiores de la jerarqua, tradicionalmente de una forma monotnica. El siguiente ejemplo de red IS-A (Figura 4.11), tomado de (Brachman 1983:31) ejemplifica una red semntica tpica con herencia de propiedades.

Ejemplo de red IS-A El concepto de herencia es fundamental para entender el funcionamiento de las redes semnticas, 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 basndose en las propiedades de conceptos ms altos en la jerarqua.22 As, en el ejemplo jerrquico de la Figura 411, el agente23 sera capaz de atribuir las propiedades "breathes" o "has gills" al concepto "shark" sin que stas se encuentren especficamente 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 informacin no se encuentra a nivel local, buscando las propiedades atribuidas a conceptos que se encuentran en los niveles superiores a C en la jerarqua conceptual. Como Brachman (1983) recuerda, las nodos de las estructuras IS-A se han usado para representar muchas cosas, pero la divisin ms importante es la interpretacin genrica o especfica 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: 1. Subconjunto/superconjunto 2. Generalizacin/especificacin 3. AKO, esto es, "a kind of" 4. Contenido conceptual 5. Restriccin de valores 6. Tipo caracterstico del conjunto Las relaciones genrico/individuales tambin son de varios tipos: 1. Pertenencia al conjunto 2. Predicacin 3. Contenido conceptual 4. Abstraccin Como recuerda Hodgson (1991), las jerarquas IS-A presentan un nmero impresionante de posibilidades, pero tambin una desventaja: al aumentar el nmero 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 taxonomas de enlaces IS-A, se use el enlace IS-A de propsito general, que al ser programable, permite establecer el tipo de enlace adecuado a cada situacin particular, lo que dota de una gran flexibilidad al esquema de representacin. De este modo se puede representar una semntica compleja, especficamente mediante el uso de prototipos, en los que una determinada situacin se representa mediante nodos y arcos especficos. Por ejemplo, la asercin "The book rests on the table" se puede representar as:

Ejemplo de Prototipos Estos prototipos o esquemas forman la base de los scripts de Schank y Abelson (1977), que mencionaremos en el siguiente apartado.

Ejemplo de red semntica para lenguaje natural En la Figura 4.13 exponemos el tipo de diagrama para representar una oracin de lenguaje natural con una notacin de redes semnticas, tomando como ejemplo la oracin "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 accin hit, existiendo un paciente, "n53", instancia de la clase nail, que es el que recibe la accin, 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 representacin de conocimiento es directo y fcil de seguir, pero el establecimiento de los primitivos adecuados es muy dificultoso y a veces es imposible representar un sistema de este modo. Adems, exige una gran cantidad de trabajo de inferencia: es relativamente fcil determinar si dos frases significan lo mismo pero no es tan fcil determinar si una frase es la consecuencia lgica de otra. Otro problema estriba en la diversidad de tipos de arcos establecidos. Esto provoca que de red semntica a red semntica el significado de los arcos y los nodos vare, provocando ambigedad en la notacin. Por ejemplo, la red semntica de la Figura 4.14 puede tener tres significados distintos:

Ambigedad en redes semnticas 1. Representa el concepto de un telfono: tal cosa existe. 2. Representa un telfono negro especfico. 3. Representa la aseveracin de la relacin entre los telfonos y el negro: algunos o todos los telfonos son negros. Para concluir este apartado, resumimos los tres problemas ms reconocidos de los esquemas de representacin basados en redes semnticas: 1. La eleccin de los nodos y arcos es crucial en la fase de anlisis. Una vez se ha decidido una estructura determinada, es muy complicado cambiarla. 2. Dificultad para expresar cuantificacin. Por ejemplo en expresiones tales como "algunos pjaros vuelan" o "todos los pjaros pan". 3. Del mismo modo, las redes semnticas presentan grandes dificultades para representar la dimensin intensional. Por ejemplo en proposiciones tales como "Pedro cree que Ana sabe conducir". Esto llev a idear otros esquemas de representacin con una estructura ms 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 representacin basado en marcos (frames) es el que ha tenido mayor aceptacin.

2 Grafos conceptuales Los grafos conceptuales (conceptual graphs), propuestos por Sowa (1984), se diferencian de las redes IS-A en que los arcos no estn etiquetados, y los nodos son de dos tipos: 1. Nodos de concepto, que pueden representar tanto una entidad como un estado o proceso. 2. 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: 1. rectngulos, que marcan los nodos de concepto, 2. crculos, que marcan los nodos de relacin, 3. flechas direccionadas, que marcan los arcos. La Figura 4.15 muestra estos tipos de notaciones. [CONCEPT1] (REL.) [CONCEPT2

Notaciones de grafos conceptuales Como mostraremos en el siguiente captulo, este tipo de modelado conceptual debe mucho al modelo de Entidad/Relacin de Chen (Chen 1976). La intencin del uso de los grafos conceptuales para la representacin del lenguaje natural es mencionada por el propio Sowa, quien dedica un captulo completo de su obra a la aplicacin de su esquema al anlisis del lenguaje. La representacin semntica de la frase "man biting dog" que nos muestra en el captulo introductorio es indicativo del uso que se le puede dar (Figura 4.16) (Sowa 1984:8). Sowa apunta que sus grafos conceptuales ponen el nfasis en la representacin semntica (en el sentido lingstico de la palabra).

Ejemplo de grafo conceptual para NL Una gran ventaja del esquema de Sowa es que permite restringir la generacin de representaciones sin sentido por medio de lo que l denomina grafos cannicos. Tomando como base la conocida frase de Chomsky "Colorless green ideas sleep furiously" (Chomsky 1957), representada por el grafo [SLEEP] (AGNT) [IDEA] (COLOR)

[GREEN], establece la idea de canon, que est basada en la nocin de jerarqua de tipos, segn la cual existe una funcin tipo que proyecta conceptos sobre un conjunto C cuyos elementos son etiquetas de tipo. Esta funcin

corresponde a los arcos IS-A que vimos anteriormente. El canon contiene la informacin necesaria para derivar otros grafos cannicos y tiene cuatro componentes: 1. Una jerarqua de tipos T 2. Un conjunto de indicadores de individuos I 3. Una relacin de conformidad: que relaciona etiquetas en T con indicadores en I 4. Un conjunto finito de grafos conceptuales B, llamado base cannica, que contiene todos las etiquetas de tipos en T y todos los referentes, ya sea en I o en el referente genrico * 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: 1. Perception: un grafo es cannico si es construido por el assembler mediante un icono sensorial. 2. Insight: se pueden concebir los grafos conceptuales arbitrarios como cannicos. La relacin de conformidad es tambin relevante, porque se refiere al concepto type/token, que Sowa representa mediante la notacin t::i, donde el indicador individual i est relacionado con el tipo t. La frase de Chomsky sera bloqueada por los cnones:

De este modo se pueden generar grafos bastante complejos para representar conceptos. Como ejemplo, exponemos el grafo de transaccin

Grafo conceptual para TRANSACTION El que inicia la transaccin es un customer, que es el receptor de un acto de give y el agente de otro give. El objeto de la transaccin es una entity, que es el objeto del primer give. El instrumento de la transaccin es money, que es tambin el objeto del segundo give. La fuente de la transaccin es un seller que es el agente de un give y el receptor del otro. Sowa advierte que las reglas cannicas de formacin no son reglas de inferencia. La formacin de reglas nicamente asegura las restricciones de seleccin semnticas, que Sowa basa en las teoras de Katz y Fodor (1963), pero no garantiza la verdad o falsedad de las aserciones. Para incorporar la lgica a la teora de grafos conceptuales, se usa un operador que proyecta los grafos conceptuales sobre frmulas de clculo de predicados de primer orden (Hodgson 1991). El canon es por tanto un sistema extremadamente flexible para representar el conocimiento y, especficamente, el conocimiento lingstico. De hecho, el sistema de representacin lxica que ms xito ha tenido hasta el presente, las estructuras de rasgos24, comnmente usadas en los formalismos gramaticales modernos, pueden ser consideradas como una especializacin de los grafos cannicos de Sowa especficamente aplicadas a la representacin del lenguaje. Su implementacin, normalmente en Lisp, tambin guarda muchas similitudes.

No deberamos finalizar la exposicin de este apartado sin mencionar un esquema de representacin anterior, que si bien no ha tenido la misma repercusin que los grafos conceptuales, contiene la base que, junto con las ideas de las redes semnticas, us Sowa para su esquema. Estamos hablando de las redes de dependencia conceptual (CD: Conceptual Dependency). Esta notacin fue desarrollada por Schank (Schank 1975) desde finales de los aos 60. Al igual que en los grafos conceptuales, la idea central detrs de la CD es crear una representacin cannica de una frase, en este caso basndose en ciertos primitivos semnticos. En la teora original tan slo se contemplaban siete primitivos, que incluan cinco acciones fsicas: move, propel, ingest, expel y grasp y dos cambios de estado: ptrans (transferencia fsica en el espacio) y mtrans (transferencia mental de informacin). La frase "John threw a ball to Mary" es representada del modo siguiente (Schank 1975:51):

Ejemplo de dependencia conceptual 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. La teora original de Schank evolucion para incluir unidades de memoria ms desarrolladas, llamadas scripts (Schank & Abelson 1977). Un script es una

secuencia de esquemas que "cuenta una historia", el ejemplo tradicional es el del restaurante: entrar, pedir la comida, pagar al camarero, etc., seran los esquemas que conforman el script. Los scripts, sin embargo, tienen mucho en comn con la notacin que estudiamos a continuacin, los esquemas de marcos.

Esquemas de marcos
El primer proponente de la nocin de marco (frame) fue el psiclogo cognitivo Marvin Minsky, en cuyas palabras podemos resumir la esencia de los marcos. Here is the essence of frame theory: When one encounters a new situation (or makes a substantial change in ones view of a problem), one selects from memory a structure called a frame. This is a remembered framework to be adapted to fit reality by changing details as necessary. (Minsky 1975: 211) La fundamentacin psicolgica de los marcos es parecida a la de los scripts 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. Adelantamos ya que, al igual que ocurre en la ontologa que nos ha servido de base para nuestra implementacin, la de Mikrokosmos, utilizaremos

precisamente un esquema basado en marcos para nuestra ontologa, utilizando para su implementacin un lenguaje basado en marcos moderno, con prestaciones muy superiores a las que aqu expondremos para las implementaciones clsicas. Los detalles particulares de este lenguaje, KSL, los mostraremos en el siguiente captulo. 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 no-monotnica mediante sobrecontrol (overriding). Formalmente, un marco M es una lista de atributos (slots) y valores (S, V). El valor V de un slot S puede ser:

un valor simple, cuyo tipo se halla determinado por el slot mismo, por una funcin que devuelve un valor de ese tipo, o por un puntero al valor de otro slot de la jerarqua

una lista de atributos:valores, donde los atributos son funciones booleanas y los valores pueden ser funciones que devuelven valores del tipo del valor del slot, o constantes del tipo del valor del slot.

Como es evidente, la representacin de conocimiento basada en marcos debe mucho a las redes semnticas. Sin embargo, los esquemas de representacin basados en marcos insisten en una organizacin jerrquica de stos, mientras que las redes semnticas no requieren tal organizacin. La estructura de nodos de los marcos es tambin mucho ms rica que la de las redes semnticas, conteniendo sistemas de triggering de procedimientos. Esto ocurre cuando en lugar de llenar un slot con un valor determinado, se indica un procedimiento que ser el encargado de devolver un determinado valor. En el entorno de los

marcos, a este tipo de procedimientos se les denomina attached procedures, servants, demons o methods, utilizndose a veces el trmino disparador en el discurso en lengua espaola. Estos procedimientos son especialmente tiles cuando el clculo de un valor determinado requiere un tiempo alto de computacin, cuando el valor es susceptible de cambiar con el tiempo o cuando el valor tiene un bajo nivel de acceso: en lugar de computar el valor siempre que el sistema est en funcionamiento, se computa slo cuando es requerido. El trmino mtodo, se ha tomado del entorno de los marcos para usarlo en el modelo orientado al objeto para designar las funciones componentes de una clase, aunque en algunos de los lenguajes de programacin orientados al objeto ms importantes, como C++, los mtodos son llamados funciones miembro. La organizacin jerrquica de los marcos es una de sus caractersticas ms destacables. Los marcos se organizan en jerarquas que presentan los mismos sistemas de herencia que encontrbamos en las redes IS-A. De hecho, una estructura de marcos no es ms que una ampliacin de una estructura de redes IS-A bsica (de redes semnticas tradicionales), donde los nodos han sido reemplazados por grupos estructurados de informacin (los marcos). Una jerarqua de marcos es un rbol en el que cada uno de los nodos es un marco. Para cada nodo hijo, el enlace con el nodo padre es un enlace de herencia. El nodo hijo hereda todos los slots de su padre a menos que se especifique lo contrario (sobrecontrol). Esta es una gran diferencia con las redes IS-A, donde la herencia es siempre monotnica, es decir no hay posibilidad de negar la herencia de propiedades en un contexto o situacin determinada (que puede ser especificada por el resultado de una operacin de triggering). Los nodos pueden ser de dos tipos: nodos de clase y nodos de instancia. Todos los nodos internos (no terminales) han de ser nodos de clase. La caracterstica que la herencia trae consigo es el concepto de valores por defecto (defaults). En un marco se puede especificar un valor determinado o bien un valor por omisin (tambin llamados valores locales y valores heredados), en cuyo caso heredar sin ms el valor de su antecesor. Por ejemplo, la clase (nodo de clase) ave, tendr el valor por omisin vuela como "cierto", aunque algunos nodos de instancia hijos, por ejemplo avestruz, no posean esta propiedad. Esta instancia concreta puede ser obligada a no

heredar esta propiedad asignndole el valor "falso", mientras que otras propiedades, como tiene_alas, s seran heredadas por defecto (aunque en otras instancias, como en el caso de kiwi, sta habra de ser negada). Esta misma disposicin es la que presentan los sistemas orientados al objeto actuales, aunque en stos, los nodos de instancia no son considerados nodos, sino objetos. El trmino orientacin al objeto se comenz a utilizar con un significado muy parecido al que de l tenemos hoy por los proponentes de esquemas de representacin basados en marcos a finales de los aos 70. Por ejemplo, Bobrow y Winograd (1979) hablan de "object-oriented data structures". Podemos resumir las principales caractersticas de los marcos en las siguientes (Minsky 1975; Winograd 1975):

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

De forma apriorstica, su aplicacin a la representacin de la informacin lxica parece garantizada, ya que los marcos permiten una gran flexibilidad de representacin. Su soporte para representar la herencia de propiedades de una forma no monotnica resulta especialmente atractivo. De hecho, hoy en da, esta propiedad, la herencia por defecto no monotnica, se considera indispensable para el procesamiento de lenguaje natural (p. ej. Gazdar & Pullum 1987; Ritchie et al. 1987; Flickinger 1987; Carpenter 1992; Zajac 1992; Bouma 1992). El razonamiento en un esquema basado en marcos se lleva a cabo mediante dos mecanismos bsicos: el reconocimiento (recognition o pattern-matching) y la herencia. En el entorno de los marcos el proceso de reconocimiento de

patrones se centra en encontrar el lugar ms apropiado para un nuevo marco dentro de la jerarqua de marcos. Esto requiere que el mecanismo de reconocimiento sea capaz de recibir informacin sobre la situacin existente (en forma de marco) y lleve a cabo una bsqueda del marco ms adecuado de entre todos los contenidos en la base de conocimiento. Shastri (1988:16) define este concepto as: "Given a description consisting of a set of properties, find a concept that best matches this description." Teniendo en cuenta las caractersticas de herencia anteriormente descritas, el conjunto de propiedades no tiene por qu encontrarse a nivel local, sino que pueden estar atribuidas a conceptos (marcos) en posiciones superiores en la jerarqua. Podemos decir que estos dos mecanismos complementarios de razonamiento conforman el ncleo de lo que entendemos por comportamiento inteligente, y actan como precursores de procesos de razonamiento ms especializados. El modo en que estos dos mecanismos bsicos de razonamiento interactan se muestra en la Figura 4.20 (Shastri 1988:16). En la memoria semntica del agente se encuentran un nmero de conceptos (Cn) que poseen un nmero de propiedades (pn). El punto de entrada corresponde a consultas de reconocimiento, que se inicia cuando un determinado proceso posee una descripcin parcial sobre una entidad X y desea corroborar su identidad o la clase a la que pertenece. El punto de entrada corresponde a consultas sobre herencia. En este caso el agente conoce la identidad de X, pero quiere conocer el valor de una o varias de sus propiedades. Los dos mecanismos interactan cuando se trata de llevar a cabo procesos cognitivos ms complejos, que implican un nmero de consultas sucesivas de uno y otro tipo para llegar a una determinada conclusin. Los problemas en el proceso de reconocimiento surgen cuando los valores por omisin no son cumplidos. Por ejemplo, un gato tiene normalmente cuatro patas y una cola, pero a un gato determinado le puede faltar la cola y una de sus patas; en este caso el algoritmo reconocedor (matcher) debe ser lo suficientemente inteligente para ser capaz de averiguar que el mejor marco de los posibles (best fit) es el del gato, aunque dos de sus principales caractersticas no se cumplan.

Herencia y reconocimiento de patrones en marcos sta es la situacin conflictiva tpica en la que algn proceso interno posee una descripcin parcial de una entidad desconocida y adems necesita determinar el valor de una o varias propiedades de esta entidad. Primero llevara a cabo el reconocimiento parcial hasta determinar al menos la clase a la que la entidad pertenece, a continuacin atribuira las propiedades de sus clases

predecesoras en la jerarqua y volvera a intentar el reconocimiento individual hasta llegar a su ubicacin y determinacin de propiedades heredadas y locales completa. En nuestra exposicin del sistema de KBMT Mikrokosmos (ver apartado 3.3.6), vimos cmo exista un algoritmo que calculaba la "distancia" entre dos conceptos o instancias y devolva un ndice. Este tipo de operaciones abstractas es otra de las caractersticas que dan a los esquemas basados en marcos su gran potencia y expresividad. Como apunta Shastri (1988:17), en un proceso cognitivo complejo, como la comprensin del lenguaje natural (NLU: Natural Language Understanding), los

mecanismos de herencia y de reconocimiento de patrones son absolutamente imprescindibles. Por ejemplo, para la adjudicacin de restricciones de seleccin a un determinado actante con el objeto de reconocer un patrn sintcticosemntico determinado de un verbo polismico y eliminar la posible ambigedad semntica. Una organizacin del lxico en campos semnticos con dimensiones y subdimensiones jerarquizadas con herencia de propiedades lxicas puede ser representada como una red semntica de conceptos a modo de marcos. Esta representacin es vlida independientemente del modo de implementacin que usemos, siempre y cuando ste se acomode a los requisitos de jerarquizacin de entidades. En el captulo siguiente mostraremos cul es la utilidad que le hemos dado a nuestra representacin basada en marcos de forma detallada. Minsky propuso originalmente un esquema de representacin para los marcos que combinaba ideas de las redes semnticas, esquemas procedimentales y la lingstica. Los lenguajes de representacin basados en marcos son hoy da considerados como la forma ms adecuada de representar conocimiento complejo, y en especial para representar el lenguaje natural. La similitud entre las teoras lingsticas de casos y los esquemas de representacin basados en marcos no ha pasado inadvertida. El propio Fillmore (1977) afirmaba que los slots y los casos verbales eran una y la misma cosa. En el mismo sentido se manifiestan Winston (1977) y Charniak (1981). Para finalizar este apartado mostraremos algunas implementaciones de sistemas de marcos consideradas hoy en da clsicas: KRL, OWL y KL-ONE. El desarrollo de KRL (Knowledge Representation Language) (Bobrow & Winograd 1977) estuvo inicialmente motivado por el procesamiento del lenguaje natural. Las unidades bsicas que componen una base de datos KRL son los marcos. La informacin contenida en los slots contiene detalles sobre cmo instanciar un marco. En su implementacin hacen uso intensivo de los conceptos de prototipo y primitivos, que utilizan de un modo un tanto libre en esta primera exposicin, pero definen mejor en otras posteriores (Bobrow & Winograd 1977). Como su nombre indica, KRL, es a la vez un sistema de KR y un lenguaje de programacin. El lenguaje permite la invocacin de procedimientos que se encuentran adjuntos a las estructuras de datos orientadas a objetos,

conteniendo el germen de lo que hoy en da se conoce por encapsulacin, una de las caractersticas que hacen de la orientacin al objeto tal vez el modelo computacional ms potente y verstil hasta la fecha. Por su parte, OWL basa sus caractersticas en la sintaxis y semntica del ingls, tomando como principio la Hiptesis Whorfiana de que el idioma de un hablante juega un papel determinante en su modelo del mundo, y por tanto en la estructuracin de su mente. Una base de conocimiento de OWL puede ser vista como una red semntica cuyos nodos son expresiones que representan el significado de oraciones en lenguaje natural. Cada nodo, denominado "concepto", queda definido por un par (genus, specializer), donde el "genus" especifica el tipo o "superconcepto" y el "specializer" distingue este concepto de todos los dems que comparten el mismo "genus". Sin embargo, de entre todos los lenguajes de representacin clsicos basados en marcos, es sin duda KL-ONE (Brachman & Schmolze 1982, 1985) el ms relevante en cuanto que a partir de l han surgido numerosos sistemas de KR que se estn desarrollando o usando hoy en da. De hecho, se suele hacer referencia a los lenguajes de programacin/representacin basados en marcos mediante el calificativo "al estilo de KL-ONE". KL-ONE es el producto de muchos aos de investigacin de algunos de los que se pueden considerar como padres de la representacin del conocimiento, entre los que destacan Ronald Brachman, Rusty Bobrow, Hector Levesque, Jim Schmolze o William Woods. Como viene siendo habitual, una taxonoma de KL-ONE comprende conceptos, con un nmero de propiedades atribuidas y una serie de relaciones entre conceptos. Ms concretamente, un nodo (concepto) de KL-ONE consiste en un conjunto de roles (generalizaciones de las nociones de atributo, parte, constituyente, rasgo, etc.) y un conjunto de condiciones estructurales que expresan relaciones entre esos roles. Los conceptos estn enlazados a conceptos ms generales en una relacin especial llamada SUPERC. El concepto ms general en la taxonoma es denominado superconcepto, y subsume (es ms general que) todos los dems.26

Los conceptos y roles de KL-ONE tienen una estructura parecida a las clsicas nociones de registro y campo para las bases de datos, o de marco y slot en el mbito en la terminologa de la IA. La adecuacin expresiva fue un objetivo primordial en el desarrollo de KL-ONE, enfatizando la semntica de la representacin y su adecuacin para poder hacer distinciones sutiles al conceptualizar ideas complejas. Tanto es as que Woods (1983) afirma que el proyecto KL-ONE se llev a cabo ms con el espritu de una investigacin de filosofa aplicada que con el de investigacin en representacin del conocimiento y estructuras de datos. En cualquier caso, la herencia de KL-ONE se ha dejado sentir en todas las implementaciones posteriores de lenguajes basados en marcos, intentando seguir fiel en espritu a esta clsica implementacin, al mismo tiempo que se han mejorado los aspectos tcnicos respecto a velocidad de ejecucin, optimizacin de cdigo (hasta muy recientemente no ha existido ninguna implementacin de un lenguaje de marcos que produjese cdigo compilado) o interfaz a otros lenguajes procedimentales. Una de estas implementaciones, FLEX, ser la que usaremos en nuestra implementacin de la ontologa de conceptos. Describiremos este sistema junto con el lenguaje de programacin que le da soporte en el siguiente captulo. Como ya hemos visto, los marcos, en su forma ms pura han sido utilizados en algunas de las implementaciones de TA que ya hemos mostrado

(Mikrokosmos). Su atractivo como soporte computacional para diversos sistemas de procesamiento del lenguaje natural en general ha quedado reflejado en obras tan relevantes como Metzing (1980), Evens (1988) o Lehrer & Kittay (1992). A continuacin mostraremos una serie de esfuerzos destinados a la consecucin de un entorno de representacin puramente lxica. Como ya hemos adelantado, stos presentan muchos puntos en comn con los sistemas de redes semnticas que acabamos de describir, incorporando adems un fuerte componente lgico.