Innovating Works

TIN2009-14562-C05-03

Financiado
FEAST: FUNDAMENTOS Y EXTENSIONES DE LA TECNOLOGIA ANSWER SET PROGRAMMING
EL PROYECTO SE ENFOCA HACIA EL ESTUDIO DE LOS FUNDAMENTOS LOGICOS DEL RECIENTE PARADIGMA DECLARATIVO DE RESOLUCION DE PROBLEMAS CONOCIDO COMO <<PROGRAMACION CON CONJUNTOS RESPUESTA>>, (EN INGLES <<ANSWER SET PROGRAMMING>> ASP),... EL PROYECTO SE ENFOCA HACIA EL ESTUDIO DE LOS FUNDAMENTOS LOGICOS DEL RECIENTE PARADIGMA DECLARATIVO DE RESOLUCION DE PROBLEMAS CONOCIDO COMO <<PROGRAMACION CON CONJUNTOS RESPUESTA>>, (EN INGLES <<ANSWER SET PROGRAMMING>> ASP), EN DISTINTAS EXTENSIONES DE SU LENGUAJE PARA ADMITIR LA INCERTIDUMBRE ASI COMO OPERADORES MODALES O TEMPORALES, ASI COMO EN METODOS DE RAZONAMIENTO SOBRE ONTOLOGIAS Y TODOS AQUELLOS NECESARIOS PARA ESPECIFICAR Y VERIFICAR PROTOCOLOS DE ORGANIZACIONES VIRTUALES,ENTRE LOS FUNDAMENTOS, POR UNA PARTE CONSIDERAREMOS MECANISMOS BASADOS EN ESTRUCTURAS ALGEBRAICAS GENERALIZADAS PARA FORMALIZAR EL RAZONAMIENTO APROXIMADO CON DATOS COMPLETOS Y/O IMPRECISOS; POR OTRA PARTE, PROFUNDIZAREMOS EN EL ESTUDIO DE LOGICAS APLICADAS, EN PARTICULAR, DE LA LOGICA DE EQUILIBRIO, CON LA INTENCION DE PODER OBTENER EXTENSIONES ADECUADAS DE ASP A CONTEXTOS DIFUSOS, TEMPORALES O CAUSALES,DESDE EL PUNTO DE VISTA DE LAS APLICACIONES, EL PROYECTO SE ORIENTA A DOMINIOS TALES COMO LA VERIFICACION DE PROGRAMAS, SERVICIOS DE WEB SEMANTICA Y EL MODELADO DE ORGANIZACIONES VIRTUALES, BASANDONOS EN LAS EXTENSIONES OBTENIDAS DEL LENGUAJE DE ACCIONES DE ASP, SE DESARROLLARA UNA PLATAFORMA DE SOFTWARE QUE INCLUYA LAS HERRAMIENTAS DE RAZONAMIENTO, PPROGRAMACION CON CONJUNTOS RESPUESTA; L\REPRESENTACION DEL CONOCIMIENTO\SISTEMAS MULTI-AGENTE\RAZONAMIENTO CUALITATIVO ver más
01/01/2009
UCA
22K€
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 2009-01-01
Presupuesto El presupuesto total del proyecto asciende a 22K€
Líder del proyecto
UNIVERSIDAD DE CÁDIZ No se ha especificado una descripción o un objeto social para esta compañía.
Total investigadores 1444