Tcnicas de representacin y razonamiento

Tema 3: Representacin del conocimiento e inferencia 3.4: Redes semnticas ndice de contenidos
Introduccin Definicin de redes semnticas (o asociativas)
Caractersticas Tipos de arcos

Mecanismos de inferencia (o razonamiento)

Herencia de propiedades Bsqueda de la interseccin entre dos conceptos

Representacin con redes semnticas

Representacin de relaciones no binarias Representacin de sucesos Contestacin de preguntas: equiparacin

Conclusiones

IAIC Curso 2005-06

Tcnicas de representacin y razonamiento

Tcnicas de representacin del conocimiento
Representaciones bsicas
Lgica de predicados. Representacin en Prolog Redes semnticas Sistemas de produccin

Representaciones estructuradas
Marcos (frames) y guiones (scripts)

Estudio comparativo de las tcnicas de representacin Lenguajes de representacin del conocimiento

IAIC Curso 2005-06

Tema 3.4 - 2

Redes semnticas: introduccin

Las representaciones lgicas surgieron para caracterizar los principios del razonamiento correcto
Los lgicos (matemticos y filsofos) se centraron en lenguajes de representacin con reglas de inferencia correctas y completas, que preservan la verdad

Hay una lnea alternativa ms preocupada por caracterizar la naturaleza de la comprensin humana
A psiclogos y lingistas les interesa, no tanto el razonamiento correcto, sino describir cmo el ser humano adquiere y usa el conocimiento Esta lnea ha resultado de mucha utilidad en el rea de tratamiento del lenguaje natural, y en los razonamientos de sentido comn

La investigacin en formalismos para la representacin estandarizada del conocimiento y en ontologas persigue hacer ms eficiente el proceso de creacin de SBCs
IAIC Curso 2005-06 Tema 3.4 - 3

Redes semnticas: introduccin

Teoras asociativas: el significado de un objeto se expresa a travs de una red de asociaciones con otros objetos
Segn los asociativistas cuando un ser humano percibe un objeto y razona acerca de l
Establece una correspondencia entre el objeto y un concepto El concepto forma parte de nuestro conocimiento del mundo y est conectado mediante relaciones con otros conceptos Estas relaciones constituyen la comprensin de las propiedades y comportamiento de los objetos

Nieve fra, blanca, hielo, mueco de nieve...

Existen evidencias psicolgicas de que los seres humanos

Somos capaces de establecer asociaciones entre conceptos Organizamos nuestro conocimiento de forma jerrquica

IAIC Curso 2005-06

Tema 3.4 - 4

Redes semnticas: introduccin

Almacenamos las propiedades en el nivel ms abstracto posible y tenemos que ascender por la jerarqua de estructuras de la memoria para responder a preguntas
Canario no est asociado directamente con la capacidad de volar, sino que sta forma parte de las propiedades de pjaro, as como la capacidad motora depende de animal

Las excepciones, en cambio, las almacenamos directamente en los conceptos

Un avestruz no puede volar

Formalizacin en sistemas con herencia

Almacenamiento de la informacin en los niveles ms altos de abstraccin
Reduce el tamao de la BC y ayuda a prevenir inconsistencias al aadir nuevas clases e instancias

Los grafos constituyen el vehculo ideal para esta formalizacin de las teoras asociativas del conocimiento
IAIC Curso 2005-06 Tema 3.4 - 5

Redes semnticas: introduccin

Quillian se cuestiona la idea de que nuestra capacidad para entender el lenguaje pueda caracterizarse mediante un conjunto de reglas bsicas
Sugiri que la comprensin de textos involucraba la creacin de alguna representacin simblica Esto le llev a preocuparse por cmo almacenar el significado de las palabras en una mquina para que haga un uso similar de stas al que hacemos los seres humanos

Fue el primero en sugerir que la memoria humana puede modelarse mediante una red y en proponer un modelo de recuperacin de la informacin memorizada

IAIC Curso 2005-06

Tema 3.4 - 6

Redes semnticas: introduccin

Quillian inicia en 1968 el trabajo con redes semnticas en la IA (investigacin en comprensin del lenguaje natural)
BC (tipo diccionario) organizada en planes
Cada plan es un grafo que define a una palabra en funcin de otras Una palabra puede tener asociados varios planes (significados)

Su sistema usaba la BC para encontrar relaciones entre palabras: concepto comn o nodo interseccin

Quillian defenda que su aproximacin permita a un sistema

Determinar el significado de un texto construyendo una coleccin de nodos interseccin Elegir entre distintos significados de una palabra, localizando los significados con menor camino interseccin con otras palabras de la frase Responder a preguntas basndose en asociaciones entre palabras de las preguntas y palabras del sistema
IAIC Curso 2005-06 Tema 3.4 - 7

Redes semnticas: introduccin

ste y otros trabajos previos demostraron que los grafos son una tcnica potente para modelizar significado asociativo, aunque limitada por la extrema generalidad del formalismo Generalmente, el conocimiento se estructura en funcin de relaciones especficas
Concepto/propiedad, clase/subclase, agente/verbo/objeto... Definicin de arcos y reglas de inferencia para permitir inferencias especficas como la herencia

La investigacin en estos formalismos a menudo se ha centrado en especificar estas relaciones

Definir etiquetas primitivas para los arcos como parte del formalismo y no del dominio BCs ms sencillas de construir, ms generales y ms consistentes
IAIC Curso 2005-06 Tema 3.4 - 8

Redes semnticas: introduccin

Una red semntica representa conocimiento mediante un grafo
nodos: conceptos arcos etiquetados: relaciones entre conceptos

Por red semntica actualmente se entiende toda una familia de representaciones basadas en grafos que difieren entre s en los nombres que se permiten para nodos y arcos, y en las inferencias que pueden hacerse Grafos conceptuales: lenguaje de representacin basado en redes ms moderno (Sowa, 1984)
Grafos dirigidos finitos bipartitos Los nodos son de dos tipos: los que representan conceptos, y los que representan relaciones entre conceptos Los conceptos slo tienen arcos hacia relaciones y las relaciones slo tienen arcos hacia conceptos. Los arcos no tienen etiquetas
IAIC Curso 2005-06 Tema 3.4 - 9

Redes semnticas (o asociativas)

Tcnica de representacin declarativa a travs de grafos dirigidos etiquetados
Utilizada inicialmente para representar la semntica de los lenguajes naturales, especialmente en los sistemas de traduccin automtica (como lenguaje intermedio interlingua) Idea principal: el significado de un concepto se especifica a travs sus conexiones con otros conceptos Nodos: representan conceptos (entidades, atributos, sucesos y estados) Arcos: representan relaciones conceptuales (asocian conceptos). La etiqueta identifica el tipo de relacin (espacial, temporal, causal, rol desempeado, etc.) profesin

pepe
IAIC Curso 2005-06

informtico
Tema 3.4 - 10

Redes semnticas (o asociativas)

Caractersticas
Redes complejas organizadas en jerarquas que facilitan la utilizacin del razonamiento basado en la herencia Un concepto est asociado con otros conceptos a travs de los arcos salientes del nodo que lo representa (conexin con otros conceptos)
Tienen una estructura tipo diccionario Por ejemplo, un velero es un barco con velas es_un tiene_parte

Barco

Velero

Vela

No tienen un vocabulario prefijado de representacin, pero todas las variantes son capaces de representar conceptos individuales, conceptos colectivos y relaciones entre conceptos Fcil comprensin grfica
IAIC Curso 2005-06 Tema 3.4 - 11

Tipos de arcos: relaciones entre conceptos

Arcos estructurales (semntica independiente del dominio)
Instancia o ejemplar: une un objeto con su tipo (clase) Subclase: une una clase con otra ms general Tiene_parte: liga un objeto con sus componentes
vertebrado subclase persona ejemplar Juan tiene_parte boca tiene_parte diente subclase incisivo

La representacin no es nica Algunos sistemas crean inversas para los arcos estructurales

Arcos descriptivos (semntica dependiente del dominio)

Propiedades: Profesin, Color_Pelo, etc. Relaciones (no estructurales): Amigo_de, Padre_de, etc.
IAIC Curso 2005-06 Tema 3.4 - 12

Mecanismos de inferencia: herencia

Herencia de propiedades
La notacin de redes semnticas hace muy conveniente la utilizacin de razonamiento basado en herencia Algoritmo simple y eficiente con manejo de excepciones
Los nodos acceden a las propiedades definidas en otros nodos siguiendo los arcos Instancia (o Ejemplar) y Subclase

Ventajas
Evita repetir propiedades Permite compartir conocimiento entre diferentes conceptos de la red semntica
delfn ejemplar clipper
IAIC Curso 2005-06

color

gris

clase: reglas generales

color

azul

instancia: excepciones
Tema 3.4 - 13

Herencia de propiedades: ejemplo

De qu color es Dumbo?
Gris

Qu puedo decir de Dumbo?

Es un elefante
Es de color gris

Es un macho Es un mamfero Es un animal

Necesita oxgeno

Es un ser vivo

IAIC Curso 2005-06

Tema 3.4 - 14

Problemas con la herencia de propiedades

Herencia de propiedades que no son ciertas (inferencias invlidas)

Causa:
Algunas propiedades del conjunto (como un todo) no son heredables por los individuos pertenecientes al conjunto

IAIC Curso 2005-06

Tema 3.4 - 15

Excepciones a la herencia de propiedades

Se hereda el valor de la propiedad del nodo ms cercano al nodo que sirvi como punto de partida en la inferencia
Brutus es de color negro Copito es de color blanco (hay herencia de la clase Gorila) (no hay herencia)

Si el nodo ms cercano no es nico, estamos ante herencia mltiple (se permite en redes semnticas)
IAIC Curso 2005-06 Tema 3.4 - 16

Mecanismos de inferencia: interseccin

Bsqueda de la interseccin entre dos conceptos
Dados dos conceptos C1 y C2, queremos saber cul es su relacin

Se utiliza un mecanismo de propagacin de la activacin

Inicialmente activamos ambos conceptos La activacin se propaga a los nodos que estn a un arco de distancia de los nodos iniciales, despus a los nodos que estn a distancia 2, ..., formando ondas concntricas Cuando las ondas procedentes de C1 intersecan a las procedentes de C2 (o a algn nodo del interior), hemos encontrado la interseccin La relacin entre C1 y C2 viene dada por las etiquetas de las aristas existentes de C1 al punto de interseccin y de C2 al punto de interseccin Si hubiera varios puntos de interseccin, esto indicara que existen varias relaciones distintas entre C1 y C2
IAIC Curso 2005-06 Tema 3.4 - 17

Uso de enlaces inversos

La bsqueda de la interseccin a menudo necesita generar la inversa de una relacin
Algunos sistemas lo hacen automticamente con los arcos estructurales
mamfero

Quin es hermana de Juan?

El algoritmo de inferencia podra deducir que tiene_hermana es inversa de hermana_de y responder siguiendo el enlace de Juan a Mara Si no, comprobara cada mujer para ver si tiene un enlace hermana_de hacia Juan

subclase persona subclase mujer instancia hermana_de Mara tiene_hermana

Tema 3.4 - 18

subclase

varn instancia Juan

Indexacin directa slo para los enlaces que salen de un nodo

IAIC Curso 2005-06

Ejemplo de representacin
Una red semntica es la forma natural de representar relaciones correspondientes a instancias cerradas de predicados binarios en lgica
subclase(Mujer, Persona) subclase(Hombre, Persona) instancia(Pepe, Hombre) instancia(Luis, Hombre) edad(Pepe, Edad1) edad(Luis, Edad2) valor(Edad1, 25) mayor_que(Edad1, Edad2) profesin(Pepe, Informtico) color_pelo(Pepe, Rubio) color_ojos (Pepe, Azul) tiene_Parte(Persona, Cabeza) parte_de(Cara, Cabeza)
IAIC Curso 2005-06 Tema 3.4 - 19

Representacin de relaciones no binarias

Los enlaces representan relaciones binarias
Un arco slo tiene 2 extremos!

La representacin de relaciones n-arias en una red semntica tambin es posible. Han de convertirse a formato binario
Se crea un nuevo objeto que representa a la relacin concreta puntuacin(Tigres, Leones, 5-3) J23 Se introducen predicados binarios para describir la relacin de ese nuevo objeto con sus argumentos originales
Juego equipo_visitante subclase puntuacin J23 equipo_local Tigres

Leones

5-3

Tcnica til para describir sucesos

IAIC Curso 2005-06 Tema 3.4 - 20

Representacin de sucesos
Juan dio el libro a Mara
dar ejemplar Juan agente tiempo pasado beneficiario Mara dar_7 objeto l5 libro ejemplar

El objeto del suceso es un libro concreto que no est representado como tal en la frase dada por el usuario el sistema crea un objeto, ejemplar de libro y le da un nombre (l5) Juan s es un individuo concreto al igual que Mara Este tipo de representacin est orientado a contestar preguntas de distinto tipo sobre el conocimiento que tenemos representado
IAIC Curso 2005-06 Tema 3.4 - 21

Representacin de sucesos
Pepe vio un museo en Madrid

IAIC Curso 2005-06

Tema 3.4 - 22

Representacin de sucesos
Luis sabe que Pepe vio el museo de El Prado

IAIC Curso 2005-06

Tema 3.4 - 23

Representacin de sucesos
Pepe compra a Luis un reloj por 5000 pesetas
Lgica: compra(Pepe, Luis, Reloj, 5000, Pesetas)

IAIC Curso 2005-06

Tema 3.4 - 24

Contestacin de preguntas: equiparacin

Se razona por equiparacin Una pregunta se equiparar con una base de conocimiento si la primera puede asociarse con un fragmento de la segunda Pasos:
Construir un apunte (red semntica) para la pregunta en cuestin
Elementos: nodos constantes, nodos variables, arcos etiquetados Criterio de construccin: el mismo de la base de conocimiento

Cotejar el apunte con la base de conocimiento Equiparacin de nodos Respuesta

La complejidad es importante
Si pregunto algo falso (o que el sistema no sepa) puede ser necesario estudiar toda la red semntica al completo
IAIC Curso 2005-06 Tema 3.4 - 25

Equiparacin: ejemplo
Base de conocimiento
Ver_3 Objeto Mara

Instancia

Lugar

Instancia

Suceso-ver

Madrid

Museo

Mujer

Instancia Agente Ver_2 Lugar Madrid Teatro Juan

Instancia Agente Ver_1 Lugar Madrid Pepe Instancia Varn

Subclase Subclase

Persona

Objeto

Objeto Museo

Transparencias de redes semnticas. Asuncin Gmez Prez. Facultad de Informtica. UPM.

IAIC Curso 2005-06 Tema 3.4 - 26

Equiparacin: ejemplo
Consulta: quin vio un museo en Madrid?
Suceso-ver

Instancia Agente Ver_? Lugar Madrid X?

Objeto Museo

Equiparacin 1: Ver_? Ver_1 X? Pepe

IAIC Curso 2005-06

Equiparacin 2: Ver_? Ver_3 X? Mara

Tema 3.4 - 27

Equiparacin: ejemplo
Consulta: algn varn vio algn museo en Madrid?
Suceso-ver

Instancia Agente Ver_? Lugar Madrid Varon? Instancia Varn

Objeto Museo

Equiparacin: Ver_? Ver_1 Varn? Pepe

IAIC Curso 2005-06 Tema 3.4 - 28

Equiparacin: ejemplo
Consulta: alguna persona vio algn museo en Madrid?

Suceso-ver

Instancia Agente Ver_? Lugar Madrid X? Instancia Instancia Subclase Museo Varn Persona

Objeto

No existe equiparacin directa con la consulta, pero puede inferirse

IAIC Curso 2005-06 Tema 3.4 - 29

Redes semnticas: adecuacin

Ms intuitiva y cercana al pensamiento humano que la lgica
Mismos conceptos base que la lgica, pero con la ventaja de que el conocimiento se organiza en base a conceptos (y no a relaciones)

Ayuda grfica para visualizacin, algoritmo eficiente de herencia

Permite fcilmente el mecanismo de herencia con excepciones, siendo el proceso transparente (facilidad de visualizar los pasos)

Mecanismo especfico para obtener la relacin entre dos conceptos: bsqueda de la interseccin
Fue uno de los usos ms tempranos de las redes semnticas en IA (Quillian, 1968): operacin bsica de recuperacin de informacin A menudo, necesita la generacin de las relaciones inversas

Contribucin a investigacin en representacin del conocimiento

Abri una dcada de investigacin en formalismos basados en redes xito limitado como modelo psicolgico de la memoria humana
IAIC Curso 2005-06 Tema 3.4 - 30

Redes semnticas: dificultades

Falta de estndares a la hora de nombrar nodos y arcos
Como en la lgica de predicados Problema: no seguir convenios al asignar significado a nodos y arcos Dos personas distintas pueden hacer diferentes interpretaciones de la misma red

Explosin combinatoria: sigue estando presente, aunque la inferencia se reduzca a la bsqueda de la interseccin
Respuestas negativas: cantidad descomunal de bsqueda
Esto prueba su no adecuacin como modelo psicolgico Hay un equipo de ftbol en Plutn?

Imposibilidad de distinguir entre caractersticas propias del conjunto y caractersticas heredables por sus elementos
El cardinal del conjunto delfn es caracterstica de la clase y NO de los individuos de la clase (como flipper)
IAIC Curso 2005-06 Tema 3.4 - 31

Redes semnticas: problemas

Falta de adecuacin lgica
Imposibilidad de hacer las mismas distinciones: faltan negacin, disyuncin, smbolos de funcin anidados, cuantificadores... Significados de nodos y arcos dependientes de las capacidades del sistema: confusin de semntica con detalles de implementacin
La falta de cuantificadores (todo se representa sobre nodos concretos) se ha resuelto con el uso de redes semnticas particionadas en las que se puede indicar qu parte de la red est cuantificada existencialmente y cul lo est universalmente

Falta de adecuacin heurstica

Imposibilidad de incluir meta-conocimiento para dirigir la bsqueda
Extraer informacin puede ser muy ineficiente

Escasez de estructura
Evolucin hacia sistemas ms estructurados: los sistemas de marcos que soportan mejor ciertas tareas
Menos costoso un recorrido para contestar a preguntas negativamente
IAIC Curso 2005-06 Tema 3.4 - 32