Descripción del proyecto
EL ANALISIS DE CONCEPTOS FORMALES (FCA) SE HA VISTO RECONOCIDO RECIENTEMENTE COMO UNA ALTERNATIVA SOLIDA AL PROCESO DE LA ADQUISICION Y TRATAMIENTO DE LA INFORMACION PARA SU POSTERIOR USO EN APLICACIONES USANDO TECNICAS DE RAZONAMIENTO AUTOMATICO, MAS CONCRETAMENTE, SE HA VISTO RECONOCIDO MEDIANTE UN AUMENTO MUY SIGNIFICATIVO DE APLICACIONES EN AREAS MUY DIVERSAS: BIOMEDICINA, TURISMO, EDUCACION, REDES SOCIALES, ETC, GRAN PARTE DE ESTE CRECIENTE INTERES RADICA EN DISPONER DE UN MARCO UNICO EN EL QUE PODER DESARROLLAR DE PRINCIPIO A FIN EL CICLO QUE NOS LLEVA DE LA INFORMACION AL CONOCIMIENTO Y, SOBRE EL, PODER REALIZAR TAREAS DE RAZONAMIENTO AUTOMATICO, EXISTEN OTRAS APROXIMACIONES QUE DAN SOLUCION PARCIAL A ESTE PROBLEMA, HAY DIVERSAS TECNICAS USADAS CON MUCHO EXITO EN TAREAS DE MINERIA DE DATOS, CLASIFICACION, ETC, PERO UNA VEZ LLEVADAS A CABO ESTAS TAREAS, DEBEMOS HACER USO DE OTRAS AREAS PARA TRABAJAR CON EL CONOCIMIENTO ADQUIRIDO, SIN EMBARGO, UNA GRAN DIFERENCIA ENTRE GRAN PARTE DE LAS APROXIMACIONES ANTERIORES Y FCA ES QUE ESTA BUSCA RECOPILAR TODO EL CONOCIMIENTO EXISTENTE EN EL SISTEMA, ASI, MIENTRAS EN OTRAS AREAS EL TERMINO APROXIMADO ES HABITUAL, AQUI NOS ENCONTRAMOS CON UN REQUERIMIENTO IMPORTANTE EN CUANTO A LA COMPLETITUD SEMANTICA, EVIDENTEMENTE ESTE OBJETIVO INDUCE UNA GRAN COMPLEJIDAD Y ES INEVITABLE QUE EL SISTEMA SEA REPRESENTADO POR RETICULOS DE CONCEPTOS DE TAMAÑO SIGNIFICATIVOS O POR SISTEMAS DE IMPLICACION IGUALMENTE GRANDES, SIN EMBARGO, SE HA HECHO UN GRAN ESFUERZO ULTIMAMENTE EN EL DESARROLLO DE TECNICAS Y METODOS EFICIENTES QUE HAN ALLANADO EL TERRENO EN EL MARCO DEL FCA CLASICO,MUCHAS NUEVAS APLICACIONES ESTAN DEMANDANDO UNA MAYOR POTENCIA EXPRESIVA, UNA DEMANDA YA PLANTEADA HA SIDO LA DE DISPONER DE UNA GENERALIZACION QUE INTEGRE ADECUADAMENTE LA INFORMACION IMPRECISA, ASI, POR EJEMPLO QUEREMOS PODER FLEXIBILIZAR EL SISTEMA DE MODO QUE EN LUGAR DE AFIRMAR QUE UN PACIENTE TIENE UN CIERTO SINTOMA O NO LO TIENE, PUEDA INDICARSE EL GRADO EN QUE CREEMOS QUE EL PACIENTE PADECE DICHO SINTOMA, LA PRINCIPAL RESPUESTA A ESTE PROBLEMA PASA POR LA EXTENSION DE LOS CONTEXTOS FORMALES (DATASETS) A ATRIBUTOS MULTIVALUADOS, ESTE CAMBIO DEMANDA UN DESARROLLO NUEVO DE TODO EL MARCO, DESDE LA EXTRACCION DE IMPLICACIONES HASTA LAS LOGICAS QUE LAS MANEJAN, PRECISAMENTE EL DESARROLLO DE NUEVAS LOGICAS PARA ESTE PROBLEMA FUE EL PRINCIPAL OBJETIVO DE UN PROYECTO TIN ANTERIOR DE ESTE GRUPO,COMO SEGUNDA DEMANDA EXPRESIVA, NOS HEMOS FIJADO EN QUE HASTA AHORA TODOS LOS TRABAJOS RELACIONADOS CON FCA HACEN USO DE LA INFORMACION CONSTATADA, ES DECIR LA PRESENCIA DE UN ATRIBUTO, SIN EMBARGO, UN RETO TRATADO POR MUY POCOS AUTORES CONSISTE EN INCORPORAR A ESTE MARCO LA INFORMACION APORTADA POR LA AUSENCIA DE UN ATRIBUTO EN EL OBJETO, ASI POR EJEMPLO, EN LUGAR DE CEÑIRNOS A EXPRESAR QUE "SI UN PACIENTE PADECE UN SINTOMA, DEBEMOS CONSIDERAR TAL ENFERMEDAD EN SU DIAGNOSTICO", QUEREMOS ABRIR LA PUERTA A AMPLIAR EL SISTEMA PARA PODER INDICAR TAMBIEN QUE "NO CONSIDERAREMOS TAL OTRA", ESTA NOVEDOSA GENERALIZACION ES LA SEGUNDA COLUMNA DE ESTA PROPUESTA Y EN ELLA INCLUIREMOS EL DESARROLLO DE ASPECTOS RELACIONADOS CON EL DESCUBRIMIENTO DE CONOCIMIENTO, SU REPRESENTACION, LA MANIPULACION Y EL RAZONAMIENTO AUTOMATICO, EL OBJETIVO GENERAL DEL PROYECTO ES INCORPORAR EN LA INFORMACION DEL SISTEMA GRADOS DE CERTIDUMBRE E INFORMACION NEGATIVA Y EXTENDER LOS ELEMENTOS DE FCA PARA DISPONER DE UN MARCO GENERAL PARA PODER USARLO EN APLICACIONES, ANÁLISIS DE CONCEPTOS FORMALES\LÓGICA\SISTEMAS DE IMPLICACIONES\SISTEMAS DE RECOMENDACIÓN