Beruflich Dokumente
Kultur Dokumente
Una comunidad de agentes como un Sistema Complejo est Folksonomies es una metodologa de recuperacin de
compuesta por varias partes interconectadas o entrelazadas informacin consistente de un procedimiento colaborativo de
cuyos vnculos crean informacin adicional no visible antes etiquetado, etiquetas que permiten dar significado y
por el observador. Como resultado de las interacciones entre categorizar contenido digital. Mika en [11] propone ver a los
los elementos de la comunidad, surgen propiedades nuevas Folksonomies como una estructura semntica emergente desde
que no pueden explicarse a partir de las propiedades de los las interacciones de las comunidades, el sugiere la
construccin de Folksonomies (ontologas ligeras) con la
interpretacin de la semntica de las etiquetas, para este distintas de la realidad. A cada percepcin particular de la
propsito Mika define los Folksonomies como una realidad se llama realidad subjetiva [13].
relacin H ( F ) V , E donde V U T R y
La interaccin entre los agentes dentro de la comunidad
E u, t , r (u, r, t ) F , donde R es el conjunto de Recursos, U provoca lo que se llama realidad emergente [14]. Las
es el conjunto de Usuarios y T es el conjunto de Etiquetas. Es realidades emergentes determinan la ontologa de una
decir la relacin V define la relacin entre los conceptos de un comunidad y esta ontologa es un esquema conceptual
determinado dominio y la relacin E define la relacin de los exhaustivo y riguroso que facilita la comunicacin e
objetos concretos dentro de los conceptos definidos en V . interaccin entre diferentes entidades.
Los Folksonomies u ontologas ligeras generadas por los La semntica o significado de un determinado concepto dentro
de una comunidad no solo depende del lenguaje comn
usuarios estn adquiriendo popularidad en la web impulsada
por el potencial de las redes sociales para la generacin de establecido, sino que adems depende de la percepcin del
conocimiento. La gran cantidad de interacciones de los concepto por los diferentes agentes de esa comunidad, en un
usuarios de una comunidad proveen una potencial manera de lugar y un tiempo particular y esta semntica ir cambiando de
acuerdo a los cambios que ocurren dentro de la comunidad.
generar de forma automtica las ontologas necesarias para la
web semntica, sin embargo este posee grandes
Segn J. Holland en [15] Un CAS es una red dinmica de
inconvenientes relacionados a la consistencia de los
muchos agentes actuando en paralelo, constantemente y
conceptos. Las etiquetas son generadas de forma libre por los
reaccionando a lo que otros agentes estn haciendo. Con un
usuarios por lo tanto esta propenso a errores relacionados a
proceso de control altamente disperso y descentralizado.
sinnimos (mltiples etiquetas expresan el mismo concepto),
homnimos (una etiqueta posee diferentes conceptos) y
Un CAS puede ser definido como compuesto por una gran
polisemia (una etiqueta posee mltiples significados), los
cantidad de elementos interactuantes, capaces de intercambiar
cuales afectan la efectiva generacin de ontologas.
informacin entre ellos y el entorno, y de adaptar sus
estructuras internas como consecuencia de tales interacciones.
Una base de conocimiento est conformado por dos
Una caracterstica propia de sistemas de este tipo es la
componentes las Tbox (Terminological Box) y las Abox
existencia de interacciones no lineales entre sus componentes,
(Assersion Box). Las Tbox contiene sentencias que describen
que son las responsables de producir comportamientos
conceptos jerrquicos, es decir relaciones entre conceptos
emergentes en los que el todo es ms que la simple suma de
mientras que una ABox contiene sentencias o hechos
las partes. Vistos en forma agregada, estos comportamientos
indicando la pertenencia de los objetos dentro de la jerarqua
no pueden ser atribuibles a la accin aislada de cada elemento
de conceptos y relaciones entre individuos. Las ontologas
por separado sino que son el resultado de su accin colectiva.
estn construidas utilizando ambos componentes.
Los CAS se constituyen a partir de una gran cantidad de
elementos y, por ende existe un desorden estructural
intrnseco; las caractersticas aleatorias de las interacciones
pueden dar lugar a lo que se denomina como frustracin, que
genera configuraciones estables del sistema en las que no es
posible optimizar todas las interacciones simultneamente. La
aparicin de frustracin da lugar a la posibilidad de que
existan mltiples estados meta estables. Por lo tanto, a nivel
macroscpico los sistemas complejos puede exhibir tanto
diversidad como estabilidad: por un lado, puede haber
mltiples estados fundamentales (equilibrios mltiples), otras
veces el orden macroscpico resulta ser robusto frente a
Figura 1: Structure of a system in Description Logic cambios en la estructura interna del sistema.
Source: [12].
El xito que ha tenido en la fsica el tratamiento de los
sistemas complejos a partir de este enfoque motiva a evocar
El modelo propuesto por este trabajo toma como base la estas lneas de pensamiento para estudiar procesos sociales y
definicin dada por Mika, los conceptos de la relacin organizacionales.
V (Recursos, Usuarios y Etiquetas) son expresadas mediante
Un sistema complejo, a pesar de comportarse en forma
una ontologa generada de forma tradicional, es decir dicha
robusta, est sometido a un proceso de continua adaptacin.
ontologa posee relaciones de conceptos existentes pasando a
Por medio de este proceso los subsistemas van
formar parte de la TBox dentro de una Base de conocimiento,
progresivamente encontrando nichos en los cuales desarrollar
la comunidad de usuarios solo puede hacer etiquetados en base
sus acciones. Ya que los niveles de organizacin son
a las etiquetas definidas en la TBox con ello evitamos los
mltiples, y nuevos nichos son creados es decir un sistema
problemas generados por sinnimos, homnimos y polisemia,
complejo adaptativo opera lejos de un estado optimo (o a
garantizando de esa manera la consistencia de la informacin.
tractor global puntual).
El agente inteligente de la figura 3 determina mediante las Figura 4: Convergencia en una ontologa general en 50
etiquetas si el texto registrado por el usuario es una periodos de vida (Elaboracin Propia)
proposicin o una consulta. El agente inteligente maneja la
indexacin de las ontologas y determina el proceso de La figura 5 muestra que los agentes poseen un conocimiento
razonamiento a realizar. compartido mayor en el transcurso del tiempo. La eje Z, fue
sacada intencionalmente de la figura anterior. Cada punto de
dato (X,Y) representa la incidencia de conceptos durante los
50 periodos de vida. Incidencia que se refleja en el grado de
conocimientos compartidos y aceptados por los agentes.
Request Microbloging
Interfaz usuario Tag
Resp.
Ontology TBox
Indexador
Figura 5: Convergencia de ontologas y por su nivel de
Agente Razonador /
LUCENE Inteligente Validador
conocimientos compartidos (Elaboracin Propia)
Figura 3: Arquitectura del modelo propuesto. Puesto que la Lgica Descriptiva es un formalismo de
(Elaboracin propia) representacin del conocimiento, y como tal, se supone que
dar respuesta a las consultas de un usuario en un tiempo
razonable, es decir los procedimientos para DL deben terminar
4. EVALUACION Y VALIDACION siempre, esta caracterstica se le llama Complecin
computacional [19].
4.1. Resultados de la simulacin Un sistema deductivo completo puede demostrar cualquier
conclusin que est implicada por las premisas, es decir, tal
Esta seccin presenta los resultados preliminares de la que:
simulacin de este modelo sobre una ontologa de referencia
(http://www.owldl.com/ontologies/family.owl). Los cuales (4.1)
fueron obtenidos durante los experimentos realizados para 0 C.
observar el patrn emergente. La figura 4 ilustra la cantidad de
recursos adquiridos por cada tipo de agente, durante la
interaccin de intercambio en 50 periodos de vida, esta figura Pero qu ocurre si 0 C ?. Se define un problema de
ha sido generada en los puntos (X,Y,Z), donde Z es la decisin aqul que tiene dos respuestas posibles: SI o
cantidad de agentes, X muestra la evolucin de la ontologa y NO. Cualquier problema puede reducirse a un conjunto de
problemas de decisin. Se dice que un problema de decisin
es decidible si existe un algoritmo (es decir, un procedimiento A B y A B (4.5)
que acabe en un tiempo finito) que lo resuelva [19].
Respectivamente, y en Modus Ponens (MP), que permite
eliminar los antecedentes de A se pasa A A mediante
Un sistema deductivo es decidible si ante la consulta 0 C
? termina en un tiempo finito respondiendo SI o NO . una aplicacin de MP a la ley de doble negacin A A.
Aceptadas estas premisas, se les aplica reiteradamente el
Pero las cuestiones de complecin y decidibilidad se pueden procedimiento empezando por ii a todos los Proposiciones de
plantear en trminos ms generales: dados 0 y C, verdad i-1 que pertenecen a C, siguiendo con i, i+1, i+2, y
as sucesivamente, hasta liberar el consecuente de ( { 1,2,...
n} A ), que es justamente la tesis del teorema de Gdel
La propiedad de la complecin es: si 0 C, entonces descrito en Peat [12].
existe algn algoritmo que demuestre C;
Literalmente el proceso de validez indica: el conjunto de
La propiedad de decidibilidad es: existe algn algoritmo
Proposiciones que se agrupan para formar una ontologa
que responda SI en el caso de que 0 C y NO en el no alterara la decidibilidad ni la complecin del conjunto
siempre que se realicen construccin de conjuntos
caso de que 0 C. validos. Donde construccin de conjuntos validos significa
que la agregacin de Proposiciones Abox se d si y solo si
Kurt Gdel demostr en 1930 el teorema de complecin para existe Proposiciones Tbox dentro del conjunto que lo definen.
la lgica de predicados de primer orden [12]. El teorema
establece que si un conjunto de sentencias
5. CONCLUSION
(4.2)
0 = {1,2,...n}
En general, los Sistemas Adaptativos Complejos (CAS) se han
usado para modelar sistemas orgnicos e inorgnicos que
implica lgicamente una sentencia presentan comportamientos de adaptabilidad y evolucin cuya
complejidad hacen difcil modelar mediante sistemas lineales
tradicionales. Las interacciones sociales y la complejidad
(4.3) inherente durante la construccin de realidades emergentes,
C (0 C)
poseen caractersticas y comportamientos similares a los CAS,
en este trabajo se ha realizado el modelado de las
entonces existe una demostracin de C, es decir, una interacciones sociales en base al modelo definido por los CAS
secuencia finita, R, de aplicacin de reglas de inferencia que demostrando la convergencia de ontologas de forma
conduce de 0 a C ({1,2,... n} RC). automtica.