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

TIN2015-71799-C2-2-P

Financiado

RAZONAMIENTO, SATISFACCION Y OPTIMIZACION: ARGUMENTACION Y PROBLEMAS

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

01/01/2015

UDL

60K€

Presupuesto del proyecto: 60K€

Líder del proyecto

UNIVERSITAT DE LLEIDA CCT No se ha especificado una descripción o un objeto social para esta compañía.

Sin perfil tecnológico

Fecha límite participación Sin fecha límite de participación.

Financiación concedida El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2015-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

UDL

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

TIN2015-71799-C2-1-P RAZONAMIENTO, SATISFACCION Y OPTIMIZACION 95K€ Cerrado

PID2019-103880RB-I00 SISTEMAS DE TOMA DE DECISIONES EN GRUPO DISRUPTIVOS EN AMBIE... 222K€ Cerrado

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

PID2019-111544GB-C21 SISTEMAS DE INFERENCIA PARA INFORMACION INCONSISTENTE: FUNDA... 94K€ Cerrado

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

TIN2012-39353-C04-04 RAZONAMIENTO FORMAL PARA PROBLEMAS DE SOSTENIBILIDAD 45K€ Cerrado

Líder del proyecto

UNIVERSITAT DE LLEIDA CCT No se ha especificado una descripción o un objeto social para esta compañía.

Sin perfil tecnológico

Presupuesto del proyecto 60K€

Fecha límite de participación Sin fecha límite de participación.

Descripción del proyecto ESTE PROYECTO TIENE COMO OBJETIVO AVANZAR EN EL ESTADO DEL ARTE EN VARIOS ASPECTOS DE LA LOGICA DIFUSA, LA ARGUMENTACION CON LA INCERTIDUMBRE Y LAS PREFERENCIAS, LAS NUEVAS TECNICAS PARA EL SAT / MAXSAT Y SOLUCION DISTRIBUIDA, Y EN SU APLICACION PARA RESOLVER DOS PROBLEMAS REALES: EL ANALISIS DE LAS DISCUSIONES EN LAS REDES SOCIALES PARA DETERMINAR CUALES SON LAS OPINIONES MAS RELEVANTES, Y EL CONTROL DE LOS RECURSOS ENERGETICOS EN LAS REDES DE DISTRIBUCION DE ENERGIA PARA OPTIMIZAR LA SELECCION Y USO DE LOS RECURSOS DE ENERGIA DISPONIBLES MAS ADECUADA EN CADA MOMENTO, TRATANDO DE EQUILIBRAR LOS IMPACTOS ECONOMICOS Y AMBIENTALES, ESTOS DOS PROBLEMAS, AUNQUE DIFERENTES, SON EJEMPLOS DE PROBLEMAS COMPLEJOS QUE NUESTRA SOCIEDAD TIENE QUE ABORDAR HOY EN DIA Y QUE REQUIEREN TECNICAS AVANZADAS DE RAZONAMIENTO, EL MODELADO DE PREFERENCIAS, Y LAS TAREAS DE OPTIMIZACION, PARA ELLO, EN ESTE PROYECTO SE PRETENDE ABORDAR LOS SIGUIENTES OBJETIVOS,EN PRIMER LUGAR, EL DESARROLLO DE UN MARCO, BASADO EN LA LOGICA DIFUSA, E INTEGRANDO RAZONAMIENTO, ARGUMENTACION Y MODELOS DE TOMA DE DECISIONES CAPACES DE HACER FRENTE A CONOCIMIENTO VAGO E INCIERTO, ASI COMO LOS MECANISMOS PARA MANEJAR INFORMACION Y PREFERENCIAS INCONSISTENTES, TAMBIEN SE ESTUDIARAN MECANISMOS DE ARGUMENTACION CON CAPACIDAD DE MANEJAR INFORMACION INCIERTA Y CONFIANZA, EN PARTICULAR, SE INVESTIGARA UNA EXTENSION PROBABILISTICA DEL MARCO DELP,EN SEGUNDO LUGAR, PARA DESARROLLAR TECNICAS BASADAS EN SMT/SAT/MAXSAT PARA RESOLVER DIFERENTES TAREAS DE RAZONAMIENTO Y DE OPTIMIZACION SOBRE ESE MARCO, Y NECESARIOS PARA NUESTROS PROBLEMAS DE APLICACION, EN PARTICULAR, EN EL ENTORNO CLASICO, VAMOS A PRESTAR ATENCION A LA MEJORA DE LAS TECNICAS PARA RESOLVER PROBLEMAS SAT / MAXSAT DE FORMA DISTRIBUIDA, EN CUANTO A MAXSAT AND MINSAT, NUESTRO OBJETIVO ES INVESTIGAR Y APLICAR SOLUCIONADORES BASADOS EN INFERENCIA Y EMPIRICAMENTE COMPARARLOS CON LOS SOLUCIONADORES ACTUALES, EN TERCER LUGAR, UTILIZAR LOS PROBLEMAS REALES ANTERIORES COMO BANCOS DE PRUEBAS PARA COMPROBAR LA APLICABILIDAD DE NUESTROS MODELOS Y HERRAMIENTAS DE RESOLUCION, Y ESTUDIAR SUS FORTALEZAS Y DEBILIDADES, PARA EL ANALISIS DE LOS DEBATES EN LAS REDES SOCIALES, QUEREMOS DESARROLLAR MODELOS BASADOS EN NUESTRO MARCO BASADO EN LA LOGICA DIFUSA, TALES QUE LAS OPINIONES Y LAS RELACIONES ENTRE ELLOS SE PUEDAN MODELAR CON UN RICO CONJUNTO DE CARACTERISTICAS Y LUEGO ANALIZARLOS CON NUESTROS ALGORITMOS DE RAZONAMIENTO, PARA DISCUSIONES DINAMICAS Y DE GRAN TAMAÑO, QUEREMOS COMPROBAR LA IDONEIDAD DE VERSIONES DISTRIBUIDAS DE NUESTROS ALGORITMOS, PARA RESOLVER PROBLEMAS SOBRE EL CONTROL DE LOS RECURSOS ENERGETICOS, QUEREMOS DESARROLLAR MODELOS QUE UTILIZAN LAS CARACTERISTICAS DE NUESTRO MARCO LOGICO QUE PERMITEN MODELAR LA INCERTIDUMBRE, POR EL COMPORTAMIENTO DE LOS RECURSOS ENERGETICOS, Y LAS PREFERENCIAS DEL USUARIO, PARA CONSIDERAR LA INTEGRACION DE MULTIPLES OBJETIVOS EN OPOSICION, TENEMOS LA INTENCION DE INTEGRAR ESTE NUEVO ENFOQUE DE MODELADO EN EL MARCO GENERAL DE LOS ALGORITMOS DE APRENDIZAJE POR REFUERZO,EN ESTE SEGUNDO SUB-PROYECTO NOS CENTRAMOS MAS EN EL DESARROLLO DE HERRAMIENTAS DE RESOLUCION FINALES QUE UTILIZAN MODELOS DESARROLLADOS EN EL PRIMER SUB-PROYECTO, PERO ESTUDIANDO SU ADAPTACION A LOS DOMINIOS DE PROBLEMAS PARTICULARES QUE ESTUDIAMOS AQUI, RAZONAMIENTO\SATISFACCIÓN\OPTIMIZACIÓN\LÓGICA FUZZY\ARGUMENTACIÓN\REDES SOCIALES\CONTROL DE RECURSOS ENERGÉTICOS

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores