Descripción del proyecto
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