UCL Discovery
UCL home » Library Services » Electronic resources » UCL Discovery

Reasoning About Group Polarization: From Semantic Games to Sequent Systems

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. Green open access

[thumbnail of LPAR_2024_pages_70-87.pdf]
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
Downloads since deposit
Loading...
6Downloads
Download activity - last month
Loading...
Download activity - last 12 months
Loading...
Downloads by country - last 12 months
Loading...

Archive Staff Only

View Item View Item