Innovating Works

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... 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. ver más
01/01/2012
CSIC
45K€
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 2012-01-01
Presupuesto El presupuesto total del proyecto asciende a 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.
Perfil tecnológico TRL 2-3 552M