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 lengua e del ser !umano. "uilian las utilizo para analizar el significado de palaras en frases. #a estructura de una re semntica se muestra grficamente en trminos de nodos $ob etos% y arcos $v&nculos o bordes% que los conectan. #os v&nculos de una red semntica se utilizan para e'presar relaciones los nodos se utilizan para representar ob etos f&sicos, conceptos o situaciones. (n la figura b los v&nculos muestran las relaciones entre los miembros de una familia las cuales son de gran importancia porque proporcionan la estructura bsica para la organizacin del a)Red General conocimiento, sin relaciones el conocimiento es una simple coleccin de !ec!os incone'os, con ellas. (l conocimiento es una estructura co!esiva 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. (l traba o original de "uilina modelo la memoria !umana como una red asociativa en los cuales los conceptos eran los nodos y los v&nculos formaban las cone'iones entre ellos. )iertos tipos de relaciones !an probado ser muy *tiles en la amplia variedad de representaciones del conocimiento. (n lugar de definir nuevas relaciones para el problema diferentes, es !abitual usar estos tipos de estndares. (l uso de tipos comunes facilita la comprensin de una red no muy conocida. +os tipos de v&nculos utilizados con frecuencia son (,-U. y U. /I01 +(, (,-U. significa 2es un caso de3 y se refiere a un miembro especifico de una clase. Una clase est relacionada con el concepto matemtico de con unto, alude a un grupo de ob etos. Un con unto puede tener elementos de cualquier tipo, los ob etos de una clase tienen alguna relacin entre s&. U.-/I01-+( relaciona clase con otra, relaciona nodos genricos con nodos genricos, mientras que (,-U. relaciona un caso o un individuo con una clase genrica. #a clase mas general a la que se4ala una flec!a U.-/I01-+(, se le denomina superclase5 si sta tiene un vinculo U.-/I01-+( apuntando a otro nodo, entonces tambin es una clase de la superclase a la que se4ala un vinculo U.-/I01-+(. 1tra forma de e'presarlo es que un v&nculo U.-/I01-+( se4ale de una subclase a una clase. (l vinculo ,1. se usa algunas veces para U.-/I01-+( y se lee como el verbo 2son3. #os ob etos de una clase tienen uno o ms atributos es com*n y cada atributo tuene un valor. #a combinacin de atributo y valor es una propiedad. (l vinculo (, define un valor. (l vinculo )AU,A e'presa conocimiento causal. A la duplicacin de caracter&sticas de un nodo por parte de un descendiente se le llama !erencia. #os v&nculos y la !erencia proporcionan medios muy eficientes de representacin del conocimiento porque muc!as relaciones comple as pueden mostrarse con pocos nodos y v&nculos. TRIPLETA OBJETO-ATRIBUTO-VALOR #os elementos ob eto, atributo y valor ocurren tan frecuentemente que es posible construir una red semntica simplificada utilizando *nicamente estos elementos. Una tripleta ob eto-atributo valor $1A6%, puede utilizarse para caracterizar todo el conocimiento de una red semntica y se so

en el sistema e'perto 78)I. para diagnosticar enfermedades infecciosas. #a representacin del tr&o 1A6 es conveniente para ordenar el conocimiento en forma de tabla y luego traducirla al cdigo de la computadora mediante induccin de reglas. #a red semntica para este tipo de sistemas consta de nodos para ob etos, atributos y valores conectados por v&nculos /I(.(-U. y (,-U.. ,i solo !abr de representarse un ob eto y no se requiere de !erencia, se usa una representacin llamada pares atributo-valor $A6%. PROLOG Y REDES SEMNTICAS #as redes semnticas son fciles de traducir a 0R1#19. (s un $dirigible:goodyear, dirigible%. (s un $esp&ritu:de:san:luis, especial%. /iene forma $dirigible, elipsoidal%. /iene forma $globo, redondo%. ,on instrucciones de 0R1#19 que e'presan algunas de las relaciones de la red semntica. (lementos esenciales de 0R1#19 )ada una de las frases anteriores es una e'presin de un predicado. (l 0R1#19, un predicado est formado por el nombre del predicado, como es un, seguido de ceros o mas argumentos encerrados entre parntesis separados por comas. #os predicados con dos argumentos son ms fciles de entender si coloca el nombre de predicado siguiendo al primer argumento. #os significados de estos predicados con ms de dos argumentos deben establecerse e'pl&citamente. #os predicados pueden e'presarse tambin con relaciones I,A-A $(,-U.% 8 ;A,-A $/I(.(U.%. #os programas de 0R1#19 estn formados por !ec!os y reglas en la forma general de metas. Bsqueda en PROLOG

#a base de datos de los predicados contiene a los predicados de regla y de !ec!o que se !an introducido, y con ellos forman la base del conocimiento. (l interprete trata de determinar si un predicado de consulta que el usuario introdu o se encuentra en la base de datos. #a respuesta devuelta es afirmativa en caso de que se encuentre en la base de datos5 por el contrario, es negativa. ,i la consulta es una regla, el intrprete tratar de satisfacer los subob etivos conduciendo primero una b*squeda a fondo. (n una b*squeda primero a fondo, la b*squeda desciende lo ms posible y luego regresa. (n 0R1#19 tambin va de izquierda a derec!a. Una b*squeda primero a lo anc!o pasa de nivel en nivel antes de descender al siguiente nivel inferior. $<% ancestro $=,8% >- padre $=,8% $?% ancestro $=,8% >- ancestro $=,@%, ancestro $@,8% $A% padre $ann,mary% $B% padre $ann,susan% $C% padre $mary,bob% $D% padre $susan, o!n% 0R1#19 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 !ec!os en el antecedente de una regla de produccin. #a b*squeda empieza desde la primera instruccin que se introdu o $<%, la superior, y sigue !asta la *ltima instruccin $D%, la inferior. DIFICULTADES CON REDES SEMANTICAS 0ara una red semntica represente !n! "#"en$! de%"n"$"&!, deben definirse con rigor los nombres de v&nculos y nodos. #as redes semnticas fueron propuestas originalmente como modelos de la memoria asociativa !umana, en la que un nodo tiene v&nculos con otros y la recuperacin de la informacin ocurre debido a una dispersin de la actividad de los nodos. #as redes semnticas son lgicamente inadecuadas porque no pueden definir el conocimiento de la forma e n que lo !ace la lgica. 1tro problema es que las redes semnticas son !eur&sticamente inadecuadas porque no !ay forma de insertar en la red informacin !eur&stica relacionada con la manera de e'plorarla de manera eficiente. Una regla 'eu()s$" a es una regla prctica que puede ayudar a encontrar una solucin no garantizada. #as reglas !eur&sticas son muy importantes para la AI porque los problemas t&picos en ello son tan dif&ciles que no e'iste una solucin de algoritmo o, si la !ay, no resulta eficiente para uso prctico.