Innovating Works

TIN2015-70266-C2-1-P

Financiado
TECNICAS COMPUTACIONALES ALGEBRAICAS Y DIFUSAS PARA LA SOCIEDAD
EL GRAN DINAMISMO DE LA SOCIEDAD ACTUAL DEMANDA QUE LOS SISTEMAS DE INFORMACION DISPONGAN DE RESPUESTAS TECNOLOGICAS CON CAPACIDAD DE ADAPTACION A SITUACIONES QUE, EN MUCHAS OCASIONES, NO SE ENCUENTRAN SUFICIENTEMENTE DETERMINADAS... EL GRAN DINAMISMO DE LA SOCIEDAD ACTUAL DEMANDA QUE LOS SISTEMAS DE INFORMACION DISPONGAN DE RESPUESTAS TECNOLOGICAS CON CAPACIDAD DE ADAPTACION A SITUACIONES QUE, EN MUCHAS OCASIONES, NO SE ENCUENTRAN SUFICIENTEMENTE DETERMINADAS, EL RETO QUE SUPONE EL MANEJO DE INFORMACION IMPERFECTA (INCOMPLETA, IMPRECISA O AUSENTE) DEMANDA UNOS FUNDAMENTOS SOLIDOS SOBRE LOS QUE CONSTRUIR TEORIAS Y ALGORITMOS CAPACES DE GESTIONAR ADECUADAMENTE, POR UNA PARTE, LA INCERTIDUMBRE EN LOS DATOS Y, POR OTRA, LA HETEROGENEIDAD Y LA FALTA DE ESTRUCTURA EN LA INFORMACION QUE SE SUELE MANEJAR,TALES FUNDAMENTOS NECESARIAMENTE HAN DE TENER UNA FUERTE COMPONENTE LOGICA Y MATEMATICA, EN CONCRETO, LOS PILARES SOBRE LOS QUE SE BASA ESTE PROYECTO SON, POR UNA PARTE, LOS CONJUNTOS L-DIFUSOS (DONDE L ES UN CONJUNTO CON ESTRUCTURA SUFICIENTE) JUNTO CON ESTRUCTURAS Y OPERACIONES ALGEBRAICAS GENERALIZADAS Y, POR OTRA PARTE, LAS LOGICAS NO CLASICAS, EL MEJOR CONOCIMIENTO DE ESTRUCTURAS ALGEBRAICAS GENERALIZADAS ES VITAL PARA LA FORMALIZACION DEL RAZONAMIENTO "APROXIMADO", DEBIDO A QUE SE REALIZA CON DATOS INCOMPLETOS Y/O IMPRECISOS, POR OTRA PARTE, SE ESTUDIARAN LOGICAS NO CLASICAS, POR EJEMPLO, LOGICAS NO MONOTONAS O LOGICAS QUE PERMITAN HACER DEDUCCIONES BASADAS EN RAZONAMIENTO CUALITATIVO,RESPECTO DE LA REPRESENTACION DE LA INFORMACION, EL PROYECTO SE ORIENTA AL ESTUDIO DE LAS RECIENTEMENTE DENOMINADAS REDES SOCIALES DIFUSAS (CUYA REPRESENTACION MATEMATICA SE CORRESPONDE CON LOS GRAFOS PONDERADOS), EN LAS QUE LAS RELACIONES (ES DECIR, LAS ARISTAS) SE INTERPRETAN COMO RELACIONES SOCIALES ENTRE INDIVIDUOS, EN ESTE MARCO, SE USA EL TERMINO "MODALIDAD" PARA REFERIRSE AL NUMERO DE CLASES DE ENTIDADES ENTRE LAS QUE SE ESTABLECEN RELACIONES SOCIALES, ASI PUES, UNA RED DE MODALIDAD 2 PUEDE VERSE COMO UNA TABLA BIDIMENSIONAL QUE INDICA LAS RELACIONES ENTRE, DIGAMOS, OBJETOS Y SUS POSIBLES ATRIBUTOS, ESTE CASO ES EL ESTUDIADO EN EL AREA DE INVESTIGACION CONOCIDA COMO ANALISIS DE CONCEPTOS FORMALES EN LAS QUE EL EQUIPO DE INVESTIGACION HA REALIZADO NUMEROSAS APORTACIONES,ADEMAS, LOS RESULTADOS APORTADOS SERAN INTERESANTES PARA CAMPOS TAN DIVERSOS COMO EN AGRICULTURA, EN ENERGIAS RENOVABLES, EN AMBIENTES MARINO MARITIMO, ETC,, LOS CUALES TIENEN UN FIEL REFLEJO EN LOS RETOS DE LA SOCIEDAD RECOGIDOS EN EL PLAN ESTATAL Y EN EL ACTUAL PROGRAMA MARCO DE INVESTIGACION E INNOVACION EUROPEO HORIZONTE 2020, POR TANTO, EN ESTE PROYECTO SE PLANTEA EL DESARROLLO DE HERRAMIENTAS, TANTO LOGICAS COMO ALGEBRAICAS, PARA LA REPRESENTACION DEL CONOCIMIENTO IMPERFECTO, ASI COMO DE TAREAS DE RAZONAMIENTO ORIENTADAS HACIA LA ADQUISICION Y TRATAMIENTO DE LA INFORMACION PARA SU POSTERIOR USO EN APLICACIONES USANDO TECNICAS DE RAZONAMIENTO AUTOMATICO, LA PRESENTE PROPUESTA AUNA DOS EQUIPOS QUE CUENTAN CON UNA CONTRASTADA EXPERIENCIA EN INVESTIGACION CONJUNTA, Y QUE HACEN USO DE METODOS QUE ABARCAN CAMPOS DE LAS MATEMATICAS, LA LOGICA, LAS CIENCIAS DE LA COMPUTACION Y LA INTELIGENCIA ARTIFICIAL, RAZONAMIENTO\LÓGICA\FUZZINESS\ROUGHNESS\IMPRECISIÓN\CONCEPTOS FORMALES\ESTRUCTURAS ALGEBRAICAS ver más
01/01/2015
UMA
56K€
Perfil tecnológico estimado

Línea de financiación: concedida

El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2015-01-01
Presupuesto El presupuesto total del proyecto asciende a 56K€
Líder del proyecto
UNIVERSIDAD DE MÁLAGA No se ha especificado una descripción o un objeto social para esta compañía.
Total investigadores 1951