Innovating Works

TIN2009-14704-C03-03

Financiado
SISTEMAS EFICIENTES DE RAZONAMIENTO AUTOMATICO CON INFORMACION INCOMPLETA BASADO...
SISTEMAS EFICIENTES DE RAZONAMIENTO AUTOMATICO CON INFORMACION INCOMPLETA BASADOS EN SAT Y CSP: FUNDAMENTOS LOGICOS EL OBJETIVO CENTRAL DEL PROYECTO ES EL ESTUDIO Y DESARROLLO DE SISTEMAS EFICIENTES QUE PERMITAN EXTRAER INFORMACION EN EL MARCO DE BASES O FUENTES DE CONOCIMIENTO QUE CONTENGAN INFORMACION INCOMPLETA, CON LO QUE PODRA SER INFORMAC... EL OBJETIVO CENTRAL DEL PROYECTO ES EL ESTUDIO Y DESARROLLO DE SISTEMAS EFICIENTES QUE PERMITAN EXTRAER INFORMACION EN EL MARCO DE BASES O FUENTES DE CONOCIMIENTO QUE CONTENGAN INFORMACION INCOMPLETA, CON LO QUE PODRA SER INFORMACION VAGA E INCONSISTENTE, POR UN LADO, PRETENDEMOS AVANZAR EN EL ESTUDIO DE LOGICAS APROPIADAS PARA DESCRIBIR ESA CLASE DE INFORMACION, PRINCIPALMENTE LOGICAS BASADAS EN T-NORMAS Y EXTENSIONES FUZZY DE LOGICAS DE DESCRIPCION, POR OTRO LADO, PRETENDEMOS AVANZAR EN EL ESTUDIO DE SISTEMAS EFICIENTES DE RAZONAMIENTO AUTOMATICO QUE PERMITAN INFERIR INFORMACION VALIDA A PARTIR DE ESAS FUENTES, EN EL CASO DE PROBLEMAS DE INCONSISTENCIA EN LA INFORMACION EXTRAIDA, LOS PROCEDIMIENTOS DE RAZONAMIENTO PUEDEN LLEGAR A CONCLUIR INFORMACION CONTRADICTORIA, ASI PUES UNO DE NUESTROS OB JETIVOS SERA ESTUDIAR LA APLICACION Y DESARROLLO DE MODELOS ARGUMENTATIVOS QUE PERMITAN JUSTIFICAR ANTE EL USUARIO FINAL LA SOLIDEZ DE LAS CONCLUSIONES OBTENIDAS, PARA ACOTAR AL MAXIMO EL TIEMPO DE RESPUESTA DE LOS SISTEMAS DE RAZONAMIENTO SE ESTUDIARA LA APLICACION DE TRANSFORMACIONES EFICIENTES BASADAS EN LOS PROBLEMAS DE SATISFACTIBILIDAD Y MAXIMA SATISFACTIBILIDAD, PARA LOS QUE EXISTEN ALGORITMOS ALTAMENTE EFICIENTES, FINALMENTE, A TRAVES DEL ESTUDIO DE LA COMPLEJIDAD EN EL CASO PEOR Y EN EL CASO TIPICO ACOTAREMOS LA DIFICULTAD DE RESOLUCION DE CASOS PARTICULARES DE LOS PROBLEMAS DE RAZONAMIENTO, PARA LA COMPLEJIDAD EN EL CASO TIPICO, EMPLEAREMOS TANTO GENERADORES DE PROBLEMAS ARTIFICIALES COMO PROBLEMAS REALES, ACUDIENDO SIEMPRE QUE SEA POSIBLE A ONTOLOGIAS PROVENIENTES DE LA WEB SEMANTICA DONDE PODAMOS INCORPORAR EL TRATAMIENTO DE LA INFORMACION IMPRECISA SIGUIENDO LAS LOGICAS DE DESCRIPCION FUZZY QUE ESTUDIEMOS, LOGICAS BORROSAS\RAZONAMIENTO AUTOMATICO\SAT\CSP\INFORMACION INCOMPLETA\INCERTIDUMBRE\ARGUMENTACION\LOGICAS DE DESCRIPCION\COMPLEJIDAD COMPUTACIONAL\RAZONAMIENTO TRATABLE ver más
01/01/2009
82K€
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 2009-01-01
Presupuesto El presupuesto total del proyecto asciende a 82K€
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