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),...
ver más
UNIVERSIDAD DE CÁDIZ
No se ha especificado una descripción o un objeto social para esta compañía.
Total investigadores1448
Fecha límite participación
Sin fecha límite de participación.
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%
Información adicional privada
No hay información privada compartida para este proyecto. Habla con el coordinador.
¿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
Información proyecto TIN2009-14562-C05-03
Líder del proyecto
UNIVERSIDAD DE CÁDIZ
No se ha especificado una descripción o un objeto social para esta compañía.
Total investigadores1448
Presupuesto del proyecto
22K€
Fecha límite de participación
Sin fecha límite de participación.
Descripción del proyecto
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