Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic
Fuente:
arXiv
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866913234385108992 |
|---|---|
| author | Olarte, Carlos Ramírez, Carlos Rocha, Camilo Valencia, Frank |
| author_facet | Olarte, Carlos Ramírez, Carlos Rocha, Camilo Valencia, Frank |
| contents | 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 because 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2402_09021 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic Olarte, Carlos Ramírez, Carlos Rocha, Camilo Valencia, Frank Logic in Computer Science 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 because 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. |
| title | Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic |
| topic | Logic in Computer Science |
| url | https://arxiv.org/abs/2402.09021 |