RASO

RASO

This project aims at advancing the state-of-the-art in several aspects of fuzzy logic, argumentation with uncertainty and preferences, new techniques for SAT/MaxSAT and distributed solving, both in theoretic and practical aspects, and in their application in the development of solutions for the two real problems:

  1. Analysis of discussions in social networks: Nowadays, many citizens use different social networks (general or specialized in domains) to express opinions about the subjects they are interested in. One can look at these opinions in a individual way, or also look at the discussions that some subsets of opinions form, because usually there is a relation between different comments, such that considered together they can capture on-line discussions. Analyzing the more relevant opinions from certain discussions can be helpful to obtain information about the most widely accepted ideas by consumers and citizens, so this information can be used by different kinds of decision makers, for example by company managers or by politicians to take more informed decisions.
  2. Control of energy resources: In this domain, we want to develop decision strategies to optimize the use of available energy resources to satisfy some energy needs, trying to balance the economical and environmental impacts. Depending on the type of final user, an energy provider or an energy consumer, the problems are very different: energy providers want to maximize their benefit, while energy consumers want to minimize their energy bill. Both kinds of problems are stochastic in nature, as the state of different energy sources change in a dynamic way, with models we do not usually fully understand and the price of the generation of the energy, by energy grids that use different sources, will be also dynamic and highly unpredictable.

Core Objectives

People

Dr Teresa Alsinet Bernadó
Dr Teresa Alsinet Bernadó
Dr Josep Argelich Romà D
Dr Josep Argelich Romà
Dr Cèsar Fernández
Dr Cèsar Fernández
Dr Jordi Planes Cid
Dr Jordi Planes Cid