El objetivo general del proyecto es el diseño de modelos matemáticos que permitan el manejo de la información transformada a partir de grandes volúmenes de datos, usando mecanismos de compresión. La principal aplicación es el análisis inteligente de datos en sistemas de información.
En concreto, se pretende diseñar un modelo matemático que extienda el análisis formal de conceptos combinando, por un lado, estructuras propias de la teoría de conjuntos aproximados y de la teoría de conjuntos difusos y, por otro, lógicas trivaluadas, cuatrivaluadas y birretículos.
