Hola,
¿eres nuevo aquí?

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

TIN2009-14704-C03-01

Financiado

SISTEMAS EFICIENTES DE RAZONAMIENTO AUTOMATICO CON INFORMACION INCOMPLETA E IMPR...

SISTEMAS EFICIENTES DE RAZONAMIENTO AUTOMATICO CON INFORMACION INCOMPLETA E IMPRECISA BASADOS EN SAT Y CSP: DISEÑO E IMPLEMENTACION 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... ver más

01/01/2009

UDL

162K€

Presupuesto del proyecto: 162K€

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

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

0% 100%

Participantes

UDL

Lider

Proyectos interesantes

TIN2009-14704-C03-03 SISTEMAS EFICIENTES DE RAZONAMIENTO AUTOMATICO CON INFORMACI... 82K€ Cerrado

TIN2012-39348-C02-01 ESTUDIO Y DESARROLLO DE TECNOLOGIAS PARA LA RESOLUCION EFICI... 45K€ Cerrado

TIN2009-14562-C05-05 FUNDAMENTOS Y EXTENSIONES DE LA TECNOLOGIA ANSWER SET PROGRA... 54K€ Cerrado

TIN2009-14562-C05-01 FUNDAMENTOS Y EXTENSIONES DE LA TECNOLOGIA ANSWER SET PROGRA... 189K€ Cerrado

RYC-2016-19799 Automatic Decision-Making under Partial, Incomplete, Uncerta... 309K€ Cerrado

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

Últimas noticias

29-11-2024: IDAE En las últimas 48 horas el Organismo IDAE ha otorgado 4 concesiones

29-11-2024: ECE En las últimas 48 horas el Organismo ECE ha otorgado 2 concesiones

29-11-2024: CMVAMADRID En las últimas 48 horas el Organismo CMVAMADRID ha otorgado 37 concesiones

Líder del proyecto

UNIVERSITAT DE LLEIDA CCT

Sin perfil tecnológico

Presupuesto del proyecto 162K€

Descripción del proyecto 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 OBJETIVOS 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 VAGUEDAD SIGUIENDO LAS LOGICAS DE DESCRIPCION FUZZY QUE ESTUDIEMOS, LOGICAS BORROSAS\RAZONAMIENTO AUTOMATICO\SAT\CSP\INFORMACION INCOMPLETA\INCERTIDUMBRE\COMPLEJIDAD COMPUTACIONAL\RAZONAMIENTO TRATABLE\ARGUMENTACION\LOGICAS DE DESCRIPCION

Conecta tu I+D

Entra hoy

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores