Innovating Works

PID2019-111544GB-C21

Financiado
SISTEMAS DE INFERENCIA PARA INFORMACION INCONSISTENTE: FUNDAMENTOS LOGICOS
EN ESTE PROYECTO, EL OBJETIVO PRINCIPAL ES AVANZAR EN EL ESTADO DEL ARTE EN MODELOS DE INFERENCIA TOLERANTES A LA INCONSISTENCIA EN DIFERENTES ESCENARIOS: TECNICAS DE MAXSAT EN LOGICAS CLASICAS Y MULTIVALUADAS, LOGICAS GRADUADAS... EN ESTE PROYECTO, EL OBJETIVO PRINCIPAL ES AVANZAR EN EL ESTADO DEL ARTE EN MODELOS DE INFERENCIA TOLERANTES A LA INCONSISTENCIA EN DIFERENTES ESCENARIOS: TECNICAS DE MAXSAT EN LOGICAS CLASICAS Y MULTIVALUADAS, LOGICAS GRADUADAS NO CLASICAS, MARCOS DE ARGUMENTACION, TANTO EN ASPECTOS TEORICOS COMO PRACTICOS, Y EN SU APLICACION AL ANALISIS DE DISCUSIONES EN REDES SOCIALES, LA PRINCIPAL DIFICULTAD QUE QUEREMOS ABORDAR ES LA EXISTENCIA DE INCONSISTENCIA EN LAS BASES DE CONOCIMIENTO, UNA PROPIEDAD COMUN EN LAS BASES DE CONOCIMIENTO QUE PROVIENEN DE APLICACIONES REALES, ESPECIALMENTE CUANDO LA INFORMACION SE OBTIENE COMO LA AGREGACION DE INFORMACION PROVENIENTE DE DIFERENTES FUENTES, POR UN LADO, PLANEAMOS USAR EXTENSIONES DE DIFERENTES LOGICAS NO CLASICAS, BASADAS PRINCIPALMENTE EN LOGICAS DIFUSAS Y LOGICAS DIFUSAS CON MODALIDADES, PARA PODER EXTRAER INFORMACION UTIL DE ESTE TIPO DE BASES DE CONOCIMIENTO, Y PODER MANEJAR TANTO INCERTIDUMBRE COMO INCONSISTENCIA EN LA INFORMACION, DEFINIREMOS MODELOS SOBRE ESTAS LOGICAS EXPANDIDAS, ASI COMO ALGORITMOS DE INFERENCIA QUE PUEDEN USARSE PARA EXTRAER INFORMACION UTIL BAJO ESTAS NUEVAS LOGICAS, LOS ALGORITMOS ESTUDIADOS SERAN AD-HOC O BASADOS EN REDUCCIONES A SAT / MAXSAT, POR OTRO LADO, TAMBIEN PLANEAMOS CONSIDERAR UN ENFOQUE PARA TRABAJAR CON INFORMACION INCONSISTENTE BASADA EN EXTENSIONES DE MODELOS DE ARGUMENTACION, INCORPORANDO NUEVAMENTE INFORMACION INCIERTA E INCONSISTENTE, DEFINIREMOS MODELOS DE ARGUMENTACION Y ALGORITMOS PARA ELLOS, TRATANDO DE IDENTIFICAR CASOS ESPECIALES QUE PUEDAN RESOLVERSE CON ALGORITMOS EFICIENTES, TAMBIEN PLANEAMOS ESTUDIAR ALGORITMOS DE INFERENCIA APROXIMADOS PARA ESTOS PROBLEMAS, BASADOS EN METODOS DE APRENDIZAJE AUTOMATICO, COMO DOMINIO DE APLICACION, PLANEAMOS PROBAR NUESTROS MODELOS Y ALGORITMOS EN DIFERENTES PROBLEMAS RELACIONADOS CON EL ANALISIS DE DISCUSIONES Y FORUMS DE COMENTARIOS EN DIFERENTES REDES SOCIALES, DONDE LA INCONSISTENCIA ES UNA PROPIEDAD MUY COMUN EN ESTOS ESCENARIOS, PERO TAMBIEN PODEMOS ENCONTRAR INFORMACION INCIERTA, YA QUE NO TODOS LOS DATOS QUE ENCONTRAMOS EN ELLOS SIEMPRE SE CREEN QUE TIENEN LA MISMA FUERZA, EL PRIMER SUBPROYECTO SE CENTRARA, PRINCIPALMENTE, EN LOS ASPECTOS TEORICOS DEL PROYECTO Y SU PRINCIPAL ACTIVIDAD SERA LA DEFINICION DE NUEVOS FORMALISMOS LOGICOS Y SISTEMAS DE INFERENCIA PARA TRATAR INCONSISTENCIAS EN DIFERENTES ESCENARIOS, ALGUNOS DE LOS PROBLEMAS TEORICOS QUE PROPONEMOS SURGEN DE NUESTRA EXPERIENCIA EN EL DESARROLLO DE PROCEDIMIENTOS DE PRUEBA Y EN LA RESOLUCION DE PROBLEMAS DE OPTIMIZACION COMBINATORIA COMPLEJOS, LOGICAS NO CLASICAS\LOGICA FUZZY\INCONSISTENT INFORMACION INCONSISTENTE\MAXSAT\MODELOS ARGUMENTACION\REDES SOCIALES ver más
01/01/2019
CSIC
94K€
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 2019-01-01
Presupuesto El presupuesto total del proyecto asciende a 94K€
Líder del proyecto
AGENCIA ESTATAL CONSEJO SUPERIOR DE INVESTIGA... No se ha especificado una descripción o un objeto social para esta compañía.
Perfil tecnológico TRL 2-3 552M