Redes Semanticas

Las redes semánticas

Muchas disciplinas han desarrollado técnicas de realización de diagramas que constituyen lenguajes formales visuales que representan el conocimiento operacional en forma esquemática. El filósofo y lógico Charles S. Pierce desarrolló sus grafos existenciales como una técnica formal de razonamiento para la inferencia lógica y en años recientes se ha estado cultivando el interés en el estado formal de las pruebas visuales en matemáticas. En Inteligencia Artificial, Sowa ha desarrollado los grafos de Peirce como estructuras formales conceptuales para la representación de la inferencia lógica de las declaraciones del lenguaje natural.

La presentación visual de las estructuras de conocimiento ha sido un rasgo característico de las redes semánticas desde sus inicios. En la adquisición de conocimiento, en particular, la presentación de conocimiento formal ha sido algo importante para su validación. Hay muchas técnicas para tal adquisición pero todas ellas, en última instancia, terminan en una base de conocimiento que opera con la semántica formal. Sin embargo, la expresión de esta base de conocimiento en el lenguaje formal usado por el sistema no es por lo general muy comprensible a los no programadores. Es preciso, por tanto, un lenguaje visual que ofrezca tanto formas comprensibles como posibilidades formales atractivas no sólo para la comprensión, sino también para la corrección, y para las partes del proceso de adquisición del conocimiento en sí mismo.

El temprano desarrollo de redes semánticas acabó en fuertes críticas sobre la semántica de diagramas particulares ya que ésta no estaba bien definida. Los nodos, arcos y sus etiquetas podían usarse muy libremente y con una gran ambigüedad, y los diagramas estaban sujetos a interpretaciones diferentes. En los años 70 existían propuestas para formalizar una red semántica bien definida y esto hizo factible que la semántica formal fuera desarrollada para sistemas de representación de conocimiento terminológicos. En 1991, Profits estableció una semántica formal para mapas conceptuales para sistemas terminológicos lógicos que dio lugar a un ejemplo principal de su uso en la solución de un sistema de asignación de espacio.

Las redes semánticas son sistemas de organización del conocimiento que estructuran los conceptos, no como una jerarquía sino como una red. Los conceptos son como nodos, con varias relaciones que se ramifican hacia fuera de ellas. Las relaciones pueden incluir relaciones tipo todo-parte, causa-efecto, padre-niño, "es un" o "es parte".

Las redes semánticas son grafos orientados que proporcionan una representación declarativa de objetos, propiedades y relaciones. Los nodos se utilizan para representar objetos o propiedades. Los arcos representan las relaciones entre nodos. El mecanismo de inferencia básico en las redes semánticas es la herencia de propiedades.

Las

...