Fusionando ontologías mediante razonadores automáticos

imagen de Amsterdam utilizada en la página de los proceedings de Ontose 2009

La contribución que hemos presentado en el Workshop on Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Service Science (celebrado en Amsterdam este año) titulada On the Use of Automated Reasoning Systems in Ontology Integration cierra la aplicación de la definición formal de ontología robusta que presentamos en el congreso EUROCAST 2005. De esta forma, hemos justificado plenamente que se puede especificar, en términos de lógica computacional, una definición práctica de ontología estable, que se puede determinar con métodos automáticos, y sobre la que se pueden considerar las gestiones usuales de mantenimiento de ontologías (extensión -bottom-up y top-down- revisión y fusión).

Sistemas multiagente para gestionar débilmente el contenido en redes sociales móviles

Imagen de la página principal del congreso KES AMSTA 2009

El contenido de la charla que comenté en la entrada anterior se complementa con nuestro artículo Toward Semantic Mobile Web 2.0 through multiagent systems, presentado en 3rd International KES Symposium on Agents and Multi-agent Systems – Technologies and Applications donde se hace una descripción general de Mowento y de las decisiones de diseño que hemos tomado.

Web semántica, Sistemas multiagente y redes sociales móviles

Logo de las jornadas

El 29 de Junio impartí una charla en las jornadas de difusión de la tecnología multiagente en la Universidad de Sevilla sobre cómo combinamos esos tres elementos en Mowento. Las transparencias que usé las he almacenado en mi cuenta de Slideshare. Las citadas jornadas fueron una extraordinaria oportunidad para conocer no sólo al resto de los invitados, sino a otros investigadores en el área de sistemas multiagente en la Universidad. Es curioso como, estando tan cerca en investigación, estamos tan lejos en trato, pues ni siquiera nos conocíamos. Las charlas fueron interesantes y si demostraron algo es que la aplicabilidad de la tecnología de agentes es muy amplia. Personalmente creo que la discusión sobre la especificación del concepto de agente fue extraordinariamente interesante. Posturas tan lejanas a la mía como la que Carles Sierra defendía, cercana a la indefinición que causa la autonomía eran, en cierto sentido, coincidentes cuando pensamos en que la especificación de un agente limita el concepto (aunque, a la vez, proporciona la noción de verificación).

Otra de las cuestiones que quedaron patentes en las intervenciones es que la modelización como agentes no implicaba, en principio, la implementación de un sistema multiagente. El mero hecho de modelizar rasgos de manera computacional-matemática-lógica proporcionaba formas de implementación en sistemas clásicos (es decir, el proceso de desagentificación produce de manera natural programas no autónomos). Esta forma de aplicar la ciencia de los agentes racionales es muy prometedora en ámbitos donde la recitencia a usar sistemas multiagente (impredecibles en muchos casos) limita la aplicabilidad de resultados.