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

Total funding amount:

127.900,00€
127.900,00€

IIIA funding amount:

78.500,00€
78.500,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.

2021
Juan Carlos Teze,  & Lluís Godo (2021). An Architecture for Argumentation-based Epistemic Planning: A First Approach with Contextual Preferences. IEEE Intelligent Systems, 36, 43-51. https://doi.org/10.1109/MIS.2020.3028833. [BibTeX]  [PDF]
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]
Marcelo Coniglio,  Francesc Esteva,  Joan Gispert,  & Lluís Godo (2021). Degree-preserving Gödel logics with an involution: intermediate logics and (ideal) paraconsistency. O. Arielli, & A. Zamansky (Eds.), Arnon Avron on Semantics and Proof Theory of Non-Classical Logics (pp 107--139). Springer. https://doi.org/10.1007/978-3-030-71258-7_6. [BibTeX]  [PDF]
Stefano Bonzio,  Gustavo Cevolani,  & Tommaso Flaminio (2021). How to Believe Long Conjunctions of Beliefs: Probability, Quasi-Dogmatism and Contextualism. Erkenntnis. https://doi.org/10.1007/s10670-021-00389-7. [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]
Tommaso Flaminio (2021). On standard completeness and finite model property for a probabilistic logic on Łukasiewicz events. Int. J. Approx. Reason., 131, 136--150. https://doi.org/10.1016/j.ijar.2020.12.023. [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 Figallo-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 al. (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 al. (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
Tommaso Flaminio,  Lluís Godo,  & Ricardo Oscar Rodriguez (2019). A Representation Theorem for Finite Gödel Algebras with Operators. 26th Workshop on Logic, Language, Information and Computation, WoLLIC 2019 (pp. 223-235). Springer. https://doi.org/10.1007/978-3-662-59533-6_14. [BibTeX]  [PDF]
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. [BibTeX]  [PDF]
Tommaso Flaminio,  Lluís Godo,  & Ricardo Oscar Rodriguez (2019). Godel algebras with operators and their logics. ManyVal 2019 - Book of Abstracts (pp. 44-45). [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]
Marcelo Coniglio,  Francesc Esteva,  Joan Gispert,  & Lluís Godo (2019). On paraconsistent extensions of degree-preserving G\"odel logics with an involution. ManyVal 2019 - Book of Abstracts (pp. 37-38). [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]
Marcelo Coniglio,  Francesc Esteva,  Tommaso Flaminio,  & Lluís Godo (2019). Prime numbers and implication free reducts of MVn-chains. SYSMICS 2019 - Syntax meets Semantics (pp. 66-69). Institute for Logic, Language and Computation, University of Amsterdam. [BibTeX]  [PDF]
Ricardo Rodriguez,  Olim Tuyt,  Francesc Esteva,  & Lluís Godo (2019). Simplified Kripke semantics for K45- and KD45-like Godel modal logics. SYSMICS 2019 - Syntax meets Semantics (pp. 121-124). Institute for Logic, Language and Computation, University of Amsterdam. [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://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
Teresa Alsinet,  Josep Argelich,  Ram{\'{o}}n B{\'{e}}jar,  Francesc Esteva,  & Lluís Godo (2018). A Probabilistic Author-Centered Model for Twitter Discussions. J. Medina al. (Eds.), Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations - 17th International Conference, IPMU 2018, Proceedings, Part {II} (pp. 683--695). Springer. https://doi.org/10.1007/978-3-319-91476-3\_56. [BibTeX]  [PDF]
Pietro Codara,  Francesc Esteva,  Lluís Godo,  & Diego Valota (2018). Connecting systems of mathematical fuzzy logic with fuzzy concept lattices. J. Medina al. (Eds.), Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations. IPMU 2018 (pp. 275-286). Springer. https://doi.org/10.1007/978-3-319-91476-3_23. [BibTeX]  [PDF]
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
Gonçal E. Imaz
Tenured Scientist
Phone Ext. 431818

Francesc Esteva
Adjunct Professor Ad Honorem
Tommaso Flaminio
Tenured Scientist
Phone Ext. 431841

Angel García-Cerdaña
Adjunct Scientist
Lluís Godo
Research Professor
Phone Ext. 431857

Jordi Levy
Tenured Scientist
Phone Ext. 431860

Felip Manyà
Scientific Researcher
Phone Ext. 431854

Pedro Meseguer
Scientific Researcher
Phone Ext. 431862