Resumen

Social media platforms have played a key role in weaponizing the polarization of social, political, and democratic processes. This is, mainly, because they are a medium for opinion formation. Opinion dynamic models are a tool for understanding the role of specific social factors on the acceptance/rejection of opinions and they can be used to analyze certain assumptions on human behaviors. This work presents a framework that uses concurrent set relations as the formal basis to specify, simulate, and analyze social interaction systems with dynamic opinion models. Standard models for social learning are obtained as particular instances of the proposed framework. It has been implemented in the Maude system as a fully executable rewrite theory that can be used to better understand how opinions of a system of agents can be shaped. This paper also reports an initial exploration in Maude on the use of reachability analysis, probabilistic simulation, and statistical model checking of important properties related to opinion dynamic models.

Idioma originalInglés
Título de la publicación alojadaRewriting Logic and Its Applications - 15th International Workshop, WRLA 2024, Revised Selected Papers
EditoresKazuhiro Ogata, Narciso Martí-Oliet
EditorialSpringer Science and Business Media Deutschland GmbH
Páginas104-123
Número de páginas20
ISBN (versión impresa)9783031659409
DOI
EstadoPublicada - 2024
Evento15th International Workshop on Rewriting Logic and Its Applications, WRLA 2024 - Luxembourg City, Luxemburgo
Duración: 06 abr. 202407 abr. 2024

Serie de la publicación

NombreLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volumen14953 LNCS
ISSN (versión impresa)0302-9743
ISSN (versión digital)1611-3349

Conferencia

Conferencia15th International Workshop on Rewriting Logic and Its Applications, WRLA 2024
País/TerritorioLuxemburgo
CiudadLuxembourg City
Período06/04/2407/04/24

Huella

Profundice en los temas de investigación de 'Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic'. En conjunto forman una huella única.

Citar esto