RASO
RASO

RASO
RASO
 : 
Razonamiento, Satisfacción y Optimización
Razonamiento, Satisfacción y Optimización

A Project coordinated by IIIA.

Web page:

Principal investigator: 

Collaborating organisations:

Universitat de Lleida

Universitat de Lleida

Funding entity:

MINECO / FEDER
MINECO / FEDER

Funding call:

Funding call URL:

Project #:

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

Funding amount:

127.900,00€
127.900,00€

Duration:

01/Jan/2016
01/Jan/2016
31/Dec/2020
31/Dec/2020

Extension date:

2020-12-31
2020-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 de decisiones capaces de tratar conocimiento vago e incierto, así como mecanismos para manejar información inconsistente. Para ello, estudiaremos extensiones de lógicas basadas en t-normas con múltiples modalidades, cada una representando una noción intensional como incertidumbre, preferencia, confianza o aproximación. Se estudiarán también modelos de argumentación que tomen en consideración información pesada, donde los pesos pueden referir tanto a grados de incertidumbre como a grados de confianza y reputación de la fuente de información.

En segundo lugar, se extenderán técnicas eficientes basadas en SAT, MaxSAT o SMT para resolver diferentes tareas de razonamiento y de optimización en el marco lógico anterior, y necesarias para nuestras aplicaciones. Además de mejorar técnicas para resolver problemas SAT/MaxSAT de forma distribuida, queremos estudiar cómo los algoritmos de representación de grafos se pueden utilizar para modelar la estructura intrínseca o topología de instacias SAT industriales, para luego explotarla en resolvedores especializados. En cuanto a MaxSAT/MinSAT, el objetivo es investigar y aplicar resolvedores basados en la inferencia, y compararlos empíricamente con los solvers actuales. En el caso multi-valuado finito, el objetivo es extender técnicas eficientes de resolución MaxSAT/MinSAT al marco de fórmulas CNF con signos, mientras que en el caso infinitamente valuado desarrollaremos métodos basados en SMT.

En tercer lugar, se utilizarán los problemas reales anteriores como bancos de pruebas para comprobar la aplicabilidad de nuestros modelos y herramientas de resolución, estudiando sus fortalezas y debilidades. Para el análisis de los debates en las redes sociales, queremos desarrollar modelos de argumentación en nuestro marco lógico, de forma que las opiniones y las relaciones entre ellas se puedan modelar satisfactoriamente y luego analizarlas con nuestros algoritmos de razonamiento. Para casos con gran tamaño de datos, queremos comprobar la idoneidad de versiones distribuidas de nuestros algoritmos. Por otra parte, en cuanto a problemas sobre el control de los recursos energéticos, queremos desarrollar modelos que permitan modelar la incertidumbre en el comportamiento de los recursos energéticos, así como las preferencias del usuario, que pueden ser múltiples y conflictivas. Tenemos la intención de integrar este nuevo enfoque de modelado en el marco general de los algoritmos de aprendizaje por refuerzo.

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 de decisiones capaces de tratar conocimiento vago e incierto, así como mecanismos para manejar información inconsistente. Para ello, estudiaremos extensiones de lógicas basadas en t-normas con múltiples modalidades, cada una representando una noción intensional como incertidumbre, preferencia, confianza o aproximación. Se estudiarán también modelos de argumentación que tomen en consideración información pesada, donde los pesos pueden referir tanto a grados de incertidumbre como a grados de confianza y reputación de la fuente de información.

