Freiman, Robert;
Olarte, Carlos;
Pimentel, Elaine;
Fermüller, Christian;
(2024)
Reasoning About Group Polarization: From Semantic Games to Sequent Systems.
In: Bjørner, Nikolaj and Heule, Marijn and Voronkov, Andrei, (eds.)
Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning.
(pp. pp. 70-87).
Easy Chair: Port Louis, Mauritius.
Preview |
Text
LPAR_2024_pages_70-87.pdf - Published Version Download (635kB) | Preview |
Abstract
Group polarization, the phenomenon where individuals become more extreme after in- teracting, has been gaining attention, especially with the rise of social media shaping peo- ple’s opinions. Recent interest has emerged in formal reasoning about group polarization using logical systems. In this work we consider the modal logic PNL that captures the no- tion of agents agreeing or disagreeing on a given topic. Our contribution involves enhancing PNL with advanced formal reasoning techniques, instead of relying on axiomatic systems for analyzing group polarization. To achieve this, we introduce a semantic game tailored for (hybrid) extensions of PNL. This game fosters dynamic reasoning about concrete net- work models, aligning with our goal of strengthening PNL’s effectiveness in studying group polarization. We show how this semantic game leads to a provability game by systemically exploring the truth in all models. This leads to the first cut-free sequent systems for some variants of PNL. Using polarization of formulas, the proposed calculi can be modularly adapted to consider different frame properties of the underlying model.
Type: | Proceedings paper |
---|---|
Title: | Reasoning About Group Polarization: From Semantic Games to Sequent Systems |
Event: | LPAR 2024: 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning |
Open access status: | An open access version is available from UCL Discovery |
DOI: | 10.29007/wptz |
Publisher version: | https://doi.org/10.29007/wptz |
Language: | English |
Additional information: | Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International Public License (CC BY-NC-ND 4.0), (https://creativecommons.org/licenses/by-nc-nd/4.0/deed.en). |
UCL classification: | UCL UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
URI: | https://discovery.ucl.ac.uk/id/eprint/10200112 |




Archive Staff Only
![]() |
View Item |