ISINC: Inference systems for inconsistent information: Argumentative Analysis [PID2019-111544GB-C22]

[Call: “Proyectos de I+D+i” of the “programas estatales de generación de conocimiento y fortalecimiento científico y tecnológico del sistema de I+D+i orientada a los retos de la sociedad, 2018 call]

In this project the main goal is to advance the state-of-the-art in inconsistency-tolerant inference models in different scenarios: MaxSAT techniques in classical and many-valued logics, non-classical graded logics, argumentation frameworks, both in theoretic and practical aspects, and in their application to the analysis of discussions in social networks.

The main difficulty we want to tackle is the existence of inconsistency in knowledge bases, a common property in knowledge bases that come from real applications, specially, when the information is obtained as the aggregation of information coming from different sources.

As an application domain, we plan to test our models and algorithms on different problems related to the analysis of discussions and comment threads in different social networks, where inconsistency is a very common property in these scenarios, but we may also encounter uncertain information, as not all the pieces of information we find in them are always believed to have the same strength.

This project (PID2019-111544GB-C22) is funded by the Ministerio de Ciencia, Innovación y Universidades – Agencia Estatal de Investigación de España