Ya tenemos aquí el CLA 2010

Banner del congresoHoy 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 nuestro grupo hemos utilizado el AFC para:

  1. Gestionar el conocimiento generado en una red social móvil.
  2. Hemos verificado la teoría básica de AFC en PVS.
  3. Hemos extendido los métodos de exploración de atributos para trabajar con conceptos parciales e inducir definiciones de nuevos atributos.
  4. Lo hemos utilizado en un sistema para pronosticar quinielas, con el que estamos experimentando y los resultados son prometedores.

Esperamos que la organización de este congreso internacional suponga un fortalecimiento de esta línea de investigación en nuestro grupo.

Anuncios