En segundo lugar, se extenderán técnicas eficientes basadas en SAT, MaxSAT o SMT para resolver diferentes tareas de razonamiento y de optimización en el marco lógico anterior, y necesarias para nuestras aplicaciones. Además de mejorar técnicas para resolver problemas SAT/MaxSAT de forma distribuida, queremos estudiar cómo los algoritmos de representación de grafos se pueden utilizar para modelar la estructura intrínseca o topología de instacias SAT industriales, para luego explotarla en resolvedores especializados. En cuanto a MaxSAT/MinSAT, el objetivo es investigar y aplicar resolvedores basados en la inferencia, y compararlos empíricamente con los solvers actuales. En el caso multi-valuado finito, el objetivo es extender técnicas eficientes de resolución MaxSAT/MinSAT al marco de fórmulas CNF con signos, mientras que en el caso infinitamente valuado desarrollaremos métodos basados en SMT.

En tercer lugar, se utilizarán los problemas reales anteriores como bancos de pruebas para comprobar la aplicabilidad de nuestros modelos y herramientas de resolución, estudiando sus fortalezas y debilidades. Para el análisis de los debates en las redes sociales, queremos desarrollar modelos de argumentación en nuestro marco lógico, de forma que las opiniones y las relaciones entre ellas se puedan modelar satisfactoriamente y luego analizarlas con nuestros algoritmos de razonamiento. Para casos con gran tamaño de datos, queremos comprobar la idoneidad de versiones distribuidas de nuestros algoritmos. Por otra parte, en cuanto a problemas sobre el control de los recursos energéticos, queremos desarrollar modelos que permitan modelar la incertidumbre en el comportamiento de los recursos energéticos, así como las preferencias del usuario, que pueden ser múltiples y conflictivas. Tenemos la intención de integrar este nuevo enfoque de modelado en el marco general de los algoritmos de aprendizaje por refuerzo.

