• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Book chapter
  • Epistemic Mathematical Models for Analyzing Meta-opinions on Social Networks
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Priority areas
  • business informatics
  • economics
  • engineering science
  • humanitarian
  • IT and mathematics
  • law
  • management
  • mathematics
  • sociology
  • state and public administration
by year
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • More
Subject
News
May 25, 2026
HSE Scientists Train Neural Network to 'Hear' Faults in Electric Motors
Researchers at the AI and Digital Science Institute of the HSE Faculty of Computer Science have developed a new method—the Signature-Guided Data Augmentation (SGDA) framework—that achieves 99% accuracy in motor fault detection and 86% accuracy in fault classification. The application of this approach can reduce industrial equipment repair costs, minimise downtime, and improve production safety. The study results have been published in Engineering Applications of Artificial Intelligence.
May 25, 2026
'The Humanities Serve as a Conscience'
Maria Mizernaia studies Soviet literature and the history of book publishing. In this interview for the HSE Young Scientists project, she discusses plans to publish a novel about besieged Leningrad, AI-provoked reflections on what it means to be human, and how novels can help satisfy our dopamine hunger.
May 25, 2026
Is It Possible to Predict a Citys Life Based on the Shape of Its Neighbourhoods?
Is it possible to predict, based on the configuration of streets and buildings, where a café will open or where traffic congestion will occur? Participants in the Spatial Analysis and Modelling of Urban Processes research and study group use open data and machine learning to identify universal patterns. Alexander Sheludkov and Eduard Somov discuss the purpose of comparing cities, the need for new forms of urban statistics, and how open data is transforming approaches to urban studies.

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!

Publications
  • Books
  • Articles
  • Chapters of books
  • Working papers
  • Report a publication
  • Research at HSE

?

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.

Language: English
Full text
DOI
Text on another site
Keywords: консенсусformal logicформальная логикаepistemic logicэпистемическая логика consensusmeta-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
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.
Similar publications
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., Switzerland: Springer, 2025.
The 17th International Conference on Social Computing and Social Media (SCSM 2025) was an affiliated conference of the HCI International (HCII) conference. It provided an established international forum for the exchange and dissemination of scientific information related to social computing and social media, addressing a broad spectrum of issues expanding our understanding of current and future issues in ...
Added: December 3, 2025
Междисциплинарный консенсус по использованию высокоинтенсивной импульсной магнитной стимуляции в лечении дисфункции мышц тазового дна в форме анальной инконтиненции
Фоменко О. Ю., Морозов С. В., Шелыгин Ю. А. et al., Колопроктология 2022 Т. 21 № 4 С. 77–91
В настоящей статье представлен междисциплинарный консенсус по использованию протоколов высокоинтенсивной магнитной стимуляции в лечении дисфункции мышц тазового дна, проявляющейся анальной инконтиненцией, в России. ЦЕЛЬ ПУБЛИКАЦИИ: осветить ход обсуждения и принятое на основании междисциплинарного консенсуса решение по применению нового алгоритма использования периферической и транскраниальной магнитной стимуляции в лечении дисфункции мышц тазового дна с клиникой анальной инконтиненции. РЕЗУЛЬТАТЫ: принятие данного консенсуса может ...
Added: September 30, 2024
Правовой реализм против юридического формализма: вердикт судьи О. Холмса
Lesiv B., Антиномии 2024 Т. 24 № 2 С. 107–139
Подход к праву, разработанный известным американским судьей О. Холмсом, остается малоизученным в России по ряду причин методологического характера. Одна из них заключается в том, что исследования не предваряются целенаправленной концептуализацией формализма как общего импульса, побудившего американское юридическое сообщество XIX–XX вв. рассматривать юридическую практику с точки зрения новых ценностей. Реалистический подход к праву зародился не в ...
Added: August 6, 2024
Temporal Epistemic Logic for Agents with Delay in Awareness
Dolgorukov V., Popova E., , in: Logic Colloquium 2023, European Summer Meeting of the Association for Symbolic Logic, University of Milan, Italy 5—9 June 2023, Book of Abstracts.: Milan: University of Milan, 2023. P. 90–90.
We present a multi-agent logic for reasoning about knowledge in time which involves delays in the agent’s awareness. Awareness framework divides a common epistemic concept of knowledge into explicit and implicit ones. This division helps to avoid the problem of logical omniscience and proposes new instruments for analysis of resourcebounded agents reasoning. ...
Added: November 26, 2023
Dynamic Epistemic Logic for Budget-Constrained Agents
Dolgorukov V., Gladyshev M., , in: SCAN 2023 Semantical and Computational Aspects of Non-Classical Logics: Moscow + Online, June 13–17, 2023. Abstracts.: M.: ., 2023. P. 20–23.
This abstract is based on recent work in [6]. We present a static (ELbc) and dynamic (DELbc) epistemic logic for budget-constrained agents. ELbc extends a standard multi-agent epistemic logic with expressions concerning agent’s budgets and formulas’ costs. DELbc extends ELbc with dynamic modality “[?iA]φ” which reads as “φ holds after i’s question whether a propositional ...
Added: November 26, 2023
Automated Verification of Multi-Party Agreements and Scheduling of Sending Messages in Distributed Ledger Systems
Fedotov I. A., A. S. Khritankov, Obidare M. D., Programming and Computer Software 2023 Vol. 49 No. 5 P. 448–454
Multi-party agreements are used in distributed ledger systems and blockchain networks to reach an agreement on changes in the system. When one of the network participants proposes a transaction to be recorded, it should be first confirmed by certain network participants. A multi-party agreement or consensus determines who exactly these participants are. Based on the ...
Added: October 9, 2023
The WTO’s Collapsing Judicial and Legislative Wings: Is ‘Consensus’ the Real Elephant in the Room?
Boklan D., Bahri A., Global Trade and Customs Journal 2022 Vol. 17 No. 2 P. 81–90
The World Trade Organization (WTO) has three main functions: (i) it provides a negotiation forum where Members can negotiate new agreements and understandings, (ii) it provides a judicial forum where trade disputes between countries can be settled, and (iii) it acts as an executive forum for the administration and application of the WTO agreements, including ...
Added: April 24, 2023
Perceived vs. Actual Consensus on Views and Values in Contemporary Russia, 2014 – 2021
Fabrykant M., / Series SocArXiv "SocArXiv". 2022.
The study explores to what extent people in the contemporary Russia perceive their views and values as shared by the majority. The research hypothesis is that this perceived consensus in Russia is rather high, is positively related to various dimensions of national identity, subjective wellbeing, and social trust, and rather weekly related to actual consensus. ...
Added: November 18, 2022
Towards verification of probabilistic multi-party consensus protocols: Constructing algorithms for verification of multi-party protocols with probabilistic properties
Fedotov I., Anton Khritankov, Barger A., , in: 2022 The 5th International Conference on Software Engineering and Information Management (ICSIM).: NY: Association for Computing Machinery (ACM), 2022. P. 100–105.
Blockchain technology and related frameworks have recently received extensive attention. Blockchain systems use multi-party consensus protocols to reach agreements on transactions. Hyperledger Fabric framework exposes a multi-party consensus, based on endorsement policy protocol, to reach a consensus on a transaction. In this paper, we define the problem of verification of a blockchain multi-party consensus with ...
Added: September 20, 2022
Автоматическая верификация многосторонних соглашений и планирование отправки сообщений в системах распределенного реестра
Федотов И. А., Хританков А. С., Обидаре М. Д., Программная инженерия 2022 № 4 С. 200–208
Многосторонние соглашения используются в системах распределенного реестра и блокчейн-сетях для согласования изменений в системе. Если один из участников сети предлагает транзакцию на запись, то сначала ее должны подтвердить определенные участники сети. Многостороннее соглашение, или консенсус, определяет состав этих участников. На основе предыдущих ответов можно посчитать вероятность подтверждения транзакции для каждого из участников. В настоящей работе ...
Added: September 20, 2022
Merging Epistemic and Temporal Models: a History-Free Approach
Popova E., Логико-философские штудии 2022 Vol. 20 No. 1 P. 1–7
There are two approaches to merging temporal and epistemic models. The first one consists in starting with a temporal model and enriching it with epistemic dimension (as temporal epistemic logic), while the second one is supposed to start with an epistemic model introducing temporal dimension (dynamic epistemic logic, epistemic temporal logic). The proposed evolutionary epistemic ...
Added: August 1, 2022
Dynamic Epistemic Logic for Budget-Constrained Agents
Dolgorukov V., Maksim Gladyshev, , in: Dynamic Logic. New Trends and Applications. 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected PapersVol. 13780.: Cham: Springer, 2023. P. 56–72.
We present a static (ELbc) and dynamic (DELbc) epistemic logic for budget-constrained agents, in which an agent can obtain some information in exchange for budget resources. ELbc extends a standard multi-agent epistemic logic with expressions concerning agent’s budgets and formulas’ costs. DELbc extends ELbc with dynamic modality “[?iA]φ” which reads as “φ holds after i’s ...
Added: July 31, 2022
  • About
  • About
  • Key Figures & Facts
  • Sustainability at HSE University
  • Faculties & Departments
  • International Partnerships
  • Faculty & Staff
  • HSE Buildings
  • HSE University for Persons with Disabilities
  • Public Enquiries
  • Studies
  • Admissions
  • Programme Catalogue
  • Undergraduate
  • Graduate
  • Exchange Programmes
  • Summer University
  • Summer Schools
  • Semester in Moscow
  • Business Internship
  • Research
  • International Laboratories
  • Research Centres
  • Research Projects
  • Monitoring Studies
  • Conferences & Seminars
  • Academic Jobs
  • Yasin (April) International Academic Conference on Economic and Social Development
  • Media & Resources
  • Publications by staff
  • HSE Journals
  • Publishing House
  • iq.hse.ru: commentary by HSE experts
  • Library
  • Economic & Social Data Archive
  • Video
  • HSE Repository of Socio-Economic Information
  • HSE1993–2026
  • Contacts
  • Copyright
  • Privacy Policy
  • Site Map
Edit