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

TIN2009-14704-C03-01

Financiado

Cerrado

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

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

UDL

Lider

Proyectos interesantes

TIN2009-14704-C03-03

Artificial Inte...

Data Science

82K€ Cerrado

PID2019-111544GB-C21

Data Science

Artificial Inte...

94K€ Cerrado

TIN2012-39348-C02-01

Software

Data Science

45K€ Cerrado

PID2020-113903RB-I00

Artificial Inte...

Data Science

51K€ Cerrado

TIN2010-15055

Data Science

Software

30K€ Cerrado

PGC2018-095869-B-I00

Artificial Inte...

Data Science

97K€ Cerrado

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

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

Presupuesto del proyecto 162K€

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

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

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores