Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

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... ver más

01/01/2019

CSIC

94K€

Presupuesto del proyecto: 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.

TRL 2-3 | 552M€

Financiación concedida El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2019-01-01 No tenemos la información de la convocatoria

0% 100%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

Participantes

CSIC

Lider

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Proyectos interesantes

PID2019-111544GB-C22 SISTEMAS DE INFERENCIA PARA INFORMACION INCONSISTENTE: ANALI... 43K€ Cerrado

TIN2015-70266-C2-1-P TECNICAS COMPUTACIONALES ALGEBRAICAS Y DIFUSAS PARA LA SOCIE... 56K€ Cerrado

BLaSt Better Languages for Statistics foundations for non paramet... 2M€ Cerrado

TIN2009-14704-C03-01 SISTEMAS EFICIENTES DE RAZONAMIENTO AUTOMATICO CON INFORMACI... 162K€ Cerrado

JCI-2008-2024 T-Norm Based Fuzzy Logics and Their Application to Reasoning... 101K€ Cerrado

TIN2013-41086-P LOGICA COMPUTACIONAL PARA LA CIENCIA DEL DATO 45K€ Cerrado

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.

TRL 2-3 | 552M€

Presupuesto del proyecto 94K€

Descripción del proyecto 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

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores