Innovating Works

TIN2010-20967-C04-01

Financiado
TASSAT: TEORIA, APLICACIONES Y SINERGIA EN SAT, CSP Y FDL
EL PRESENTE PROYECTO GIRA EN TORNO AL PROBLEMA DE LA SATISFACTIBILIDAD EN LOGICA, TANTO EN EL CASO DE LA LOGICA PROPOSICIONAL (SAT), DE LA SATISFACTIBILIDAD DE RESTRICCIONES (CSP), COMO EN EL DE LA EXTENSION DIFUSA DE LA LOGICA DE... EL PRESENTE PROYECTO GIRA EN TORNO AL PROBLEMA DE LA SATISFACTIBILIDAD EN LOGICA, TANTO EN EL CASO DE LA LOGICA PROPOSICIONAL (SAT), DE LA SATISFACTIBILIDAD DE RESTRICCIONES (CSP), COMO EN EL DE LA EXTENSION DIFUSA DE LA LOGICA DE DESCRIPCIONES (FDL), NOS PROPONEMOS REALIZAR AVANCES EN CADA UNO DE LOS TRES CAMPOS APROVECHANDO LA SINERGIA CREADA ENTRE LOS CUATRO GRUPOS EN PROYECTOS CONJUNTOS ANTERIORES, LOS OBJETIVOS CONCRETOS PROPUESTOS EN CADA AREA SON LOS SIGUIENTES,EN SAT PRETENDEMOS ESTUDIAR LA ESTRUCTURA DE LAS INSTANCIAS PROVENIENTES DEL MUNDO INDUSTRIAL, Y APLICAR ESE CONOCIMIENTO AL DESARROLLO DE RESOLUTORES, TANTO DE SAT COMO DE MAXSAT, MAS EFICIENTES, EN CSP PRETENDEMOS CONTRIBUIR AL PROBLEMA DE LA CLASIFICACION DE LAS CLASES DE RESTRICCIONES TRATABLES, TAMBIEN ESTUDIAREMOS ALGORITMOS PARA INSTANCIAS GEOMETRICAS DE MAXCSP E INSTANCIAS ALEATORIAS DE SAT, DE INTERES PARA LA TEORIA DE LA COMPLEJIDAD COMPUTACIONAL, EN FDL ESTUDIAREMOS EL PODER EXPRESIVO Y LA COMPLEJIDAD DE LOS FRAGMENTOS DE LAS LOGICAS DIFUSA DE PRIMER ORDEN CORRESPONDIENTES A LAS LOGICAS DE DESCRIPCIONES Y ALGORITMOS PARA LA SATISFACTIBILIDAD CON ESPECIAL ATENCION AL CASO DE LAS FDLS FINITAMENTE VALUADAS,ESPERAMOS QUE LOS RESULTADOS DE ESTE PROYECTO SE PUBLIQUEN A NIVEL INTERNACIONAL REFORZANDO ASI LA VISIBILIDAD Y PRESTIGIO DE LOS CUATRO GRUPOS QUE LO COMPONEN, SAT\CSP\LOGICAS DIFUSAS ver más
01/01/2010
CSIC
37K€
Perfil tecnológico estimado

Línea de financiación: concedida

El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2010-01-01
Presupuesto El presupuesto total del proyecto asciende a 37K€
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.
Perfil tecnológico TRL 2-3 552M