Hola,
¿eres nuevo aquí?

Registrate y conecta tu empresa con financiación pública, partners y proyectos.

TIN2015-71799-C2-1-P

Financiado

RAZONAMIENTO, SATISFACCION Y OPTIMIZACION

ESTE PROYECTO TIENE COMO OBJETIVO AVANZAR EL ESTADO DEL ARTE EN VARIOS ASPECTOS DE LOGICA DIFUSA, EN ARGUMENTACION CON INCERTIDUMBRE, EN EL MODELADO DE PREFERENCIAS, EN NUEVAS TECNICAS PARA SAT / MAXSAT Y RESOLUCION DISTRIBUIDA, A... ver más

01/01/2015

CSIC

95K€

Presupuesto del proyecto: 95K€

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 2015-01-01

0% 100%

Participantes

CSIC

Lider

Proyectos interesantes

TIN2015-71799-C2-2-P RAZONAMIENTO, SATISFACCION Y OPTIMIZACION: ARGUMENTACION Y P... 60K€ Cerrado

PID2021-122274OB-I00 RAZONAMIENTO Y APRENDIZAJE 68K€ Cerrado

TIN2010-20976-C02-02 METAHEURISTICAS PARA LA ESTABILIDAD Y ROBUSTEZ EN SCHEDULING... 90K€ Cerrado

TIN2014-55024-P MODELOS DE OPTIMIZACION Y DECISION: APLICACIONES Y SOLUCIONE... 74K€ Cerrado

TIN2012-39353-C04-01 RAZONAMIENTO FORMAL PARA PROBLEMAS DE SOSTENIBILIDAD 30K€ Cerrado

BES-2011-049410 EL MODELADO LINGUISTICO DIFUSO DE PREFERENCIAS: APLICACIONES... 43K€ Cerrado

Últimas noticias

29-11-2024: IDAE En las últimas 48 horas el Organismo IDAE ha otorgado 4 concesiones

29-11-2024: ECE En las últimas 48 horas el Organismo ECE ha otorgado 2 concesiones

29-11-2024: CMVAMADRID En las últimas 48 horas el Organismo CMVAMADRID ha otorgado 37 concesiones

Líder del proyecto

AGENCIA ESTATAL CONSEJO SUPERIOR DE INVESTIGA...

TRL 2-3 | 552M€

Presupuesto del proyecto 95K€

