Epistemic Mathematical Models for Analyzing Meta-opinions on Social Networks

P. 247–256.

Fedyanin D.

The paper proposes a formal model for describing opinions and higher-order opinions (e.g., opinions about opinions) using classical epistemic logic, such as the Kripke structure. Traditionally employed for analyzing knowledge and beliefs, this model is adapted to interpret opinions as beliefs, which is particularly promising for describing human-computer interaction due to its high level of formalization. The study is theoretical and does not rely on empirical data. The result is a model that systematizes the description of opinions and their dynamics, opening new possibilities in the fields of artificial intelligence, social computing, and consensus systems. The major contribution of the work is in applying epistemic logic to the understudied area of higher-order opinions and establishing a new basis for analyzing human-computer interaction.

Keywords: консенсус, formal logic, формальная логика, epistemic logic, эпистемическая логика, consensus, meta-opinions, мета-мнения

In book

17th International Conference, SCSM 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part II. Social Computing and Social Media. LNCS, volume 15787

Fedyanin D. Vol. 2. , Switzerland: Springer, 2025.