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

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 1962

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 2012-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

UMA

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

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

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 1962

Presupuesto del proyecto 30K€

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

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

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores