• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Глава
  • Dynamic Epistemic Logic for Budget-Constrained Agents
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 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
  • еще
Тематика
Новости
15 мая 2026 г.
В НИУ ВШЭ разрабатывают нейросеть для сферы науки и инноваций
Исследователи НИУ ВШЭ учат большие языковые модели понимать русскоязычную научную терминологию, увеличивая при этом их энергоэффективность. Адаптированная модель работает в 2,7 раза быстрее и требует на 73% меньше памяти, чем исходная открытая модель, что позволяет запускать ее на более доступном оборудовании. Программа прошла государственную регистрацию.
15 мая 2026 г.
Стартовал совместный спецпроект бренд-медиа Вышки IQ Media и iFORA ИСИЭЗ
В мае 2026 года стартовал научно-популярный проект «Искусственный интеллект: технологии, данные и будущее», который стал результатом работы двух команд — проекта iFORA Института статистических исследований и экономики знаний НИУ ВШЭ и редакции бренд-медиа IQMedia. Медийно-аналитический спецпроект посвящен современному развитию искусственного интеллекта и аналитике больших данных.
14 мая 2026 г.
<a>Ученые ФКН ВШЭ представили работы в сфере ИИ и биоинформатики на ICLR 2026
Ученые Института искусственного интеллекта и цифровых наук факультета компьютерных наук ВШЭи студенты трека «ИИ360: Инженерия искусственного интеллекта» бакалаврской программы «Прикладная математика и информатика» приняли участие в международной конференции ICLR — одном из самых авторитетных мировых форумов в области машинного обучения и представления данных. В этом году конференция состоялась в Рио-де-Жанейро (Бразилия).

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации
  • Книги
  • Статьи
  • Главы в книгах
  • Препринты
  • Верификация публикаций
  • Расширенный поиск
  • Правила использования материалов
  • Наука в ВШЭ

?

Dynamic Epistemic Logic for Budget-Constrained Agents

P. 56–72.
Долгоруков В. В., Maksim Gladyshev

В статье предлагается динамическая эпистемическая логика, позволяющая моделировать публичные объявления агентов относительно ресурсно-зависимого знания.

Язык: английский
DOI
Текст на другом сайте
Ключевые слова: логикаepistemic logicDEL
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Динамические модели знаний и убеждений в мультиагентных взаимодействиях (2023)

В книге

Dynamic Logic. New Trends and Applications. 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers
Vol. 13780. , Cham: Springer, 2023.
Похожие публикации
Новое введение в математическую логику. Рецензия на книгу Дирка Хоффмана о пределах математики
Долгоруков В. В., Попова Е. Л., Философия. Журнал Высшей школы экономики 2026 Т. 10 № 1 С. 404–409
Рецензия на: Hoffmann D. Limits of Mathematics. A Journey Through the Key Areas of Mathematical Logic. — Berlin : Springer, 2025. ...
Добавлено: 30 марта 2026 г.
Verdict Exclusion, Higher-Order Vagueness, Cross-Order Vagueness and Borderlineness: Reflections on Footnote 41 of Crispin Wright’s ‘On Being in a Quandary’
Дзардини Э., , in: Paradoxes Between Truth and Proof.: Springer, 2024. P. 279–299.
Добавлено: 5 февраля 2026 г.
Реальность как философская проблема
Тульчинский Г. Л., СПб.: Политех-Пресс, 2025.
Монография посвящена анализу реальности, одного из самых сложных и многозначных понятий в современной философии. Представлены различные подходы и разные способы аналитики реальности, - методологические исследования, историко-философский анализ, социально-критическая аналитика. В монографии соединились исследования из разных областей философского знания, – из философии науки, онтологии, логики, теории познания, эпистемологии, социальной философии, эстетики. Книга предназначена как для специалистов, ...
Добавлено: 29 января 2026 г.
Темпоральная эпистемическая логика для агентов с задержкой в осведомленности
Долгоруков В. В., Попова Е. Л., В кн.: Материалы докладов V Конференции математических центров России.: Красноярск: ИВМ СО РАН, 2025. С. 216–218.
Моделирование осведомленности (awareness) является одним из направлений теории многоагентных систем и восходит к работам классиков теоретической информатики Р. Фейгина, Дж. Халперна, Й. Мозеса, М. Варди. Согласно им, моделирование осведомленности позволяет решить проблему логического всеведения, которая представляет собой одно из ключевых затруднений стандартной эпистемической логики. В настоящей работе представим расширение подхода Р. Фейгина и соавторов, а ...
Добавлено: 16 января 2026 г.
Epistemic Mathematical Models for Analyzing Meta-opinions on Social Networks
Федянин Д. Н., , 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.
Добавлено: 13 декабря 2025 г.
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
Федянин Д. Н., Switzerland: Springer, 2025.
Добавлено: 3 декабря 2025 г.
Нормативные стандарты в логике и теории игр: структурные параллели
Долгоруков В. В., Попова Е. Л., Логические исследования 2025 Т. 31 № 2 С. 31–51
Статья посвящена исследованию структурных параллелей между нормативными стандартами в логике и теории игр. С одной стороны, стандартная точка зрения утверждает, что и логика, и теория игр являются нормативными дисциплинами. С другой стороны, их нормативный статус является предметом дискуссий. Демонстрируется, что внутри логики и теории игр возникают параллельные исследовательские программы, связанные с различными стратегиями ответа на ...
Добавлено: 15 сентября 2025 г.
Категория эвиденциальности с точки зрения динамической эпистемической логики
Долгоруков В. В., Попова Е. Л., В кн.: Четырнадцатые Смирновские чтения по логике: материалы Междунар. науч. конф., Москва, 19-21 июня 2025 г.: М.: Издатель Александр Воробьев, 2025. С. 78–79.
Доклад посвящен анализу эвиденциалов в DEL. ...
Добавлено: 19 июня 2025 г.
Четырнадцатые Смирновские чтения по логике: материалы Междунар. науч. конф., Москва, 19-21 июня 2025 г.
М.: Издатель Александр Воробьев, 2025.
В книге представлены материалы конференции "Четырнадцатые Смирновские чтения по логике". ...
Добавлено: 19 июня 2025 г.
Логические языки описания сознания
Васюков В. Л., Вестник Ивановского государственного университета. Серия: Гуманитарные науки 2023 № 4 С. 132–139
Дискуссии о природе сознания в основном ведутся в рамках трех гипотез: (1) сознание — самостоятельная реальность, не связанная с материей при- чинно-следственными связями — дуализм, (2) сознание — нечто производное от материальной субстанции – физикализм, и (3) материя и сознание являются модусами чего-то третьего — нейтральный монизм. Взаимодействие же материальной субстанции и сознания с точки ...
Добавлено: 27 декабря 2024 г.
Логики самосознания
Васюков В. Л., Вестник Ивановского государственного университета. Серия: Гуманитарные науки 2024 № 4 С. 134–142
Применяя метод комбинирования логических систем, можно описать работу сознания с помощью логических систем — комбинаций различных видов связей ментальных состояний и каузальных связей состояний нейронов (психофизическая про- блема). Для пары таких «логик» всегда можно найти «объединенную» логическую си- стему, чьи свойства детерминируемы отношениями следования обеих систем. Однако та- кая «логика сознания» может сама рассматриваться как ...
Добавлено: 26 декабря 2024 г.
Онтологическая логика абсурда Александра Зиновьева
Поляков Л. В., Вестник Московского университета. Серия 7: Философия 2024 Т. 48 № 4 С. 29–43
В статье предпринимается попытка описать логику трансформации логической концепции Александра Зиновьева, обозначенной им самим как «комплексная логика», в художественный текст особого жанра — «социологический роман». При этом поиск Зиновьева сопоставляется с центральной задачей Гегеля в его трехтомнике «Наука логики» и с парадоксальными исходными посылками «Логико-философского трактата» Л. Витгенштейна. Единство логики, гносеологии и онтологии, постулированное Зиновьевым, оборачивается ...
Добавлено: 24 декабря 2024 г.
Международная конференция МАЛЬЦЕВСКИЕ ЧТЕНИЯ 13–17 ноября 2023 г. Тезисы докладов
[б.и.], 2023.
Материалы международной конференции "Мальцевские чтения 2023" ...
Добавлено: 30 ноября 2024 г.
Некоторые замечания о требованиях к научной теории в контексте многомировых моделей
Карпенко И. А., Вопросы философии 2024 № 5 С. 140–146
В статье обсуждается проблема корректного описания действительности в философии и науке с учетом принятия многомировой гипотезы. Под многомировыми понимаются современные физические гипотезы, допускающие существование других вселенных (многомировая интерпретация, хаотическая инфляция, струнный ландшафт и т.д.). Показывается, что, вероятно, эти модели бросают вызов традиционной интеллектуальной интуиции, на которой строится классическая наука, - они требуют новых методологических подходов ...
Добавлено: 24 сентября 2024 г.
La cognición auditiva. Especificidad modal y perplejidad semántico-definicional
Jorge Luis Méndez-Martínez, Andamios: Revista de Investigacion Social 2024 Vol. 21 No. 54 P. 27–56
Добавлено: 12 сентября 2024 г.
The logical and pedagogical paths of phenomenology. Adalberto García De Mendoza’s and Francisco Larroyo’s forays
Jorge Luis Méndez-Martínez, Horizon, Fenomenologiceskie Issledovania 2024 Vol. 13 No. 1 P. 241–262
Добавлено: 12 сентября 2024 г.
Neoclassical Logic, Cloisonnist Vagueness, Nonobjectual Truth
Дзардини Э., , in: Themes from Weir: A Celebration of the Philosophy of Alan WeirVol. 484.: Cham: Springer, 2024. P. 87–122.
In a series of works, Alan Weir has suggested that the paradoxes are due not so much to the operational principles of classical logic, but to some of its structural principles. Weir’s insightful suggestion has opened up the programme of developing a system that, while validating the principles of naive truth (or of naive vagueness), ...
Добавлено: 12 сентября 2024 г.
Моделирование аргументативного диалога для выявления когнитивного искажения «Черно-белое мышление»
Денисова В. Г., В кн.: Сборник статей Международной научной конференции «Университет. Образование. Общество (к 300-летию Санкт-Петербургского государственного университета)».: СПб.: Издательство ООО "Сборка", 2023.
Нами предложена модель аргументативного диалога между двумя когнитивными агентами, а именно клиентом и терапевтом, в ходе которого происходит изменение эпистемологического состояния клиента. Целью такого диалога является выявление когнитивного искажения «черно-белое мышление» согласно классификации когнитивных искажений А. Бека. Мы обосновываем применимость теории аргументации для применения в психотерапевтической практике. ...
Добавлено: 1 мая 2024 г.
Сборник статей Международной научной конференции «Университет. Образование. Общество (к 300-летию Санкт-Петербургского государственного университета)»
СПб.: Издательство ООО "Сборка", 2023.
Нами предложена модель аргументативного диалога между двумя когнитивными агентами, а именно клиентом и терапевтом, в ходе которого происходит изменение эпистемологического состояния клиента. Целью такого диалога является выявление когнитивного искажения «черно-белое мышление» согласно классификации когнитивных искажений А. Бека. Мы обосновываем применимость теории аргументации для применения в психотерапевтической практике. ...
Добавлено: 1 мая 2024 г.
Логические основания когнитивно-поведенческой психотерапии
Денисова В. Г., Ковпак Д. В., Вестник психофизиологии 2023 № 1 С. 68–79
В статье рассматривается исследовательский вопрос о полезности и применимости логической теории для работы с клиентами в рамках когнитивноповеденческих терапевтических (КПТ) сессий. В ходе КПТ сессий терапевты стремятся помочь своим клиентам выявить неадаптивные глубинные убеждения, а затем оспорить эти убеждения с помощью нескольких типов диспутов. Понятие логического следования обсуждается в связи с логическим диспутом, используемым терапевтами ...
Добавлено: 1 мая 2024 г.
Альтернативы семантике Крипке для эпистемической логики
Долгоруков В. В., Логические исследования 2024 Т. 30 № 1 С. 62–85
В статье обсуждаются затруднения, которые вызывает использование стандартной семантики Крипке для анализа эпистемических сценариев: присутствие в модели возможных миров, неразличимых никакой формулой; комбинаторный взрыв (экспоненциальный рост множества возможных миров при линейном усложнении сценария); гиперспецификация предлагаемой моделью первоначального эпистемического сценария. Рассматриваются альтернативные варианты построения эпистемической логики, которые стремятся преодолеть данные затруднения: семантика структур знания и синтаксическая ...
Добавлено: 12 апреля 2024 г.
Вопросы определимости
Семенов А. Л., В кн.: Всемирный конгресс (26–30 июня 2023 г., Москва). Теория систем, алгебраическая биология, искусственный интеллект: математические основы и приложения: Избранные труды.: М.: [б.и.], 2023. С. 390–405.
Добавлено: 13 марта 2024 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • http://www.edu.ru
    Федеральный портал «Российское образование»
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика конфиденциальности
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору