{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,13]],"date-time":"2024-08-13T06:36:06Z","timestamp":1723530966963},"reference-count":32,"publisher":"Oxford University Press (OUP)","issue":"6","license":[{"start":{"date-parts":[[2022,3,12]],"date-time":"2022-03-12T00:00:00Z","timestamp":1647043200000},"content-version":"vor","delay-in-days":1,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,9,6]]},"abstract":"Abstract<\/jats:title>\n The spread of information in a social network has received renewed interest as social media becomes an increasingly popular channel of communication. We are interested in the phenomenon of social diffusion of a piece of information in the presence of a contradicting information in the network. Specifically we explore the use of formal methods for verification in studying this phenomena. Using Monte Carlo simulation and the probabilistic model checker (PRISM) we are able to represent social networks and confirm an earlier conjecture that disseminating new information rapidly is resistant to the presence of contradicting information.<\/jats:p>","DOI":"10.1093\/logcom\/exac018","type":"journal-article","created":{"date-parts":[[2022,2,4]],"date-time":"2022-02-04T20:13:06Z","timestamp":1644005586000},"page":"1195-1211","source":"Crossref","is-referenced-by-count":5,"title":["Markov chain model representation of information diffusion in social networks"],"prefix":"10.1093","volume":"32","author":[{"given":"Louise A","family":"Dennis","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of Manchester , Manchester, UK, M13 9PL"}]},{"given":"Yu","family":"Fu","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Liverpool , Liverpool, UK, L69 3BX"}]},{"given":"Marija","family":"Slavkovik","sequence":"additional","affiliation":[{"name":"Department of Information Science and Media Studies , University of Bergen, Bergen, Norway, 5020 Bergen"}]}],"member":"286","published-online":{"date-parts":[[2022,3,11]]},"reference":[{"key":"2022082921481838500_ref1","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1103\/RevModPhys.74.47","article-title":"Statistical mechanics of complex networks","volume":"74","author":"Albert","year":"2002","journal-title":"Reviews of Modern Physics"},{"key":"2022082921481838500_ref2","volume-title":"The Mathematical Theory of Infectious Diseases and Its Applications","author":"Bailey","year":"1975"},{"key":"2022082921481838500_ref3","first-page":"237","article-title":"On the formal verification of diffusion phenomena in open dynamic agent networks","volume-title":"Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems","author":"Belardinelli","year":"2015"},{"key":"2022082921481838500_ref4","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1016\/j.automatica.2018.11.023","article-title":"Opinion influence and evolution in social networks: a Markovian agents model","volume":"100","author":"Bolzern","year":"2019","journal-title":"Automatica"},{"key":"2022082921481838500_ref5","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1007\/978-3-642-40948-6_6","article-title":"A two-tiered formalization of social influence","volume-title":"Logic, Rationality, and Interaction","author":"Christoff","year":"2013"},{"key":"2022082921481838500_ref6","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1007\/s10849-016-9242-y","article-title":"Reflecting on social influence in networks","volume":"25","author":"Christoff","year":"2016","journal-title":"Journal of Logic, Language and Information"},{"key":"2022082921481838500_ref7","volume-title":"Model Checking","author":"Clarke","year":"1999"},{"key":"2022082921481838500_ref8","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1007\/978-3-030-66412-1_30","article-title":"Model-checking information diffusion in social networks with prism","volume-title":"Multi-Agent Systems and Agreement Technologies","author":"Dennis","year":"2020"},{"key":"2022082921481838500_ref9","first-page":"42","article-title":"\u201dHow Did They Know?\u201d - Model-checking for analysis of information leakage in social networks","volume-title":"COIN-XII 2016 International Workshops, COIN@AAMAS, Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August 30, 2016. Revised Selected Papers","author":"Dennis","year":"2016"},{"key":"2022082921481838500_ref10","first-page":"133","article-title":"Practical applications of probabilistic model checking to communication protocols","volume-title":"FMICS Handbook on Industrial Critical Systems","author":"Duflot","year":"2010"},{"key":"2022082921481838500_ref11","volume-title":"Verifying Autonomous Systems","author":"Fisher","year":"2013"},{"key":"2022082921481838500_ref12","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/978-3-642-21455-4_3","article-title":"Automated verification techniques for probabilistic systems","volume-title":"Formal Methods for Eternal Networked Software Systems (SFM\u201911)","author":"Forejt","year":"2011"},{"key":"2022082921481838500_ref13","article-title":"Strategic disclosure of opinions on a social network","volume-title":"Proceedings of the 16th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2017), International Foundation for Autonomous Agents and Multiagent Systems.","author":"Grandi","year":"2017"},{"key":"2022082921481838500_ref14","doi-asserted-by":"crossref","first-page":"1420","DOI":"10.1086\/226707","article-title":"Threshold models of collective behavior","volume":"83","author":"Granovetter","year":"1978","journal-title":"American Journal of Sociology"},{"key":"2022082921481838500_ref15","doi-asserted-by":"crossref","DOI":"10.1515\/9781400833993","volume-title":"Social and Economic Networks","author":"Jackson","year":"2008"},{"key":"2022082921481838500_ref16","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1257\/jel.20150694","article-title":"The economic consequences of social-network structure","volume":"55","author":"Jackson","year":"2017","journal-title":"Journal of Economic Literature"},{"key":"2022082921481838500_ref17","first-page":"1200","article-title":"Formal verification of opinion formation in swarms","volume-title":"Proceedings of the 2016 International Conference on Autonomous Agents and Multiagent Systems, AAMAS \u201916","author":"Kouvaros","year":"2016"},{"key":"2022082921481838500_ref18","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1007\/978-3-540-72522-0_6","article-title":"Stochastic model checking","volume-title":"Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation (SFM\u201907)","author":"Kwiatkowska","year":"2007"},{"key":"2022082921481838500_ref19","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","article-title":"PRISM 4.0: Verification of probabilistic real-time systems","volume-title":"Proceedings of the 23rd International Conference on Computer Aided Verification (CAV\u201911)","author":"Kwiatkowska","year":"2011"},{"key":"2022082921481838500_ref20","article-title":"Probabilistic model checking for biology","volume-title":"Software Safety and Security","author":"Kwiatkowska","year":"2014"},{"key":"2022082921481838500_ref21","doi-asserted-by":"crossref","DOI":"10.2139\/ssrn.1479866","article-title":"Linking network structure and diffusion through stochastic dominance","volume-title":"Complex Adaptive Systems and the Threshold Effect, Papers from the 2009","author":"Lamberson"},{"key":"2022082921481838500_ref22","doi-asserted-by":"crossref","first-page":"2403","DOI":"10.1007\/s11229-014-0432-3","article-title":"Logical dynamics of belief change in the community","volume":"191","author":"Liu","year":"2014","journal-title":"Synthese"},{"key":"2022082921481838500_ref23","volume-title":"The Enigma of Reason","author":"Mercier","year":"2017"},{"key":"2022082921481838500_ref24","doi-asserted-by":"crossref","first-page":"2566","DOI":"10.1073\/pnas.012582999","article-title":"Random graph models of social networks","volume":"99","author":"Newman","year":"2002","journal-title":"Proceedings of the National Academy of Sciences"},{"key":"2022082921481838500_ref25","first-page":"238","article-title":"Model checking social network models","volume-title":"Proceedings of the 8th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2017, Roma, Italy, 20\u201322 September 2017","author":"Pardo","year":"2017"},{"key":"2022082921481838500_ref26","first-page":"349","article-title":"Formal models of conflicting social influence","volume-title":"PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Lecture Notes in Computer Science, Nice, France, October 30 - November 3, 2017","author":"Pedersen","year":"2017"},{"key":"2022082921481838500_ref27","doi-asserted-by":"crossref","first-page":"523","DOI":"10.1007\/BF02476440","article-title":"Spread of information through a population with socio-structural bias: I. assumption of transitivity","volume":"15","author":"Rapoport","year":"1953","journal-title":"The Bulletin of Mathematical Biophysics"},{"key":"2022082921481838500_ref28","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1080\/0022250X.1971.9989794","article-title":"Dynamic\nmodels of segregation","volume":"1","author":"Schelling","year":"1971","journal-title":"Journal of Mathematical Sociology"},{"key":"2022082921481838500_ref29","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-55665-8_26","article-title":"How to make friends: a logical approach to social group creation","volume-title":"Logic, Rationality, and Interaction","author":"Smets","year":"2017"},{"key":"2022082921481838500_ref30","doi-asserted-by":"crossref","first-page":"851","DOI":"10.1016\/j.physa.2006.03.050","article-title":"A model for social networks","volume":"371","author":"Toivonen","year":"2006","journal-title":"Physica A: Statistical Mechanics and its Applications"},{"key":"2022082921481838500_ref31","article-title":"Threshold models of social influence","volume-title":"The Oxford Handbook of Analytical Sociology","author":"Winship","year":"2011"},{"key":"2022082921481838500_ref32","doi-asserted-by":"crossref","first-page":"354","DOI":"10.1109\/TrustCom.2016.0084","article-title":"Model\nchecking probabilistic network propagation protection strategies","volume-title":"The 2016 IEEE Trustcom\/BigDataSE\/ISPA","author":"Zonghao","year":"2016"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/32\/6\/1195\/45608743\/exac018.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/32\/6\/1195\/45608743\/exac018.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,29]],"date-time":"2022-08-29T21:49:28Z","timestamp":1661809768000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/32\/6\/1195\/6546696"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,3,11]]},"references-count":32,"journal-issue":{"issue":"6","published-online":{"date-parts":[[2022,3,11]]},"published-print":{"date-parts":[[2022,9,6]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exac018","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2022,9]]},"published":{"date-parts":[[2022,3,11]]}}}