Marco Lógico-computacional para la evolución de teorías sobre conceptos formales (TIN2009-09492, subprograma TIN)
El proyecto consiste en la elaboración de un marco lógico-computacional sobre el que fundamentar el manejo y aplicación de la evolución de las teorías sobre conceptos formales. Estas teorías pueden estar especificadas en formalismos como el Análisis Formal de Conceptos, lógicas descriptivas (o lógica de primer orden) y KIF, e incluso las especificaciones e interpretaciones algebraicas de sistemas basados en conocimiento y ontologías. Deseamos que este marco sirva de soporte -con fiabilidad lógica- para el desarrollo de algoritmos de evolución, control y reparación de estas teorías; algoritmos que serán implementados en sistemas para la revisión, supervisión y mantenimiento de ontologías. El marco se aplicará y adaptará, concretamente, a cuatro casos distintos pero relacionados: la creación de interfaces inteligentes para el manejo de ontologías, la evolución de ontologías asociadas a redes sociales, la documentación social fiable de ontologías de dominio, y el mantenimiento de ontologías en la Web 2.0 móvil. Los aspectos más relevantes de esta propuesta son:
- La caracterización del marco como una capa de fiabilidad lógica sobre la que construir herramientas que permitan el manejo fiable de conceptualizaciones por parte de “no especialistas”, con el objetivo de salvar la incipiente brecha semántica.
- Diseño de factores de entropía que asistan a la evolución controlada de ontologías extraídas por técnicas de semántica emergente y que estén basados en factores lógicos computacionales.
- Implementación de los sistemas: Un objetivo fundamental del proyecto es que los resultados faciliten la implementación de sistemas en los casos de estudio.
- Es importante destacar que se pretende que todas las nociones introducidas y estudiadas tengan un fuerte componente algorítmico, y se diseñarán nuevos métodos de razonamiento automatizado en base a éstas.
