REDES SEMANTICAS

Red semntica tambin llamada red de proposiciones es una tcnica

clsica de representacin de la AI utilizada para informacin relativa a las
proposiciones. Una proposicin es una frase verdadera o falsa y se le llama
atmica porque su veracidad ya no puede dividirse ms,
en trminos
matemticos, una red semntica es una grafica rotula y con direccin y se
desarrollaron para la AI como una forma de representar la memoria y la
comprensin del lenguaje del ser humano. Quilian las utilizo para analizar el
significado de palaras en frases.
La estructura de una re semntica se muestra grficamente en trminos
de nodos (objetos) y arcos (vnculos o bordes) que los conectan. Los vnculos
de una red semntica se utilizan para expresar relaciones los nodos se utilizan
para representar objetos fsicos, conceptos o situaciones.
En la figura b los vnculos muestran las relaciones entre los miembros
a)Red Generalde una familia las cuales son de gran importancia porque proporcionan la
estructura bsica para la organizacin del conocimiento, sin relaciones el
conocimiento es una simple coleccin de hechos inconexos, con ellas. El
conocimiento es una estructura cohesiva a partir de la cual puede inferirse
conocimiento adicional.
A las redes semnticas a veces se les denomina redes asociativas
porque los nodos estn asociados o relacionados con otros nodos. El trabajo
original de Quilina modelo la memoria humana como una red asociativa en los
cuales los conceptos eran los nodos y los vnculos formaban las conexiones
entre ellos.
Ciertos tipos de relaciones han probado ser muy tiles en la amplia variedad de
representaciones del conocimiento. En lugar de definir nuevas relaciones para
el problema diferentes, es habitual usar estos tipos de estndares. El uso de
tipos comunes facilita la comprensin de una red no muy conocida.
Dos tipos de vnculos utilizados con frecuencia son ES-UN y UN TIPO DE,
ES-UN significa es un caso de y se refiere a un miembro especifico de una
clase. Una clase est relacionada con el concepto matemtico de conjunto,
alude a un grupo de objetos. Un conjunto puede tener elementos de cualquier
tipo, los objetos de una clase tienen alguna relacin entre s. UN-TIPO-DE
relaciona clase con otra, relaciona nodos genricos con nodos genricos,
mientras que ES-UN relaciona un caso o un individuo con una clase genrica.
La clase mas general a la que seala una flecha UN-TIPO-DE, se le denomina
superclase; si sta tiene un vinculo UN-TIPO-DE apuntando a otro nodo,
entonces tambin es una clase de la superclase a la que seala un vinculo UNTIPO-DE. Otra forma de expresarlo es que un vnculo UN-TIPO-DE seale de una
subclase a una clase. El vinculo SON se usa algunas veces para UN-TIPO-DE y
se lee como el verbo son.
Los objetos de una clase tienen uno o ms atributos es comn y cada
atributo tuene un valor.

La combinacin de atributo y valor es una propiedad. El vinculo ES define

un valor. El vinculo CAUSA expresa conocimiento causal. A la duplicacin de
caractersticas de un nodo por parte de un descendiente se le llama herencia.
Los vnculos y la herencia proporcionan medios muy eficientes de
representacin del conocimiento porque muchas relaciones complejas pueden
mostrarse con pocos nodos y vnculos.
TRIPLETA OBJETO-ATRIBUTO-VALOR
Los elementos objeto, atributo y valor ocurren tan frecuentemente que
es posible construir una red semntica simplificada utilizando nicamente
estos elementos. Una tripleta objeto-atributo valor (OAV), puede utilizarse para
caracterizar todo el conocimiento de una red semntica y se so en el sistema
experto MYCIN para diagnosticar enfermedades infecciosas. La representacin
del tro OAV es conveniente para ordenar el conocimiento en forma de tabla y
luego traducirla al cdigo de la computadora mediante induccin de reglas. La
red semntica para este tipo de sistemas consta de nodos para objetos,
atributos y valores conectados por vnculos TIENE-UN y ES-UN. Si solo habr de
representarse un objeto y no se requiere de herencia, se usa una
representacin llamada pares atributo-valor (AV).
PROLOG Y REDES SEMNTICAS
Las redes semnticas son fciles de traducir a PROLOG.
Es un (dirigible_goodyear, dirigible).
Es un (espritu_de_san_luis, especial).
Tiene forma (dirigible, elipsoidal).
Tiene forma (globo, redondo).
Son instrucciones de PROLOG que expresan algunas de las relaciones de la red
semntica.
Elementos esenciales de PROLOG
Cada una de las frases anteriores es una expresin de un predicado.
El PROLOG, un predicado est formado por el nombre del predicado, como es
un, seguido de ceros o mas argumentos encerrados entre parntesis separados
por comas.
Los predicados con dos argumentos son ms fciles de entender si coloca el
nombre de predicado siguiendo al primer argumento. Los significados de estos
predicados con ms de dos argumentos deben establecerse explcitamente.
Los predicados pueden expresarse tambin con relaciones ISA-A (ES-UN) Y
HAS-A (TIENEUN).
Los programas de PROLOG estn formados por hechos y reglas en la forma
general de metas.
Bsqueda en PROLOG

La base de datos de los predicados contiene a los predicados de regla y

de hecho que se han introducido, y con ellos forman la base del conocimiento.
El interprete trata de determinar si un predicado de consulta que el usuario
introdujo se encuentra en la base de datos. La respuesta devuelta es afirmativa
en caso de que se encuentre en la base de datos; por el contrario, es negativa.
Si la consulta es una regla, el intrprete tratar de satisfacer los subobjetivos
conduciendo primero una bsqueda a fondo. En una bsqueda primero a fondo,
la bsqueda desciende lo ms posible y luego regresa. En PROLOG tambin va
de izquierda a derecha. Una bsqueda primero a lo ancho pasa de nivel en
nivel antes de descender al siguiente nivel inferior.
(1)
(2)
(3)
(4)
(5)
(6)

ancestro (X,Y) :- padre (X,Y)

ancestro (X,Y) :- ancestro (X,Z), ancestro (Z,Y)
padre (ann,mary)
padre (ann,susan)
padre (mary,bob)
padre (susan, john)

PROLOG comenzara a buscar una instruccin cuya cabeza coincida con

el patrn de entrada ancestro (ann, susan). A esto se le llama coincidencia de
patrones, de manera parecida a la coincidencia de patrones de hechos en el
antecedente de una regla de produccin. La bsqueda empieza desde la
primera instruccin que se introdujo (1), la superior, y sigue hasta la ltima
instruccin (6), la inferior.
DIFICULTADES CON REDES SEMANTICAS
Para una red semntica represente conocimiento definitivo, deben
definirse con rigor los nombres de vnculos y nodos.
Las redes semnticas fueron propuestas originalmente como modelos de la
memoria asociativa humana, en la que un nodo tiene vnculos con otros y la
recuperacin de la informacin ocurre debido a una dispersin de la actividad
de los nodos.
Las redes semnticas son lgicamente inadecuadas porque no pueden
definir el conocimiento de la forma e n que lo hace la lgica. Otro problema es
que las redes semnticas son heursticamente inadecuadas porque no hay
forma de insertar en la red informacin heurstica relacionada con la manera de
explorarla de manera eficiente. Una regla heurstica es una regla prctica que
puede ayudar a encontrar una solucin no garantizada. Las reglas heursticas
son muy importantes para la AI porque los problemas tpicos en ello son tan
difciles que no existe una solucin de algoritmo o, si la hay, no resulta
eficiente para uso prctico.