Skip to main content
Springer Nature Link
Log in

Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic

  • Conference paper
  • First Online:
Rewriting Logic and Its Applications (WRLA 2024)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 14953))

Included in the following conference series:

  • 91 Accesses

Abstract

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.

This work has been partially supported by the SGR project PROMUEVA (BPIN 2021000100160) under the supervision of Minciencias (Ministerio de Ciencia Tecnología e Innovación, Colombia).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. Agha, G., Meseguer, J., Sen, K.: PMaude: rewrite-based specification language for probabilistic object systems. ENTCS 153(2), 213–239 (2006)

    Google Scholar 

  2. Alvim, M.S., Amorim, B., Knight, S., Quintero, S., Valencia, F.: A formal model for polarization under confirmation bias in social networks. Log. Methods Comput. Sci. 19(1) (2023)

    Google Scholar 

  3. Ballard, A.O., DeTamble, R., Dorsey, S., Heseltine, M., Johnson, M.: Dynamics of polarizing rhetoric in congressional tweets. Legis. Stud. Q. 48(1), 105–144 (2023)

    Google Scholar 

  4. Beaufort, M.: Digital media, political polarization and challenges to democracy. Inf. Commun. Soc. 21(7), 915–920 (2018)

    Google Scholar 

  5. Bramson, A., Grim, P., Singer, D.J., Berger, W.J., Sack, G., Fisher, S., Flocken, C., Holman, B.: Understanding polarization: Meanings, measures, and model evaluation. Philoso. Sci. 84(1), 115–159 (2017)

    Article  MathSciNet  Google Scholar 

  6. Center for Strategic and International Studies: The #MilkTeaAlliance in Southeast Asia: Digital revolution and repression in Myanmar and Thailand (2021). https://www.csis.org/blogs/new-perspectives-asia/milkteaalliance-southeast-asia-digital-revolution-and-repression, visited 12-30-2023

  7. Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: All About Maude—A High-Performance Logical Framework, LNCS, vol. 4350. Springer, Berlin (2007)

    Google Scholar 

  8. Das, A., Gollapudi, S., Munagala, K.: Modeling opinion dynamics in social networks. In: Proceedings of the 7th ACM International Conference on Web Search and Data Mining, pp. 403–412. Association for Computing Machinery, New York, NY, USA (2014)

    Google Scholar 

  9. Degroot, M.H.: Reaching a consensus. J. Am. Stat. Assoc. 69(345), 118–121 (1974)

    Google Scholar 

  10. Fagnani, F., Zampieri, S.: Randomized consensus algorithms over large scale networks. In: 2007 Information Theory and Applications Workshop, pp. 150–159 (2007)

    Google Scholar 

  11. Fitriani, H.M.: Social media and the fight for political influence in Southeast Asia (2023). https://thediplomat.com/2023/08/social-media-and-the-fight-for-political-influence-in-southeast-asia, visited 12-30-2023

  12. Foundation, T.A.: Violent Conflict, Tech Companies, and Social Media in Southeast Asia: Key Dynamics and Responses. The Asia Foundation, San Francisco, USA (2020)

    Google Scholar 

  13. Garrett, R.K.: The “echo chamber” distraction: Disinformation campaigns are the problem, not audience fragmentation. J. Appl. Res. Memory Cognition 6 (2017)

    Google Scholar 

  14. Golub, B., Sadler, E.: Learning in social networks. Social Science Research Network (SSRN) (2017). http://dx.doi.org/10.2139/ssrn.2919146

  15. Gordon-Zolov, T.: Chile’s estallido social and the art of protest. Sociologica 17(1), 41–55 (2023)

    Google Scholar 

  16. Gupta, S., Chauhan, V.: Understanding the role of social networking sites in political marketing. Jindal J. Bus. Res. 12(1), 58–72 (2023)

    Article  Google Scholar 

  17. Xia, H., Huili Wang, Z.X.: Opinion dynamics: A multidisciplinary review and perspective on future research. Int. J. Knowl. Syst. Sci. 2(4), 72–91 (2023)

    Google Scholar 

  18. Iversen, T., Soskice, D.: Information, inequality, and mass polarization: Ideology in advanced democracies. Comput. Pol. Stud. 48(13), 1781–1813 (2015)

    Article  Google Scholar 

  19. Kirby, E.: The city getting rich from fake news. BBC News Documentary (2017). https://www.bbc.com/news/magazine-38168281

  20. Lynch, M.: After the arab spring: How the media trashed the transitions. J. Democr. 26(4), 90–99 (2015)

    Google Scholar 

  21. Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theor. Comput. Sci. 96(1), 73–155 (1992)

    Google Scholar 

  22. Neverov, K., Budko, D.: Social networks and public policy: Place for public dialogue? In: Proceedings of the International Conference IMS-2017, pp. 189–194. Association for Computing Machinery, New York, NY, USA (2017)

    Google Scholar 

  23. Olarte, C., Ramírez, C., Rocha, C., Valencia, F.: Opinion dynamic modeling as concurrent set relations in rewriting logic. https://github.com/promueva/maude-opinion-model

  24. Rocha, C., Muñoz, C.A.: Synchronous set relations in rewriting logic. Sci. Comput. Program. 92, 211–228 (2014)

    Article  Google Scholar 

  25. Rocha, C., Muñoz, C.A., Dowek, G.: A formal library of set relations and its application to synchronous languages. Theor. Comput. Sci. 412(37), 4853–4866 (2011)

    Article  MathSciNet  Google Scholar 

  26. Rubio, R., Martí-Oliet, N., Pita, I., Verdejo, A.: Strategies, model checking and branching-time properties in maude. J. Log. Algebraic Methods Program. 123, 100700 (2021)

    Google Scholar 

  27. Rubio, R., Martí-Oliet, N., Pita, I., Verdejo, A.: Qmaude: Quantitative specification and verification in rewriting logic. In: Chechik, M., Katoen, J., Leucker, M. (eds.) FM 2023. LNCS, vol. 14000, pp. 240–259. Springer, Berlin (2023)

    Google Scholar 

  28. Sarma, P., Hazarika, T.: Social media and election campaigns: an analysis of the usage of twitter during the 2021 Assam assembly elections. Int. J. Soc. Sci. Res. Rev. 6(2), 96–117 (2023)

    Article  Google Scholar 

  29. Suresh, V.P., Nogara, G., Cardoso, F., Cresci, S., Giordano, S., Luceri, L.: Tracking fringe and coordinated activity on twitter leading up to the us capitol attack (2023)

    Google Scholar 

  30. Wikipedia Foundation: 2021 Colombian protests. https://en.wikipedia.org/wiki/2021_Colombian_protests, visited 12-30-2023

