Innovating Works

TIN2009-14562-C05-02

Financiado
FUNDAMENTOS Y EXTENSIONES DE LA TECNOLOGIA ANSWER SET
EL PROYECTO SE ENFOCA AL 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 DI... EL PROYECTO SE ENFOCA AL 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 Y EL MODELADO DE ORGANIZACIONES VIRTUALES, BASANDONOS EN LAS EXTENSIONES OBTENIDO DEL LENGUAJE DE ACCIONES DE ASP, SE DESARROLLARA UNA PLATAFORMA DE SOFTWARE QUE INCLUYA LAS HERRAMIENTAS DE RAZONAMIENTO, PROGRAMACION CON CONJUNTOS RESPUESTA\LOGICAS NO CLASICAS\RAZONAMIENTO NO MONOTONO\REPRESENTACION DEL CONOCIMIENTO\SISTEMAS MULTI-AGENTE\WEB SEMANTICA\RAZONAMIENTO CUALITATIVO ver más
01/01/2009
UPM
54K€
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 54K€
Líder del proyecto
UNIVERSIDAD POLITÉCNICA DE MADRID No se ha especificado una descripción o un objeto social para esta compañía.
Total investigadores 3944