RASORASO

RASORASO

 : 

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

A Project coordinated by IIIA.

Principal investigator:

Lluís GodoLluís Godo

Team members:

Collaborating organisations:

Universitat de Lleida

Universitat de Lleida

Funding entity:

MINECO / FEDERMINECO / FEDER

Funding call:

Project #:

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

Funding amount:

127.900,00€127.900,00€

Duration:

2016-01-012016-01-01

 -

2019-12-312019-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

In Press
Tommaso Flaminio,  Lluís Godo,  & Hykel Hosni (In Press). Boolean algebras of conditionals, probability and logic. Artificial Intelligence, 286, 103347. [BibTeX]
2020
Francesc Esteva,  Lluís Godo,  Ricardo Oscar Rodríguez,  &  Thomas Vetterlein (2020). On Ruspini's Models of Similarity-Based Approximate Reasoning. In Marie{-}Jeanne Lesot and Susana M. Vieira and Marek Z. Reformat and Jo{\~{a}}o Paulo Carvalho and Anna Wilbik and Bernadette Bouchon{-}Meunier and Ronald R. Yager (Eds.), Information Processing and Management of Uncertainty in Knowledge-Based Systems - 18th International Conference, {IPMU}2020, Lisbon, Portugal, June 15-19, 2020, Proceedings, Part {I} (pp. 3--13). Springer. [BibTeX]
Llu{í}s Godo,  Mart{í}n S{\'{o}}cola{-}Ramos,  &  Francesc Esteva (2020). On the Logic of Left-Continuous t-Norms and Right-Continuous t-Conorms. In Marie{-}Jeanne Lesot and Susana M. Vieira and Marek Z. Reformat and Jo{\~{a}}o Paulo Carvalho and Anna Wilbik and Bernadette Bouchon{-}Meunier and Ronald R. Yager (Eds.), Information Processing and Management of Uncertainty in Knowledge-Based Systems - 18th International Conference, {IPMU}2020, Lisbon, Portugal, June 15-19, 2020, Proceedings, Part {III} (pp. 654--665). Springer. [BibTeX]
Tommaso Flaminio (2020). Three Characterizations of Strict Coherence on Infinite-Valued Events. The Review of Symbolic Logic, 1--18. [BibTeX]
2019
Carlos Ansótegui,  Maria Luisa Bonet,  Jesús Giráldez-Cru,  Jordi Levy,  &  Laurent Simon (2019). Community Structure in Industrial SAT Instances. J. Artif. Intell. Res., 66, 443--472. [BibTeX]
Stefano Bonzio,  Tommaso Flaminio,  & Paolo Galeazzi (2019). Sure-Wins Under Coherence: A Geometrical Perspective. European Conference on Symbolic and Quantitative Approaches with Uncertainty - ECSQARU 2019 (pp. 363--373). Springer. [BibTeX]
Tommaso Flaminio (2019). Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 15th European Conference, {ECSQARU}2019, Belgrade, Serbia, September 18-20, 2019, Proceedings. In Gabriele Kern{-}Isberner and Zoran Ognjanovic (Eds.), Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 15th European Conference, {ECSQARU}2019, Belgrade, Serbia, September 18-20, 2019, Proceedings (pp. 397--407). Springer. [BibTeX]