RASO RASO

RASO RASO

 : 

Razonamiento, Satisfacción y Optimización Razonamiento, Satisfacción y Optimización

A Project coordinated by IIIA.

Principal investigator:

Lluís Godo Lluís Godo

Team members:

Collaborating organisations:

Universitat de Lleida

Universitat de Lleida

Funding entity:

MINECO / FEDER MINECO / FEDER

Funding call:

Project #:

TIN2015-71799-C2-1-P TIN2015-71799-C2-1-P

Funding amount:

127.900,00€ 127.900,00€

Duration:

2016-01-01 2016-01-01

 -

2019-12-31 2019-12-31

Este proyecto tiene como objetivo avanzar el estado del arte en varios aspectos de lógica difusa, en argumentación con incertidumbre, en el modelado de preferencias, en nuevas técnicas para SAT / MaxSAT y resolución distribuida, así como en su aplicación a dos problemas reales: análisis de discusiones en redes sociales para determinar cuáles son las opiniones más relevantes, y el control de recursos energéticos con estrategias de decisión para, en cada momento, optimizar la selección de recursos en una red, tratando de equilibrar impactos económicos y ambientales. Estos dos problemas, aunque diferentes, son ejemplos de problemas complejos en nuestra sociedad de hoy en día, y que requieren técnicas avanzadas de razonamiento, de modelado de preferencias, y de tareas de optimización. Para ello, en este proyecto se pretende abordar los siguientes objetivos. En primer lugar, se abordará el desarrollo de un marco uniforme, basado en lógica difusa lógica, que integre modelos de razonamiento, argumentación y de toma

Este proyecto tiene como objetivo avanzar el estado del arte en varios aspectos de lógica difusa, en argumentación con incertidumbre, en el modelado de preferencias, en nuevas técnicas para SAT / MaxSAT y resolución distribuida, así como en su aplicación a dos problemas reales: análisis de discusiones en redes sociales para determinar cuáles son las opiniones más relevantes, y el control de recursos energéticos con estrategias de decisión para, en cada momento, optimizar la selección de recursos en una red, tratando de equilibrar impactos económicos y ambientales. Estos dos problemas, aunque diferentes, son ejemplos de problemas complejos en nuestra sociedad de hoy en día, y que requieren técnicas avanzadas de razonamiento, de modelado de preferencias, y de tareas de optimización. Para ello, en este proyecto se pretende abordar los siguientes objetivos. En primer lugar, se abordará el desarrollo de un marco uniforme, basado en lógica difusa lógica, que integre modelos de razonamiento, argumentación y de toma

2020
Tommaso Flaminio; Three Characterizations of Strict Coherence on Infinite-Valued Events. The Review of Symbolic Logic; 2020.  [BibTeX]
2019
Carlos Ansótegui and Maria Luisa Bonet and Jesús Giráldez-Cru and Jordi Levy and Laurent Simon; Community Structure in Industrial SAT Instances. Carlos Ansótegui and Maria Luisa Bonet and Jesús Giráldez-Cru and Jordi Levy and Laurent Simon; 2019.  [BibTeX]
Stefano BonzioTommaso FlaminioPaolo Galeazzi; Sure-Wins Under Coherence: A Geometrical Perspective. Symbolic and Quantitative Approaches to Reasoning with Uncertainty; 2019.  [BibTeX]
Tommaso Flaminio; Towards a Standard Completeness for a Probabilistic Logic on Infinite-Valued Events. Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 15th European Conference, ECSQARU; 2019.  [BibTeX]