Unified opinion formation analysis in rewriting logic

Processes of opinion formation rooted in social dynamics can significantly contribute to the polarization of social, political, and democratic interaction. Opinion dynamic models are essential for understanding the impact of specific social factors on the acceptance or rejection of opinions. This ex...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Journal of logical and algebraic methods in programming Ročník 148; s. 101095
Hlavní autoři: Olarte, Carlos, Ramírez, Carlos, Rocha, Camilo, Valencia, Frank
Médium: Journal Article
Jazyk:angličtina
Vydáno: Elsevier Inc 01.01.2026
Témata:
Belief revision
Concurrent set relations
Formal verification
Opinion dynamic models
Rewriting logic
Social interaction systems
Concurrent set relations
Social interaction systems
Rewriting logic
Opinion dynamic models
Belief revision
Formal verification
ISSN:2352-2208
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:Processes of opinion formation rooted in social dynamics can significantly contribute to the polarization of social, political, and democratic interaction. Opinion dynamic models are essential for understanding the impact of specific social factors on the acceptance or rejection of opinions. This extended paper builds upon the conference presentation documented in [1], introducing improvements and new opinion models that explore biases and collective human behaviors. It presents a framework based on concurrent set relations that formalizes, simulates, and analyzes social interaction systems with dynamic opinion models. Within this framework, standard models for social learning are realized as specific instances. Implemented in the Maude system as a fully executable rewrite theory, the framework enables a detailed examination of how agents' opinions can be influenced within a system. The authors report on new formalization of several and existing social learning models, exploring their relationships with different concurrency models. New experimentation involving reachability analysis, probabilistic simulation, and statistical model checking has been conducted. These experiments are crucial for validating significant properties related to dynamic opinion models in Maude, offering new insights into the mechanisms of opinion shaping in social interaction.
ISSN:2352-2208
DOI:10.1016/j.jlamp.2025.101095