In Press
Juan Carlos Teze,  & Lluís Godo (In Press). An Architecture for Argumentation-based Epistemic Planning: A First Approach with Contextual Preferences. IEEE Intelligent Systems. https://doi.org/10.1109/MIS.2020.3028833. [BibTeX]  [PDF]
Stefano Bonzio,  Gustavo Cevolani,  & Tommaso Flaminio (In Press). How to believe long conjunctions of beliefs: probability, quasi-dogmatism and contextualism. Erkenntnis. https://doi.org/https://philarchive.org/rec/BONHTB-3. [BibTeX]  [PDF]
Tommaso Flaminio (In Press). On standard completeness and finite model property for a probabilistic logic on Łukasiewicz events. International Journal of Approximate Reasoning. https://doi.org/10.1016/j.ijar.2020.12.023. [BibTeX]  [PDF]
2021
Francesc Esteva,  Lluís Godo,  & Sandra Sandri (2021). A similarity-based three-valued modal logic approach to reason with prototypes and counterexamples. MJ. Lesot, & C. Marsala (Eds.), Fuzzy Approaches for Soft Computing and Approximate Reasoning: Theories and Applications (pp 45-59). Springer. https://doi.org/10.1007/978-3-030-54341-9_5. [BibTeX]  [PDF]
Rodolfo Ertola-Biraben,  Francesc Esteva,  & Lluís Godo (2021). On distributive join semilattices. D. Fazio, A. Ledda, & F. Paoli (Eds.), Algebraic Perspectives on Substructural Logics (pp 21-40). Springer, Cham. https://doi.org/10.1007/978-3-030-52163-9_3. [BibTeX]  [PDF]
2020
Tommaso Flaminio,  Lluís Godo,  & Hykel Hosni (2020). Boolean algebras of conditionals, probability and logic. Artificial Intelligence, 286, 103347. https://doi.org/10.1016/j.artint.2020.103347. [BibTeX]  [PDF]
Francesc Esteva,  Aldo Orellano,  Tommaso Flaminio,  & Lluís Godo (2020). Degree-preserving companion of Nelson logic expanded with a consistency operator. Anais do I Workshop Brasileiro de Lógica (pp. 41--48). SBC. https://doi.org/10.5753/wbl.2020.11457. [BibTeX]  [PDF]
Francesc Esteva,  Lluís Godo,  Ricardo Oscar Rodríguez,  & Thomas Vetterlein (2020). On Ruspini's Models of Similarity-Based Approximate Reasoning. Marie{-}Jeanne Lesot, Susana M. Vieira, Marek Z. Reformat, Jo{\\~{a}}o Paulo Carvalho, Anna Wilbik, Bernadette Bouchon{-}Meunier, & 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. https://doi.org/10.1007/978-3-030-50146-4\_1. [BibTeX]  [PDF]
Lluís Godo,  Martín Sócola-Ramos,  & Francesc Esteva (2020). On the Logic of Left-Continuous t-Norms and Right-Continuous t-Conorms. Marie{-}Jeanne Lesot, Susana M. Vieira, Marek Z. Reformat, Jo{\\~{a}}o Paulo Carvalho, Anna Wilbik, Bernadette Bouchon{-}Meunier, & 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. https://doi.org/10.1007/978-3-030-50153-2\_48. [BibTeX]  [PDF]
Umberto Rivieccio,  Tommaso Flaminio,  & Thiago Nascimento (2020). On the representation of (weak) nilpotent minimum algebras. 29th IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2020, Glasgow, UK, July 19-24, 2020 (pp. 1--8). IEEE. https://doi.org/10.1109/FUZZ48607.2020.9177641. [BibTeX]  [PDF]
Tommaso Flaminio (2020). Three Characterizations of Strict Coherence on Infinite-Valued Events. The Review of Symbolic Logic, 1--18. https://doi.org/10.1017/S1755020319000546. [BibTeX]  [PDF]
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. https://doi.org/10.1613/jair.1.11741. [BibTeX]  [PDF]
Francesc Esteva,  Tommaso Flaminio,  & Lluís Godo (2019). From Fuzzy Sets to Mathematical Fuzzy Logic. Archives for Soft Computing, 2, 26-59. https://doi.org/https://www.unipapress.it/it/book/aphsc-2--2019_214/. [BibTeX]  [PDF]
Marcelo Coniglio,  Francesc Esteva,  Joan Gispert,  & Lluís Godo (2019). Maximality in finite-valued Lukasiewicz logics defined by order filters. Journal of Logic and Computation, 29, 125-156. https://doi.org/10.1093/logcom/exy032. [BibTeX]  [PDF]
Juan Carlos Teze,  Antoni Perelló-Moragues,  Lluís Godo,  & Pablo Noriega (2019). Practical reasoning using values: an argumentative approach based on a hierarchy of values. Annals of Mathematics and Artificial Intelligence, 293-319. https://doi.org/10.1007/s10472-019-09660-8. [BibTeX]  [PDF]
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. https://doi.org/https://link.springer.com/chapter/10.1007%2F978-3-030-29765-7_30. [BibTeX]  [PDF]
Tommaso Flaminio (2019). Towards a Standard Completeness for a Probabilistic Logic on Infinite-Valued Events. Gabriele Kern{-}Isberner, & 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. https://doi.org/10.1007/978-3-030-29765-7\_33. [BibTeX]
2018
Marc Pujol-Gonzalez,  Jesus Cerquides,  Pedro Meseguer,  Juan A. Rodríguez-Aguilar,  & Milind Tambe (2018). Decentralized dynamic task allocation for UAVs with limited communication range. arXiv preprint arXiv:1809.07863. [BibTeX]  [PDF]
Pilar Dellunde
Adjunct Scientist
Phone Ext. 239

Gonzalo Escalada-Imaz
Tenured Scientist
Phone Ext. 212

Francesc Esteva
Adjunct Professor Ad Honorem
Phone Ext. 219

Tommaso Flaminio
Tenured Scientist
Angel García-Cerdaña
Adjunct Scientist
Lluís Godo
Research Professor
Phone Ext. 217

Jordi Levy
Tenured Scientist
Phone Ext. 240

Felip Manyà
Tenured Scientist
Phone Ext. 248

Pedro Meseguer
Scientific Researcher
Phone Ext. 237