On the modeling and verification of the spread of fake news, algebraically.
Saved in:
| Title: | On the modeling and verification of the spread of fake news, algebraically. |
|---|---|
| Authors: | Aldini, Alessandro1 (AUTHOR) alessandro.aldini@uniurb.it |
| Source: | Journal of Logic & Computation. Sep2022, Vol. 32 Issue 6, p1272-1291. 20p. |
| Subjects: | Fake news, Probabilistic number theory, Online social networks, Modal logic, Social networks |
| Abstract: | In recent years, one of the major issues concerning the study of online social network phenomena is related to the diffusion of misinformation, commonly known as fake news. In the literature, several mathematical tools are used to investigate both the identifying attributes of fake news and their spreading model. This work concentrates on the latter aspect and follows the lines of research inspired by the analysis of epidemic models. Its main contribution is the definition of a modeling framework based on process algebra for the explicit, formal representation of typical behavioral patterns of agents in social networks, and the use of a probabilistic verification framework based on modal logics and model checking for the quantitative analysis of the fake news spread. [ABSTRACT FROM AUTHOR] |
| Copyright of Journal of Logic & Computation is the property of Oxford University Press / USA and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Engineering Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
| FullText | Links: – Type: pdflink Text: Availability: 1 |
|---|---|
| Header | DbId: egs DbLabel: Engineering Source An: 158786951 AccessLevel: 6 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: On the modeling and verification of the spread of fake news, algebraically. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Aldini%2C+Alessandro%22">Aldini, Alessandro</searchLink><relatesTo>1</relatesTo> (AUTHOR)<i> alessandro.aldini@uniurb.it</i> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Journal+of+Logic+%26+Computation%22">Journal of Logic & Computation</searchLink>. Sep2022, Vol. 32 Issue 6, p1272-1291. 20p. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22Fake+news%22">Fake news</searchLink><br /><searchLink fieldCode="DE" term="%22Probabilistic+number+theory%22">Probabilistic number theory</searchLink><br /><searchLink fieldCode="DE" term="%22Online+social+networks%22">Online social networks</searchLink><br /><searchLink fieldCode="DE" term="%22Modal+logic%22">Modal logic</searchLink><br /><searchLink fieldCode="DE" term="%22Social+networks%22">Social networks</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: In recent years, one of the major issues concerning the study of online social network phenomena is related to the diffusion of misinformation, commonly known as fake news. In the literature, several mathematical tools are used to investigate both the identifying attributes of fake news and their spreading model. This work concentrates on the latter aspect and follows the lines of research inspired by the analysis of epidemic models. Its main contribution is the definition of a modeling framework based on process algebra for the explicit, formal representation of typical behavioral patterns of agents in social networks, and the use of a probabilistic verification framework based on modal logics and model checking for the quantitative analysis of the fake news spread. [ABSTRACT FROM AUTHOR] – Name: AbstractSuppliedCopyright Label: Group: Ab Data: <i>Copyright of Journal of Logic & Computation is the property of Oxford University Press / USA and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.) |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=158786951 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1093/logcom/exac015 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 20 StartPage: 1272 Subjects: – SubjectFull: Fake news Type: general – SubjectFull: Probabilistic number theory Type: general – SubjectFull: Online social networks Type: general – SubjectFull: Modal logic Type: general – SubjectFull: Social networks Type: general Titles: – TitleFull: On the modeling and verification of the spread of fake news, algebraically. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Aldini, Alessandro IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 09 Text: Sep2022 Type: published Y: 2022 Identifiers: – Type: issn-print Value: 0955792X Numbering: – Type: volume Value: 32 – Type: issue Value: 6 Titles: – TitleFull: Journal of Logic & Computation Type: main |
| ResultId | 1 |
