TY - GEN
T1 - Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic
AU - Olarte, Carlos
AU - Ramírez, Carlos
AU - Rocha, Camilo
AU - Valencia, Frank
N1 - Publisher Copyright:
© The Author(s), under exclusive license to Springer Nature Switzerland AG 2024.
PY - 2024
Y1 - 2024
N2 - 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.
AB - 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.
KW - Belief revision
KW - Concurrent set relations
KW - Formal verification
KW - Opinion dynamic models
KW - Rewriting logic
KW - Social interaction systems
UR - http://www.scopus.com/inward/record.url?scp=85201077355&partnerID=8YFLogxK
U2 - 10.1007/978-3-031-65941-6_6
DO - 10.1007/978-3-031-65941-6_6
M3 - Conference contribution
AN - SCOPUS:85201077355
SN - 9783031659409
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 104
EP - 123
BT - Rewriting Logic and Its Applications - 15th International Workshop, WRLA 2024, Revised Selected Papers
A2 - Ogata, Kazuhiro
A2 - Martí-Oliet, Narciso
PB - Springer Science and Business Media Deutschland GmbH
T2 - 15th International Workshop on Rewriting Logic and Its Applications, WRLA 2024
Y2 - 6 April 2024 through 7 April 2024
ER -