Download references

Author information

Authors and Affiliations

  1. LIPN, CNRS UMR 7030, Université Sorbonne Paris Nord, Villetaneuse, France

    Carlos Olarte

  2. Department of Electronics and Computer Science, Pontificia Universidad Javeriana, Cali, Colombia

    Carlos Ramírez, Camilo Rocha & Frank Valencia

  3. CNRS-LIX, École Polytechnique de Paris, Palaiseau, France

    Frank Valencia

Authors
  1. Carlos Olarte
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Carlos Ramírez
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Camilo Rocha
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Frank Valencia
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Carlos Olarte .

Editor information

Editors and Affiliations

  1. Japan Advanced Institute of Science and Technology, Nomi, Japan

    Kazuhiro Ogata

  2. Universidad Complutense de Madrid, Madrid, Spain

    Narciso Martí-Oliet

Rights and permissions

Reprints and permissions

Copyright information

© 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Olarte, C., Ramírez, C., Rocha, C., Valencia, F. (2024). Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic. In: Ogata, K., Martí-Oliet, N. (eds) Rewriting Logic and Its Applications. WRLA 2024. Lecture Notes in Computer Science, vol 14953. Springer, Cham. https://doi.org/10.1007/978-3-031-65941-6_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-65941-6_6

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-65940-9

  • Online ISBN: 978-3-031-65941-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics