Innovating Works

TIN2009-14562-C05-01

Financiado
FUNDAMENTOS Y EXTENSIONES DE LA TECNOLOGIA ANSWER SET PROGRAMMING
EL PROYECTO SE ENFOCA HACIA EL ESTUDIO DE LOS FUNDAMENTOS LOGICOS DELRECIENTE PARADIGMA DECLARATIVO DE RESOLUCION DE PROBLEMAS CONOCIDOCOMO PROGRAMACION CON CONJUNTOS RESPUESTA, (EN INGLES ANSWER SETPROGRAMMING ASP), EN DISTINTAS... EL PROYECTO SE ENFOCA HACIA EL ESTUDIO DE LOS FUNDAMENTOS LOGICOS DELRECIENTE PARADIGMA DECLARATIVO DE RESOLUCION DE PROBLEMAS CONOCIDOCOMO PROGRAMACION CON CONJUNTOS RESPUESTA, (EN INGLES ANSWER SETPROGRAMMING ASP), EN DISTINTAS EXTENSIONES DE SU LENGUAJE PARAADMITIR LA INCERTIDUMBRE ASI COMO OPERADORES MODALES O TEMPORALES, ASICOMO EN METODOS DE RAZONAMIENTO SOBRE ONTOLOGIAS Y TODOS AQUELLOSNECESARIOS PARA ESPECIFICAR Y VERIFICAR PROTOCOLOS DE ORGANIZACIONESVIRTUALES,ENTRE LOS FUNDAMENTOS, POR UNA PARTE CONSIDERAREMOS MECANISMOS BASADOSEN ESTRUCTURAS ALGEBRAICAS GENERALIZADAS PARA FORMALIZAR ELRAZONAMIENTO APROXIMADO CON DATOS INCOMPLETOS Y/O IMPRECISOS; POR OTRAPARTE, PROFUNDIZAREMOS EN EL ESTUDIO DE LOGICAS APLICADAS, ENPARTICULAR, DE LA LOGICA DE EQUILIBRIO, CON LA INTENCION DE PODEROBTENER EXTENSIONES ADECUADAS DE ASP A CONTEXTOS DIFUSOS, TEMPORALES OCAUSALES,DESDE EL PUNTO DE VISTA DE LAS APLICACIONES, EL PROYECTO SE ORIENTA ADOMINIOS TALES COMO LA VERIFICACION DE PROGRAMAS Y EL MODELADO DE ORGANIZACIONES VIRTUALES, BASANDONOS EN LASEXTENSIONES OBTENIDAS DEL LENGUAJE DE ACCIONES DE ASP, SE DESARROLLARAUNA PLATAFORMA DE SOFTWARE QUE INCLUYA LAS HERRAMIENTAS DE RAZONAMIENTO DESARROLLADAS, ESTAS SE COMPROBARAN MEDIANTE LA CREACION DE DISTINTOS ESCENARIOS DE APLICACION QUE INVOLUCREN, ENTRE OTROS, LOS DOMINIOS SOCIALES,LA PRESENTE PROPUESTA AUNA CINCO EQUIPOS DE INVESTIGADORES PROCEDENTES DE DISTINTAS UNIVERSIDADES ESPAÑOLAS, QUE CUENTAN CON UNA CONTRASTADA EXPERIENCIA EN LINEAS DE INVESTIGACION COMPLEMENTARIAS Y HACEN USO DE METODOS QUE ABARCAN CAMPOS DE LAS MATEMATICAS, LA LOGICA, LA COMPUTACION Y LA INTELIGENCIA ARTIFICIAL, PROGRAMACION CON CONJUNTOS RESPUESTA\LOGICAS NO CLASICAS; RAZONAMIENTO NO MON\REPRESENTACION DEL CONOCIMIENTO\SISTEMAS MULTI-AGENTE\RAZONAMIENTO CUALITATIVO ver más
01/01/2009
UMA
189K€
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 189K€
Líder del proyecto
UNIVERSIDAD DE MÁLAGA No se ha especificado una descripción o un objeto social para esta compañía.
Total investigadores 1951