Compactación de datos aproximada: Marco lógico para manejo de la imprecisión y razonamiento automático sobre implicaciones entre atributos