?
Логические аспекты многообразия агентов
Вестник УрФУ. Серия: Экономика и управление. 2016. Т. 11. № 4. С. 45–60.
Lisanyuk E., Pavlova A.
Fedyanin D., , in: 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 15787Vol. 2.: Switzerland: Springer, 2025. P. 247–256.
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 ...
Added: December 13, 2025
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
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
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
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
В.В. Долгоруков, Логические исследования 2022 Т. 28 № 1 С. 9–26
Implicit group knowledge (or distributive knowledge) is the sum of the knowledge in a group. In this paper, two approaches to group implicit knowledge are compared. According to the first approach, group implicit knowledge is defined as a logical consequence of individual agents’ knowledge sets. According to the second approach, group implicit knowledge is characterized ...
Added: May 16, 2022
Dolgorukov V., В кн.: Двенадцатые Смирновские чтения: материалы Международной научной конференции, Москва, 24–26 июня 2021 г.: М.: Русское общество истории и философии науки, 2021. С. 86–89.
The paper shows that the concept of distributive knowledge and the concept of implicit knowledge are equivalent in the class of finite distinguishable Kripke models. Some modifications of implicit knowledge are considered. It is demonstrated that these modifications are equivalent in the class of finite distinguishable Kripke models. ...
Added: June 28, 2021
Popova E., , in: Двенадцатые Смирновские чтения: материалы Международной научной конференции, Москва, 24–26 июня 2021 г.: М.: Русское общество истории и философии науки, 2021. P. 134–137.
This paper is concerned with the formalization problem of a wide range of scenarios of how knowledge evolves over time. We focus on combinations of temporal and epistemic modalities reflecting various properties of rational agents’ deliberation. For this purpose, we introduce the model EEM – evolutionary epistemic model. ...
Added: June 28, 2021
Gladyshev M., В кн.: Десятые Смирновские чтения: материалы Междунар. науч. конф., Москва, 15–17 июня 2017 г.: М.: Современные тетради, 2017. С. 67–68.
В предлагаемой работе предпринята попытка формализации феномена лжи с помощью инструментов современной динамической эпистемической логики. Предлагается к рассмотрению две модели доксатической логики: модель, описывающая ложь со стороны стороннего наблюдателя и модель для описания лжи одного из агентов остальным ...
Added: November 5, 2017
Dolgorukov V., В кн.: Десятые Смирновские чтения: материалы Междунар. науч. конф., Москва, 15–17 июня 2017 г.: М.: Современные тетради, 2017. С. 74–76.
Доклад посвящен описанию модели социального влияния для эпистемических агентов. Наша задача состоит в том, чтобы продемонстрировать возможность расширения стандартной версии доксатической и эпистемической логики (в правдоподобной версии) за счет модели социального влияния М. Дегроота. ...
Added: June 9, 2017
Dolgorukov V., Эпистемология и философия науки 2017 Т. 51 № 1 С. 92–105
The paper proposes an epistemic taxonomy of assertives based on a concept of epistemic presuppositions. Epistemic presuppositions are a special kind of pragmatic presuppositions, which describe the structure of hearer’s and speaker’s meta-reasoning. The epistemic taxonomy of assertives is based on the operator of strong common belief (𝐶𝐵). It is argued that the properties of a strong ...
Added: September 25, 2016
Dolgorukov V., Логико-философские штудии 2016 Т. 13 № 2 С. 116–117
В работе обсуждается возможность расширения языка эпистемической логики за счет учета структуры влияния агентов друг на друга. ...
Added: July 18, 2016