Trabajos fin de Máster: iniciar a la investigación y a la innovación

El mes que viene comienza nuestro proyecto más ilusionante (como profesor, como miembro de un grupo de investigación, como miembro del departamento y como coordinador del mismo): El máster de Lógica, Computación e Inteligencia Artificial. La ilusión viene mezclada con todas las precauciones posibles, por diversas razones. La primera, que como heredero del programa de […]

Ya tenemos aquí el CLA 2010

Hoy comienza el Congreso CLA 2010 que organizamos el grupo de Lógica Computacional de la Universidad de Sevilla. Serán cuatro días intensos de presentación de trabajos sobre Análisis Formal de Conceptos (AFC), fundamentalmente, y sus múltiples aplicaciones. El programa de actividades se puede consultar aquí. Como he comentado en otras entradas de este blog, en […]

Diseñando interfaces para conocimiento complejo

De las dimensiones más importantes que asociamos al conocimiento, la complejidad (en el amplio sentido) es quizás la más estudiada, pues tiene referentes matemáticos claros. Por ejemplo, las lógicas descriptivas están categorizadas tanto en función de su complejidad sintáctica como en su complejidad algorítmica (incluso su indecidibilidad). Está claro que para un conocimiento no formalmente […]

Externalización del conocimiento en comunidades mediante tecnología wiki y ontologías

En el Fourth Metadata and Semantics Conference (MTSR 2010) presentamos el el trabajo Social Ontology Documentation for Knowledge Externalization  La idea, en el contexto del tratamiento del conocimiento en organizaciones, es ayudar a externalizar (hacer explícito y público) el conocimiento y el perfil de lo que la ontología representa para la empresa (por ejemplo, los […]