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-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... ver más

01/01/2009

CSIC

82K€

Presupuesto del proyecto: 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.

TRL 2-3 | 552M€

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%

Participantes

CSIC

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-39348-C02-01 ESTUDIO Y DESARROLLO DE TECNOLOGIAS PARA LA RESOLUCION EFICI... 45K€ Cerrado

TIN2009-14704-C03-01 SISTEMAS EFICIENTES DE RAZONAMIENTO AUTOMATICO CON INFORMACI... 162K€ Cerrado

FFI2011-29609-C02-01 CONCIENCIA, LOGICA Y COMPUTACION 58K€ Cerrado

JCI-2009-05453 Non-classical logics for Artificial Intelligence, Many-value... 101K€ Cerrado

InqML Inquisitive Modal Logic 971K€ Cerrado

PGC2018-095869-B-I00 HERRAMIENTAS LOGICAS, ALGEBRAICAS Y DIFUSAS PARA RECURSOS DE... 97K€ Cerrado

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.

TRL 2-3 | 552M€

Presupuesto del proyecto 82K€

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

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores