The main objective of the project is the study and development of efficient systems that allow to extract information in the context of knowledge bases or sources that contain incomplete, vague or inconsistent information. From the theoretical point of view, we intend to advance in the study of appropriate logics to describe vague and uncertain information, mainly t-norm based fuzzy logics and modal extensions to reason about graded preferences and uncertainty, and fuzzy description logics as terminological knowledge representation languages involving fuzzy concepts and relations. On the other hand, we intend to advance the study of efficient systems for reasoning problems (e.g. consequence, subsumption) for these logics. these sources. In problems with inconsistent informa- tion, usual reasoning procedures can reach contradictory conclusions. So one of our goals is also to deepen in the application and development of logical argumentative models which present to the end user justified or warranted conclusions, and to extend these models to distributed environments, where knowledge is distributed between different agents. To limit the maximum response time of the reasoning systems we will also examine the application of efficient transformations based on the problems of satisfiability and maximum satisfiability, for which there are highly efficient algorithms. Finally, we will study the use of reasoning systems studied and developed in different application do- mains, such as effective reasoning in a graded BDI agent architecture, optimization with preferences, decision support in medical diagnosis and management of online political discussions.

The growth of the Internet and the spread of globalization have moved both society and economy from static and hierarchical structures to more dynamic and networked ones. These new structures influence the way in which economic and social players coordinate. The main objective of the COR project is to provide robust coordination mechanisms. That is, to provide computational models that increase the possibilities of reaching successful interactions.

COR is a coordinated project developed researchers of the Artificial Intelligence Research Institute and the University of Barcelona. It is funded by the subprogramme of fundamental non-oriented research projects of the Spanish Ministry of Economy and Competitivity, with codes TIN2012-38876-C02-01 and TIN2012-38876-C02-02 respectively.

The following innovative technology companies are promoting, collaborating in the development and following the results of the COR project:

Incondicionales Sport S.L.
Paradizo Exclusive Travel S.L.
Intelligent Software Components S.A.

Acquired Brain Injury (ABI) constitutes a major and increasing social and healthcare concern of high diagnostic and therapeutic complexity. Its incidence and survival rate after the initial critical phases makes it a prevalent problem that needs to be addressed. ABI patients frequently suffer from a series of cognitive disorders related to memory, attention, language, or executive functions. Cognitive rehabilitation aims to reduce the impact of the disabling conditions in order to reduce functional limitations and increase patient's autonomy. For the rehabilitation process to be more effective, treatments must be intensive, personalized to the patient's condition and evidence-based; and require constant monitoring. The main goal of the IIIA team is the research on new machine learning/CBR techniques able to propose and revise personalized therapies in real-time.

La formulación de la Open Innovation ha supuesto una revolucionaria forma de plantearse el desarrollo de nuevas iniciativas: mediante la creación de entornos colaborativos, se logran sacar adelante proyectos novedosos, de una manera rápida y eficaz.

Ante el éxito de esta nueva filosofía de I+D, se hace posible abordar nuevas problemáticas. En este contexto es en el que emergen nuevas iniciativas, acordes con la situación actual. Por otra parte, también nos debemos situar en un contexto en el que los conceptos de ecología y sostenibilidad empiezan a posicionarse dentro del ámbito de las empresas. De este hecho nace una nueva filosofía de negocio sostenible, en la que se sitúan nuevos proyectos que buscan no sólo ser tolerantes con el medio ambiente, sino jugar un papel activo en lo que al beneficio medioambiental se refiere.

De esta manera surge el concepto de Green Open Innovation, liderado e impulsado por organizaciones pioneras, destinadas a encontrar nuevas maneras de optimizar las tecnologías para así lograr una mayor eficiencia energética (con la futura reducción de costes que ello conlleva) al mismo tiempo que se comparten y proponen acciones ecológicas. En esta línea, tener un entorno de simulación donde implementar ideas de la I+D y transferirlas al mercado dará valor añadido y minimizará los riesgos de aplicación de estas ideas a la realidad, a través de herramientas de generación de informes y análisis de parámetros, gran laguna en este tipo de procesos. En tiempos de crisis, para mejorar o prevenirlos, conseguir herramientas que favorezcan la gestión sostenible y eficiente de los recursos y la generación de valor para las PYMES son la mejor estrategia.

Open Innovation presenta un modelo donde los nuevos productos provienen tanto de fuentes internas como externas, y donde éstas pueden entrar a formar parte del proceso de innovación en todos los puntos de la cadena hasta llegar al producto final. Es decir, la innovación abierta no contempla las innovaciones sólo como input en el proceso, sino también como output.

Alcance
El proyecto que se desarrollará en la presente propuesta tiene como objetivo el estudio, diseño y desarrollo de una plataforma tecnológica basada en las tecnologías de la Información y las Comunicaciones e integrada en el marco del Internet 2.0, para crear un entorno económico alrededor de la sostenibilidad y el medio ambiente, principalmente orientado a PYMES pero también hacia la gran Empresa, sobre una plataforma socio-tecnológica (plataforma de Green Open Innovation) desarrollada en el medio Internet.

El entorno económico ha de facilitar la emergencia de iniciativas conjuntas entre distintas Empresas para la generación e intercambio de ideas y la organización de proyectos conjuntos de I+D+i bajo el paradigma de la Innovación Abierta.

La plataforma se especializará en iniciativas de desarrollo económico (nuevas oportunidades de negocio, nuevos modelos de colaboración) en el marco de la sostenibilidad y la mejora del medio ambiente.

This project pivots around the satisfiability problem for logical languages including propositional logic (SAT), constraint satisfaction problems (CSP), and the fuzzy extension of description logics (FDL). Our purpose is to advance in each of the three areas using the synergy between the four groups that was initiated by previous joint projects. The concrete goals of the proposal are the following.

In SAT we want to study the structure of instances arising in industry, and apply this knowledge to develop more efficient solvers, both for SAT and for MaxSAT. In CSP we want to contribute to the problem of classification of tractable constraint languages. We will also study algorithms for geometric instances of MaxCSP and random instances for SAT of interest in computational complexity theory. In FDL we will study the expressive power and the complexity of the fragments of first-order fuzzy logic that correspond to description logics, and algorithms for satisfiability with special attention to the case of finitely valued FDLs.

Creating software applications that foster web-based social interaction is still very hard and currently beyond the capabilities of end-users, since highly skilled web application developers are needed. Consequently, the cost of community formation and evolution beyond those based on simple, general and stable interaction patterns is still too high. Individuals, however, looking either for new, partially formed, or already standing communities whose interactions are much more domain specific and specialised need software tools and platforms that support the formation of and the adjustment to communities, as well as the adaptation to new, perhaps dynamically evolving, events during a community’s lifespan.

CBIT aims at transcending the current level of social software applications and platforms for community building into the meta-level for which today’s applications will arise as particular instances. For this we shall approach community building as an iterative process consisting of community formation, interaction, and growth. In CBIT a community is understood as a group of peers whose interactions are defined via agreements on social contracts on behaviour, meaning, and reliability, and represented in a community charter. Consequently, community building will be subject to the mechanisms to be developed in the scope of this project for charter specification and selection, charter grounding and enactment, and charter revision and modification. To concretise this approach, we shall realise it for a community-building process that fosters collaboration in the generation of digital educational contents.

BUSCAMEDIA aims at significant advances in the areas of semantic search, audiovisual production and riche media distribution thgough the creation of a unique semantic multimedia search engine. Specifically, the involvement of IIIA-CSIC is on the automatic generation of narrative content, such as summaries of soccer matches, or news shows. More information can be found at the overall BUSCAMEDIA page: http://www.cenitbuscamedia.es/

Within soft constraint reasoning, weighted CSP (WCSP) provide a very convenient framework for modeling and solving many real-world optimization problems. Motivated for the relevance of WCSP model, this project aims at developing efficient solving algorithms for this model. We diferentiate between the centralized approach, where a WCSP instance is kept in a single computer, and the more recent distributed approach, where the instance is distributed among different computers (but none of them contains the whole instance). We also give special attention to the boolean case (namely, when variables only have two values to chose from) because it extends the famous boolean satisfiability problem (SAT) that is ubiquous in Computer Science. SAT solvers have improved their performance dramatically in the last 15 years, and some of the techniques responsible of this sucess can also be incorporated to boolean WCSP (being Max-SAT the most popular problem of this class). In the centralized case, we intend to achieve the overall goal by enhancing existing search algorithms with sophisticated techniques such as backjumping, learning and adaptive inference, and by improving current implementations with tailored linear programming solvers and more advanced data structures. In the distributed case, we intend to achieve the goal by combining existing search algorithms with local consistency enforcement and inference. In the distributed context, we also want to collect and/or build sets of benchmarks in order to compare the different alternatives. This project combines two research groups with complementary expertise.

The main goal of the project is the study and development of efficient systems, able to cope with
information from knowledge sources consisting on incomplete information, hence, inconsistent and
vague information. On the one hand, we want to investigate the proper logics to describe such information types, mainly t-norm based logics and fuzzy extensions for description logics. On the other hand, we
will study efficient systems for automatic reasoning, able to infer valid information from the above
mentioned knowledge sources. As the obtained information may be inconsistent, the reasoning
procedures may conclude on wrong information, so, an objective will be to study the application
and development of argumentative models, able to justify the soundness of the obtained conclusions
in front of the final user. In order to bound the response time of the reasoning system we will explore
efficient transformations based on satisfiability and maximum satisfiability problems, that already
have highly efficient solving algorithms. Finally, through the worst-case and typical complexity
study, we will bound the solving hardness for some particular reasoning problems. For typical
case complexity, we will employ either generators of synthetic problems, or real problems obtained
from semantic web ontologies but including uncertainty and vagueness in the information encoded,
according to the studied fuzzy description logics of this project.

Funding: 81.554 €