A DECLARATIVE APPROACH TO MODELING, ANALYSIS AND PROBLEM SOLVING (Q3140251)
Jump to navigation
Jump to search
Project Q3140251 in Spain
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A DECLARATIVE APPROACH TO MODELING, ANALYSIS AND PROBLEM SOLVING |
Project Q3140251 in Spain |
Statements
24,916.32 Euro
0 references
31,145.4 Euro
0 references
80.0 percent
0 references
1 January 2014
0 references
31 December 2016
0 references
UNIVERSIDAD DE CASTILLA-LA MANCHA
0 references
38°59'42.32"N, 1°51'21.31"W
0 references
02003
0 references
LOS PROBLEMAS DE DECISION Y DE OPTIMIZACION DUROS ESTAN PRESENTES EN MUCHAS APLICACIONES DE LAS HERRAMIENTAS INFORMATICAS. ALGUNOS DE LOS DESAFIOS A RESPONDER SON: ¿COMO PROGRAMAMOS UNA LIGA DEPORTIVA PROFESIONAL? ¿ES UN PROTOCOLO CRIPTOGRAFICO SEGURO? ¿HAY DATOS DE ENTRADA QUE CAUSEN QUE UN PROGRAMA SE CUELGUE O PRODUZCA UNA SALIDA EQUIVOCADA? ¿CUAL ES LA FRANJA HORARIA MAS CONVENIENTE PARA UNA VIDEOCONFERENCIA? ¿COMO SE PUEDE DEFINIR UN CONTROL DE ADMISION FLEXIBLE PARA OVERBOOKING SEGURO PARA LA COMPUTACION EN NUBE? ¿COMO SE PUEDE DEFINIR UNA CATALOGACION DE TEXTOS Y RECUPERACION DE LA INFORMACION FLEXIBLES PARA LA WEB (SEMANTICA)?._x000D_ UN ENFOQUE DECLARATIVO PARA RESOLVER ESTE TIPO DE PROBLEMAS CONSISTE EN MODELAR EL PROBLEMA EN ALGUN MARCO LOGICO Y LUEGO APLICAR POTENTES TECNICAS BASADAS EN LA LOGICA PARA ANALIZAR Y/O RESOLVER EL MODELO RESULTANTE. EN ESTE CONTEXTO, LOS PROBLEMAS A MENUDO SE PUEDEN FORMULAR UTILIZANDO FORMULAS MATEMATICAS U OTROS LENGUAJES BASADOS EN LOGICA. UNA VEZ QUE EL PROBLEMA SE EXPRESA EN EL LENGUAJE CORRESPONDIENTE, PODEMOS UTILIZAR TECNICAS GENERALES EXISTENTES O CREAR OTRAS NUEVAS PARA RESOLVERLO. CUANDO SE APLICA ESTE ENFOQUE A NUESTROS PROBLEMAS ESPECIFICOS, ES POSIBLE QUE NECESITEMOS UTILIZAR ALGUNAS DE SUS PARTICULARIDADES CON EL FIN DE MEJORAR SU RENDIMIENTO. SIN EMBARGO, GRACIAS A LA ABSTRACCION INICIAL DE LOS PROBLEMAS PARTICULARES A LOS PROBLEMAS GENERALES EXPRESADOS EN UN LENGUAJE DETERMINADO, ESTE "ENFOQUE DECLARATIVO" HACE EL DESARROLLO DE HERRAMIENTAS PARA RESOLVER PROBLEMAS REALES DUROS MUCHO MAS FACIL Y RAPIDO._x000D_ COMO MARCOS LOGICOS USAREMOS PRINCIPALMENTE (EXTENSIONES DE) LA LOGICA PROPOSICIONAL Y LA DE PRIMER ORDEN. EN PARTICULAR, VAMOS A CONSIDERAR: SAT (SATISFACCION DE FORMULAS PROPOSICIONALES), SAT MODULO TEORIAS (SMT), PROGRAMACION CON RESTRICCIONES (CP), LOGICA DIFUSA (FL), LOGICA DE REESCRITURA (RWL), PROGRAMACION LOGICA (LP), Y PROGRAMACION LOGICA DIFUSA (FLP). EN ESTE PROYECTO NOS CENTRAREMOS EN LA COMBINACION Y LA EXTENSION DE ESTOS EXITOSOS LENGUAJES FORMALES PARA CONSEGUIR LA EXPRESIVIDAD NECESARIA PARA NUESTRAS APLICACIONES PRACTICAS._x000D_ GUIADOS POR APLICACIONES DE PROGRAMACION Y PLANIFICACION, DE SEGURIDAD, DE AGENTES, DE MACHINE LEARNING, PARA EL ANALISIS DE PROGRAMAS CONCURRENTES, PARA LA BIOINFORMATICA O PARA LA MANIPULACION DE XML, DESARROLLAREMOS ALGORITMOS Y HERRAMIENTAS EFICIENTES PARA RESOLVER LOS PROBLEMAS DESCRITOS EN LOS MARCOS LOGICOS ANTERIORES._x000D_ COMO APLICACIONES CONSIDERAMOS: (A) LA PROGRAMACION DE DEPORTES COMO SE HACE CON HYPERCUBE Y LA KNVB (PAISES BAJOS), (B) EL ANALISIS DE PROGRAMAS EN COLABORACION CON MICROSOFT RESEARCH EN CAMBRIDGE, (C) LA EVALUACION DE LAS SECUENCIAS DE TRANSCRIPCION, EN COLABORACION CON EL CENTRO DE REGULACION GENOMICA (CRG) DE BARCELONA, (D) LA SEGURIDAD EN COLABORACION CON LA UNIVERSIDAD DE ILLINOIS EN URBANA-CHAMPAIGN (UIUC) Y EL LABORATORIO DE INVESTIGACION NAVAL EN WASHINGTON, (E) LAS NUEVAS FUNCIONALIDADES EN EL LENGUAJE MAUDE CON UIUC Y SRI INTERNATIONAL EN CALIFORNIA, (F) EL DESCUBRIMIENTO DE CONOCIMIENTO Y LA MANIPULACION FLEXIBLE DE LOS DATOS EXTRAIDOS DE LA WEB, EN COLABORACION CON LA UNIVERSIDAD DE ALMERIA, Y (G) LA PLANIFICACION DIFUSA PARA EL USO DE RECURSOS EN LOS CENTROS DE DATOS EN LA NUBE CON LA UNIVERSIDAD DE UMEA._x000D_ POR TANTO, ESTE ES UN PROYECTO QUE ABARCA TODO EL CAMINO EN EL DESARROLLO Y APLICACION DE TECNOLOGIAS INFORMATICAS DESDE LA TEORIA Y LAS TECNICAS BASICAS HASTA LOS PROBLEMAS DE IMPACTO INDUSTRIAL Y SOCIAL. (Spanish)
0 references
HARD DECISION AND OPTIMISATION ISSUES ARE PRESENT IN MANY APPLICATIONS OF COMPUTER TOOLS. SOME OF THE CHALLENGES TO RESPOND ARE: HOW DO WE SCHEDULE A PROFESSIONAL SPORTS LEAGUE? IS IT A SECURE CRYPTOGRAM PROTOCOL? ARE THERE INPUT DATA THAT CAUSE A PROGRAM TO HANG OR PRODUCE A WRONG OUTPUT? WHAT IS THE MOST CONVENIENT TIME ZONE FOR A VIDEO CONFERENCE? HOW CAN YOU DEFINE A FLEXIBLE ADMISSION CONTROL FOR SECURE OVERBOOKING FOR CLOUD COMPUTING? How can a CATALOGY OF TEXTS AND RECOVERY FLEXIBLE INFORMATION FOR THE WEB (semantic)?._x000D_ A specific focus to resolve this type of projection consist of modelling the proBLEM in a LOGICAL framework and I have to apply technical tools based on the logistics to analyse and/or resolve the prevailing pattern. IN THIS CONTEXT, PROBLEMS CAN OFTEN BE FORMULATED USING MATHEMATICAL FORMULAS OR OTHER LANGUAGES BASED ON LOGIC. ONCE THE PROBLEM IS EXPRESSED IN THE CORRESPONDING LANGUAGE, WE CAN USE EXISTING GENERAL TECHNIQUES OR CREATE NEW ONES TO SOLVE IT. WHEN APPLYING THIS APPROACH TO OUR SPECIFIC PROBLEMS, WE MAY NEED TO USE SOME OF YOUR PARTICULARITIES IN ORDER TO IMPROVE YOUR PERFORMANCE. However, THANKINGS TO THE INICIAL ABSTRACTION OF PARTICULAR PROBLEMS TO GENERAL PROBLEMS EXPRESSED IN A Determined Language, This “DECLARATIVE FOLLOW” DEVELOPMENT OF TOOLS TO RESOLVE REAL PROBLEMS DURY MUCH MUCH MORE FACILY AND RAPIED._x000D_ AS MARKS LOGICAS USE PRINCIPLY (EXTENSIONS OF) THE propositional LOGICA AND THE FIRST ORDER. IN PARTICULAR, WE WILL CONSIDER: SAT (SATISFACTION OF PROPOSITIONAL FORMULAS), SAT THEORY MODULE (SMT), PROGRAMMING WITH RESTRICTIONS (CP), DIFFICULT LOGIC (FL), REWRITING LOGIC (RWL), LOGIC PROGRAMMING (LP), AND DIFFICULT LOGIC PROGRAMMING (FLP). In this project we will focus on the combination and extension of these forms of language to ensure the expression needed for our PRACTICAL APPLICATIONS._x000D_ GUIDED BY PROGRAMME AND PLANIFICATION APPLICATIONS, security, AGENTS, MACHINE LEARNING, FOR CONCURRENT PROGRAMME ANALISIS, FOR BIOINFORMATIC OR FOR THE MANIPULATION OF XML, we will develop effective ALGORITMS AND TOOLS to resolve the descrit PROBLEMS IN ANTERIAL LOGIC FRAMETS._x000D_ AS APPLICATIONS CONSIDERAMES: (A) THE SPORT PROGRAMME OF HIGHcube AND KNVB (LETHER PAISES), (B) THE ANALISIS OF PROGRAMMES IN COLABORATION WITH MICROSOFT RESEARCH IN CAMBRIDGE, (C) THE EVALUATION OF TRANSCRIPCTION SECUTIONS, in conjunction with the BARCELONA GENOMIC REGULATION CENTRE (CRG), (D) SECURITY IN COLABORATION WITH the UNIVERSITY OF ILLINOIS IN URBANA-CHAMPAIGN (UIUC) and the NAVAL RESEARCHING LABORATORY IN WASHINGTON, (E) NEW FUNCIONALITIES IN THE MAUDE LANGUAGE WITH UIUC AND SRI INTERNATIONAL IN CALIFORNIA, (F) THE DISCOUNTING OF KNOWING AND THE FLEXIBLE MANIPUATION OF THE DATA EXTRATED OF THE WEBSITE, IN COLLABORATION WITH THE UNIVERSITY OF ALMERIA, and (g) DIFUS PLANIFICATION FOR THE USE OF RESOURCES IN DATA CENTRES IN THE NUBE WITH UMEA UNIVERSITY._x000D_ BY QUESTIONS, THIS IS A PROJECT TO CUSTOME ALL WARNING IN THE DEVELOPMENT AND APPLICATION OF INFORMATIC TECHNOLOGIES FROM THE THEORY AND THE BASIC TECHNICAL TECHNICAL PROBLEMS OF INDUSTRIAL and SOCIAL IMPACT. (English)
12 October 2021
0 references
Albacete
0 references
Identifiers
TIN2013-45732-C4-2-P
0 references