Hola,
¿eres nuevo aquí?

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

TIN2012-39353-C04-01

Financiado

RAZONAMIENTO FORMAL PARA PROBLEMAS DE SOSTENIBILIDAD

EL OBJETIVO DE ESTE PROYECTO ES ESTUDIAR Y DESARROLLAR DIVERSAS TECNICAS DE RAZONAMIENTO FORMAL QUE PUEDEN SER APROPIADAS PARA APLICACIONES CON IMPACTO SOCIAL COMO PUEDEN SER LAS RELACIONAS CON PROBLEMAS DE SOSTENIBILIDAD, AUNQUE... ver más

01/01/2012

UMA

30K€

Presupuesto del proyecto: 30K€

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

Financiación concedida El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2012-01-01

0% 100%

Participantes

UMA

Lider

Proyectos interesantes

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

PID2021-126605NB-I00 NUEVA METODOLOGIA HOLISTICA PARA LA CONFIGURACION, COMPARACI... 127K€ Cerrado

MTM2010-17844 MODELIZACION DE LA INCERTIDUMBRE Y LA IMPRECISION EN LA TOMA... 41K€ Cerrado

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

TIN2011-28084 TRATAMIENTO DE LA INCERTIDUMBRE EN INFORMACION SEMIESTRUCTUR... 66K€ Cerrado

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

Últimas noticias

27-11-2024: Videojuegos y creaci... Se abre la línea de ayuda pública: Ayudas para la promoción del sector del videojuego, del pódcast y otras formas de creación digital

27-11-2024: DGIPYME En las últimas 48 horas el Organismo DGIPYME ha otorgado 1 concesiones

27-11-2024: FUNDACION-EOI En las últimas 48 horas el Organismo FUNDACION EOI ha otorgado 2 concesiones

Líder del proyecto

UNIVERSIDAD DE MÁLAGA

Total investigadores 1951

Presupuesto del proyecto 30K€

Descripción del proyecto EL OBJETIVO DE ESTE PROYECTO ES ESTUDIAR Y DESARROLLAR DIVERSAS TECNICAS DE RAZONAMIENTO FORMAL QUE PUEDEN SER APROPIADAS PARA APLICACIONES CON IMPACTO SOCIAL COMO PUEDEN SER LAS RELACIONAS CON PROBLEMAS DE SOSTENIBILIDAD, AUNQUE SIN LIMITARNOS A ELLOS. ENTRE OTRAS COSAS, ESTAS TECNICAS DEBERIAN PERMITIR EL RAZONAR CON ASPECTOS COMO PREFERENCIAS, RECURSOS, OPTIMIZACION, ACCIONES, PROYECCIONES TEMPORALES, POLITICAS DE ACTUACION, ACTITUDES COLECTIVAS, GENERACION DE CONOCIMIENTO, REVISION, INCERTIDUMBRE O CONFLICTOS.EN LA FASE DE DESARROLLO DE FUNDAMENTOS, FOREST SE ORIENTARA HACIA EL ESTUDIO DE ESTRUCTURAS MATEMATICAS ADECUADAS PARA EL RAZONAMIENTO BAJO INCERTIDUMBRE, TALES COMO METODOS DIFUSOS PARA SOFT COMPUTING EXTENDIDOS A CONTEXTOS BASADOS EN RETICULOS, ASI COMO SUS ESTRUCTURAS ALGEBRAICAS CORRESPONDIENTES (MULTIRRETICULOS, PARADIGMA MULTI-ADJUNTO, ETC.) POR OTRA PARTE, SE DESARROLLARAN LA LOGICA DE EQUILIBRIO Y LOS LENGUAJES DE PROGRAMACION CON CONJUNTOS-RESPUESTA, ASI COMO OTRAS LOGICAS APLICADAS, A LAS QUE SE AÑADIRAN FUNCIONALIDADES MODALES, TEMPORALES, DIFUSAS Y CAUSALES; TODOS ESTOS CONTEXTOS PODRAN SER COMBINADOS CON ONTOLOGIAS Y TEORIA DE LA ARGUMENTACION.LOS CONCEPTOS, MODELOS Y TECNICAS FUNDAMENTALES DESARROLLADAS SERAN PUESTOS A PRUEBA EN VARIOS DOMINIOS DE APLICACION, INCLUYENDO LA SANIDAD, RECURSOS NATURALES, ENERGIA, POLITICAS DE SEGURIDAD Y EPISTEMOLOGIA SOCIAL. EN ESTE PROYECTO SE HAN IMPLICADO CUATRO GRUPOS DE INVESTIGACION EN OTRAS TANTAS UNIVERSIDADES, CON EXPERIENCIA DIVERSA Y COMPLEMENTARIA, Y COLABORARAN CON PARTICIPANTES EXTERNOS; ENTRE ESTOS COLABORADORES HAY PROGRAMADORES, RESPONSABLES DE DEPARTAMENTOS DE TECNOLOGIA DE LA INFORMACION E INVESTIGADORES INTERNACIONALES RECONOCIDOS.

Conecta tu I+D

Entra hoy

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores