Una red semántica es un gráfico marcado destinado a la representación del conocimiento .
En psicología, en la década de 1960, Quillian y Collins lo usaron por primera vez para modelar el uso de taxonomías en la memoria semántica .
Estas redes se utilizaron luego, por ejemplo, para administrar tesauros , para modelar el significado de un texto, o en robótica para modelar los estados de un sistema con el fin de desarrollar planes de acción.
Tal red semántica emplea dos tipos de nodos :
y al menos tres tipos de arcos que conectan los nodos:
Puede haber otros enlaces específicos. Por ejemplo, para utilizar un tesauro , añadimos a los vínculos jerárquicos vínculos transversales y sinónimos asociados con , que evitarán silencios (posibles respuestas no encontradas).
OperaciónLos caminos específicos en la red están asociados con una pregunta, por ejemplo, mediante la propagación de marcadores, caminos cuya interpretación proporciona la respuesta.
Para determinar si un objeto, representado por un nodo A, es miembro de un conjunto, representado por un nodo B, debemos seguir todos los arcos que van desde A hacia arriba (arc 'is1' y arcs 'sortOf') para ver si conocer el nodo B.
Denotemos (inicio de la llegada del enlace) un arco de la red semántica. Entonces, (Medor es 1 perro) luego (perro especie de cuadrúpedo) forma un camino (Medor (est1) perro (especie de) cuadrúpedo), que asimilaremos a un enlace virtual (Medor es 1 cuadrúpedo): Medor es un perro , decimos cuadrúpedo ' hereda de esta categoría la propiedad de ser un cuadrúpedo.Para determinar el valor de la propiedad P de un objeto representado por el nodo A, seguimos los arcos que van de A hacia arriba (como antes) hasta encontrar un nodo que tiene esta propiedad P (función de arco).
A la pregunta (¿movimiento de Kiki?) La continuación (Kiki est1 merle), (tipo de pájaro mirlo), (moscas de movimiento de pájaro) conduce a (moscas de movimiento de Kiki) (principio de herencia). A la pregunta (¿Lola Mouvt?),Mantenemos la idea de arcos que significan una relación binaria entre el punto de partida y el punto de llegada.
Adoptamos nombres ocultos:
Las redes particionadas se utilizan opcionalmente, en las que un nodo ahora designa una (sub) red semántica aislada.
Las preguntas se reducen a una red semántica que contiene variables explícitas, que se usarán para formular la respuesta, y variables ficticias solo se usarán para expresar la estructura de la pregunta. Entonces, “¿Dónde vive el prometido de Mary? »Se convierte en (* 1 vive? 1) (* 1 prometida Marie), donde? 1 representa el nombre del lugar buscado y * 1 el nombre del prometido, intermediario necesario no solicitado.
A continuación, buscamos si el gráfico de preguntas es un subgráfico de la red, teniendo en cuenta las herencias y las excepciones.
DificultadesCitemos primero la profusión de vocabulario: si Schank cree que puede estar satisfecho con 14 verbos genéricos, el francés tiene 8000 verbos… aunque recomienda evitar repeticiones.
Y también la cuestión del conocimiento general, el sentido común, la pragmática ... Por ejemplo, codificar y explotar una red genealógica debe poder afrontar la cuestión de la media hermana de un tío materno , y por tanto la cuestión de las muchas relaciones secundarias deducible de relaciones primarias completadas.
A estas redes aplicamos, además de las preguntas que no las modifican, operadores que enlazan o desvinculan (listas de) arcos para simular acciones. Estos operadores se definen en una forma general "si se proporciona bind list1 untie list2 ".
En Lisp, usaremos listas asociativas. Por ejemplo, podemos crear una red con tres objetos:
(setq canari '((est1 oiseau)(couleur jaune)(taille petit)) pingouin '((est1 oiseau)(mouvt nage)) oiseau '((est1 vertébré)(avec ailes)(reproduction ovipare)) )La función assoc aplicada a canary permite extraer el valor asociado a una clave: así
(assoc 'couleur canari) → (couleur jaune).En Prolog, tendríamos:
% création du réseau def(canari, [[est1, oiseau], [couleur, jaune], [taille, petit]]]. def(pingouin, [[est1, oiseau], [mouvt, nage]]). def(oiseau, [[est1, vertébré], [avec, ailes], [reproduction, ovipare]]). % extracteur assoc(Objet, Clé, Valeur) :- def(Objet, Prop), dans(Prop, Clé, Valeur). dans([[X, Y]|Z], Clé, Valeur) :- Clé = X, Valeur is Y ; dans(Z, Clé, Valeur). % ? assoc(canari, couleur, C). C= jaune.