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

TIN2012-39348-C02-01

Financiado

ESTUDIO Y DESARROLLO DE TECNOLOGIAS PARA LA RESOLUCION EFICIENTE DE PROBLEMAS DE...

ESTUDIO Y DESARROLLO DE TECNOLOGIAS PARA LA RESOLUCION EFICIENTE DE PROBLEMAS DE RAZONAMIENTO CON INFORMACION INCOMPLETA 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, VAGA O INCONSISTENTE. DESDE U... ver más

01/01/2012

CSIC

45K€

Presupuesto del proyecto: 45K€

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

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

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

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

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

TIN2010-15055 NUEVO MODELO DE REPRESENTACION Y AGREGACION DE LA INFORMACIO... 30K€ Cerrado

InqML Inquisitive Modal Logic 971K€ 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 45K€

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, VAGA O INCONSISTENTE. DESDE UN PUNTO DE VISTA TE\'ORICO, PRETENDEMOS AVANZAR EN EL ESTUDIO LOGICO Y COMPUTACIONAL DE SISTEMAS APROPIADAS PARA DESCRIBIR ESTA CLASE DE INFORMACION, PRINCIPALMENTE LOGICAS FUZZY BASADAS EN T-NORMAS Y EXTENSIONES MODALES PARA RAZONAR SOBRE PREFERENCIAS E INCERTIDUMBRE, Y LOGICAS DE LA DESCRIPCION FUZZY COMO LENGUAJES DE REPRESENTACION DE CONOCIMIENTO TERMINOLOGICO QUE CONTENGA CONCEPTOS Y RELACIONES BORROSAS. POR OTRO LADO, PRETENDEMOS AVANZAR EN EL ESTUDIO DE SISTEMAS EFICIENTES PARA PROBLEMAS DE RAZONAMIENTO (E.G. CONSECUENCIA, SUBSUNCION) PARA ESTAS LOGICAS QUE PERMITAN INFERIR INFORMACION VALIDA A PARTIR DE ESAS FUENTES. EN EL CASO DE PROBLEMAS DE INCONSISTENCIA EN LA INFORMACION, UNO DE NUESTROS OBJETIVOS SERA TAMBIEN PROFUNDIZAR EN LA APLICACION Y DESARROLLO DE MODELOS ARGUMENTATIVOS BASADOS EN LOGICA QUE SE PUEDAN EXTENDER A ENTORNOS DISTRIBUIDOS, DONDE EL CONOCIMIENTO SE ENCUENTRA DISTRIBUIDO ENTRE DIFERENTES AGENTES. 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, SE ESTUDIARA EL USO DE LOS SISTEMAS DE RAZONAMIENTO ESTUDIADOS Y DESARROLLADOS EN DIFERENTES DOMINIOS DE APLICACION, TALES COMO UN SISTEMA DE RAZONAMIENTO EFECTIVO PARA UNA ARQUITECTURA DE AGENTE BDI GRADUADA, OPTIMIZACION CON PREFERENCIAS, AYUDA EN EL DIAGNOSTICO MEDICO Y GESTION DE DEBATES POLITICOS EN INTERNET.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores