High Quality
Open the downloaded document, and select print from the file menu (PDF reader required).
Representaci´on del conocimiento social en unaweb Inteligente
Huber Raul Flores Macariokyoraul@hotmail.comhttp://digitalquimia.blogspot.comGuatemala, GuatemalaUSAC, Facultad de Ingenier´ıa.Escuela de Ciencias y Sistemas.Mayo, 2008
1 Resumen
la creaci´on de un conocimiento social en una web 2.0 y su transici´on a una websem´antica nos permiten apreciar, la implementaci´on de herramientas y artefac-tos para representar y organizar el conocimiento. sin embargo, su surgimientova mas all´a de un representaci´on expl´ıcita, introduciendo conceptos de inter-operabilidad en los sistemas cuya instituci´on posibilitara el surgimiento de unmapa conceptual web.
2 Abstract
creating a social knowledge in a Web 2.0 and its transition to a semantic weballows us to assess the implementation of tools and artifacts to represent andorganize knowledge. however, goes beyond its emergence of an explicit repre-sentation, introducing concepts of interoperability in systems whose institutionallowing the emergence of a conceptual map site.1
3
El conocimiento creado a partir de una inteligencia colectiva que define lascapacidades cognitivas de los individuos y los establece como parte de un grancerebro compartido, se establece en una web social mediante una organizaci´onsem´antica basada en etiquetas (tagging), aunque muestra cierto significado en laorganizaci´on de la informaci´on, no representa un mecanismo que pueda simularun razonamiento humano, careciendo completamente de relaciones sem´anticasque constituyen una estructura reticular de un pensamiento compartido.La representaci´on de un conocimiento social propio de una Web 2.0 nosconduce a la producci´on de redes sem´anticas, estas representan conceptos yrelaciones existentes a trav´es de enlaces y nodos que dan lugar a un grafo aci-clico dirigido de conocimiento, donde su implementaci´on se basa en estructurasestandarizadas que permiten a un razonador inferir autom´aticamente en los do-minios de una web con significado resultados inteligentes, seg´un Tim Berners-Lee[5] la Web sem´antica es una extensi´on de la Web actual en la que se expresa elsignificado de la informaci´on mediante metainformacion o anotaciones sem´anti-cas, que las m´aquinas pueden procesar de forma autom´atica. En pocas palabrasredes sem´anticas en la informaci´on.Las redes sem´anticas originalmente estaban estructuradas y organizadas apartir de sus constructores, sin embargo, estas limitaciones fueron disminuyendoal adoptar un objetivo com´un basado en la l´ogica (lenguaje gen´erico) para larepresentaci´on del conocimiento basado en su entorno, uno de los primeros logrosse alcanzaron con la aparici´on de KL-ONE, un lenguaje basado en marcos y queconstituye la primera conceptualizacion de una red sem´antica[14]
Formalismos para la representaci´on del conocimiento:
Existen di-versos formalismos para la representaci´on del conocimiento, cada uno de estosposee arraigado un lenguaje simb´olico que permite expresar de manera explicitainformaci´on con sentido sem´antico, sin embargo, cada uno de estos lenguajes esdependiente del contexto, debido a que su aplicaci´on difiere el grado de com-plejidad o simplicidad que quiera expresarse y por lo tanto, su selecci´on estarelacionada con la mejor manera para solucionar un problema.Los lenguajes para la representaci´on de un conocimiento explicito consti-tuyen las bases gen´ericas para la creaci´on de redes sem´anticas que modelen unverdadero mapa cognitivo del conocimiento colaborativo; es posible el uso dediferentes lenguajes en diferentes ´ambitos, siempre y cuando se adapten a lasestandarizaciones y reglas impuestas en la estructuraci´on de una web sem´antica,sino es posible que afecte la interoperabilidad de los sistemas.Hist´oricamente han surgido varios formalismos y en consecuencia diferentestipos de lenguajes para la representaci´on del conocimiento, su estudio permitir´acomprender la estructuraci´on y organizaci´on de la informaci´on , entre estos
tenemos:
Lenguajes basados en l´ ogica formal:
La l´ogica formal se refiere al estu-dio de argumentos racionales en forma estrictamente esquematizada y organi-zada [16], su estudio plantea el uso de un raciocinio complejo y de gran alcance,los lenguajes basados en este tipo de l´ogica representan un raz´on correcta que2
establece relaciones abstractas entre las ideas.
L´ ogica proposicional:
cada sentencia tiene asignado un s´ımbolo, el uso deoperadores l´ogicos para unir los s´ımbolos, representan proposiciones mas com-plejas de un razonamiento ordenado. Entre los operadores comunes est´an : AND, OR, NOT, IMPLIES, y EQUIVALENCE[15].
L´ ogica de primer orden:
representa una extensi´on de la l´ogica proposicional,mas el cuantificador universal y el existencial Utiliza tambi´en s´ımbolos pararepresentar conocimiento y operadores l´ogicos para construir sentencias m´ascomplejas, pero a diferencia de la l´ogica proposicional, los s´ımbolos puedenrepresentar constantes, variables, predicados y funciones.[15], la l´ogica de primerorden representa entre sus diversas particularidades las inferencias y axiomas deuna web sem´antica.
KIF:
Est´a basado en la l´ogica de predicados con extensiones para definirt´erminos, metaconocimiento, conjuntos, razonamientos no monot´onicos, etc;y pretende ser un lenguaje capaz de representar la mayor´ıa de los concep-tos y distinciones actuales de los lenguajes m´as recientes de representaci´on delconocimiento.[16], este lenguaje fue dise˜nado con el prop´osito de crear particu-laridades de interoperabilidad entre los sistemas sem´anticos.
L´ ogicas descriptivas (DL):
este tipo de l´ogica este relacionada con la es-tructura base utilizada en el desarrollo de ontolog´ıas, La l´ogica descriptiva sebasa en representar el conocimiento utilizando una terminolog´ıa o vocabulariodel dominio TBOX (caja terminologica) y por otra un conjunto de afirmacionesABOX (caja de aserciones).[15]TBOX contiene sentencias describiendo conceptos jer´arquicos (relaciones en-tre conceptos) mientras la ABOX contiene sentencias ”ground” indicando adonde pertenecen los individuos en la jerarqu´ıa (relaciones entre individuos yconceptos).[17], por ejemplo la frase
•
Cada usuario es un colaborador del conocimiento (pertenece al TBOX)
•
Ra´ul es un usuario (representaci´on del ABOX)Este tipo de l´ogica representa descripciones de conceptos para describir undominio, Un concepto en la jerga de DL se refiere a una clase en OWL. Un rolen la jerga de DL es una propiedad en OWL.[17]
Lenguajes Basados en Frames o Marcos:
Los marcos son simplementeestructuras de datos que permiten representar conceptos (llamados clases) yrelaciones entre ellos (llamados slots).[14], los atributos se denominan comopropiedades que posee cada clase, dichas particularidades permiten especificarrelaciones de un determinado dominio.Estos lenguajes son similares a los lenguajes de programaci´on orientadosa objetos, donde el conocimiento de un dominio est´a representado medianteentidades, referidas tanto a las clases del dominio como a sus instancias. Entresus caracter´ısticas destacan:
•
la organizaci´on jer´arquica de las clases,3
Add a Comment