Characterize Fake News Diffusion Patterns Using Temporal Logic Rules
摘要
The use of social media pervades everyday life making them powerful tools for conveying and disseminating information. Their pervasive use has raised significant concerns about the spread of disinformation, which can undermine public trust and destabilize societies. Accurately identifying fake news remains a critical challenge. This paper introduces a novel framework based on a variant of Linear Temporal Logic (LTL) designed to characterize the diffusion patterns of both fake and true news within disinformation networks. The framework uses logic formula templates to formally describe the temporal propagation behaviors that differentiate misinformation from authentic information. This framework lays the groundwork for future experimental studies to validate the proposed logical models in practical scenarios.