Descripción del proyecto ESTE PROYECTO TIENE COMO OBJETIVO AVANZAR EL ESTADO DEL ARTE EN VARIOS ASPECTOS DE LOGICA DIFUSA, EN ARGUMENTACION CON INCERTIDUMBRE, EN EL MODELADO DE PREFERENCIAS, EN NUEVAS TECNICAS PARA SAT / MAXSAT Y RESOLUCION DISTRIBUIDA, ASI COMO EN SU APLICACION A DOS PROBLEMAS REALES: ANALISIS DE DISCUSIONES EN REDES SOCIALES PARA DETERMINAR CUALES SON LAS OPINIONES MAS RELEVANTES, Y EL CONTROL DE RECURSOS ENERGETICOS CON ESTRATEGIAS DE DECISION PARA, EN CADA MOMENTO, OPTIMIZAR LA SELECCION DE RECURSOS EN UNA RED, TRATANDO DE EQUILIBRAR IMPACTOS ECONOMICOS Y AMBIENTALES, ESTOS DOS PROBLEMAS, AUNQUE DIFERENTES, SON EJEMPLOS DE PROBLEMAS COMPLEJOS EN NUESTRA SOCIEDAD DE HOY EN DIA, Y QUE REQUIEREN TECNICAS AVANZADAS DE RAZONAMIENTO, DE MODELADO DE PREFERENCIAS, Y DE TAREAS DE OPTIMIZACION, PARA ELLO, EN ESTE PROYECTO SE PRETENDE ABORDAR LOS SIGUIENTES OBJETIVOS, EN PRIMER LUGAR, SE ABORDARA EL DESARROLLO DE UN MARCO UNIFORME, BASADO EN LOGICA DIFUSA LOGICA, QUE INTEGRE MODELOS DE RAZONAMIENTO, ARGUMENTACION Y DE TOMA DE DECISIONES CAPACES DE TRATAR CONOCIEMIENTO VAGO E INCIERTO, ASI COMO MECANISMOS PARA MANEJAR INFORMACION INCONSISTENTE, PARA ELLO, ESTUDIAREMOS EXTENSIONES DE LOGICAS BASADAS EN T-NORMA CON MULTIPLES MODALIDADES, CADA UNA REPRESENTANDO UNA NOCION INTENSIONAL COMO INCERTIDUMBRE, PREFERENCIA, CONFIANZA O APROXIMACION, SE ESTUDIARAN TAMBIEN MODELOS DE ARGUMENTACION QUE TOMEN EN CONSIDERACION INFORMACION PESADA, DONDE LOS PESOS PUEDEN REFERIR TANTO A GRADOS DE INCERTIDUMBRE COMO A GRADOS DE CONFIANZA Y REPUTACION DE LA FUENTE DE INFORMACION,EN SEGUNDO LUGAR, SE DESARROLLARAN TECNICAS EFICIENTES BASADAS EN SAT, MAXSAT O SMT PARA RESOLVER DIFERENTES TAREAS DE RAZONAMIENTO Y DE OPTIMIZACION EN EL MARCO LOGICO ANTERIOR, Y NECESARIAS PARA NUESTRAS APLICACIONES, ADEMAS DE MEJORAR TECNICAS PARA RESOLVER PROBLEMAS SAT/MAXSAT DE FORMA DISTRIBUIDA, QUEREMOS ESTUDIAR COMO LOS ALGORITMOS DE REPRESENTACION DE GRAFOS SE PUEDEN UTILIZAR PARA MODELAR LA ESTRUCTURA INTRINSECA O TOPOLOGIA DE INSTACIAS SAT INDUSTRIALES, PARA LUEGO EXPLOTARLA EN RESOLVEDORES ESPECIALIZADOS, EN CUANTO A MAXSAT/MINSAT, EL OBJETIVO ES INVESTIGAR Y APLICAR RESOLVEDORES BASADOS EN LA INFERENCIA, Y COMPARARLOS EMPIRICAMENTE CON LOS SOLVERS ACTUALES, EN EL CASO MULTI-VALUADO FINITO, EL OBJETIVO ES EXTENDER TECNICAS EFICIENTES DE RESOLUCION MAXSAT/MINSAT AL MARCO DE FORMULAS CNF CON SIGNOS, MIENTRAS QUE EN EL CASO INFINITAMENTE VALUADO DESARROLLAREMOS METODOS BASADOS EN SMT,EN TERCER LUGAR, SE UTILIZARAN LOS PROBLEMAS REALES ANTERIORES COMO BANCOS DE PRUEBAS PARA COMPROBAR LA APLICABILIDAD DE NUESTROS MODELOS Y HERRAMIENTAS DE RESOLUCION, ESTUDIANDO SUS FORTALEZAS Y DEBILIDADES, PARA EL ANALISIS DE LOS DEBATES EN LAS REDES SOCIALES, QUEREMOS DESARROLLAR MODELOS DE ARGUMENTACION EN NUESTRO MARCO LOGICO, DE FORMA QUE LAS OPINIONES Y LAS RELACIONES ENTRE ELLAS SE PUEDAN MODELAR SATISFACTORIAMENTE Y LUEGO ANALIZARLAS CON NUESTROS ALGORITMOS DE RAZONAMIENTO, PARA CASOS CON GRAN TAMAÑO DE DATOS, QUEREMOS COMPROBAR LA IDONEIDAD DE VERSIONES DISTRIBUIDAS DE NUESTROS ALGORITMOS, POR OTRA PARTE, EN CUANTO A PROBLEMAS SOBRE EL CONTROL DE LOS RECURSOS ENERGETICOS, QUEREMOS DESARROLLAR MODELOS QUE PERMITAN MODELAR LA INCERTIDUMBRE EN EL COMPORTAMIENTO DE LOS RECURSOS ENERGETICOS, ASI COMO LAS PREFERENCIAS DEL USUARIO, QUE PUEDEN SER MULTIPLES Y CONFLICTIVAS, TENEMOS LA INTENCION DE INTEGRAR ESTE NUEVO ENFOQUE DE MODELADO EN EL MARCO GENERAL DE LOS ALGORITMOS DE APRENDIZAJE POR REFUERZ RAZONAMIENTO\SATISFACCIÓN OPTIMIZACIÓN\LÓGICA MODAL FUZZY\ARGUMENTACIÓN\REDES SOCIALES\CONTROL DE RECURSOS ENERGÉTICOS

Conecta tu I+D

Entra hoy

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores