INTRODUCCION A LA INTELIGENCIA ARTIFICIAL

REPRESENTACIN DEL APRENDIZAJE

Redes semnticas

Redes Semnticas.

Una red semntica ser un grafo donde:

Los nodos representarn conceptos Los arcos (dirigidos) representarn relaciones entre conceptos.

Redes Semnticas.

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. 4. Solucin

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).
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.

Redes IS-A.
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( Perro( x)) Cnido( x); x(Cnido( x)) Mamfero( x); x( Mamfero( x)) Animal( x);

Redes IS-A (herencia).

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. 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.

 Cul sera el ejemplo donde a un agente

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.

Redes IS-A (interpretacin).

los 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.

Redes IS-A (interpretacin).

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. 2. 3. 4. 5. 6.

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:

1.
2. 3. 4.

Pertenencia al conjunto Predicacin Contenido conceptual Abstraccin

Redes IS-A (prototipos).

Las jerarquas IS-A presentan impresionante de posibilidades, pero desventaja: al aumentar el nmero aumenta progresivamente la computacional para seguirlos. un nmero tambin una de enlaces, complejidad

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.

Redes IS-A (prototipos).

Por ejemplo, la asercin "The book rests on the table" se puede representar as:

Red Semntica para Lenguaje Natural.

En la anterior figura se expone 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).

regreso

Grafos Conceptuales.
Los grafos conceptuales (conceptual graphs) se diferencian de las redes IS-A en que los arcos no estn etiquetados, y los nodos son de dos tipos:
1. 2.

Nodos de concepto, que pueden representar tanto una entidad como un estado o proceso. 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.

Grafos Conceptuales (notacin).

CONCEPT (REL) CONCEPT

1 2

regreso

Esquemas de marcos (definicin informal).

1.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. 2.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). 3.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. 4.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).

Esquemas de marcos (definicin formal).

Un marco M es una lista de atributos (slots) y valores (S, V). El valor V de un slot S puede ser:
1.

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.

2.

Esquemas de marcos (ejemplo).

regreso

TAREA
Realizar de forma individual una red

semntica similar al ejemplo. Buscar la aplicacin de este conocimiento a la Inteligencia Artificial y en base a ello generar un Ensayo que contenga las citas bibliogrficas. Investigar material acerca de pareamiento y el mtodo de descripcin.