Видеотека
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Видеотека
Архив
Популярное видео

Поиск
RSS
Новые поступления






Однодневный семинар по математической логике
24 июня 2024 г. 12:30–13:00, г. Москва, Покровский бульвар 11, аудитория R205
 


Динамическая эпистемическая логика для агентов с ресурсными ограничениями

В. В. Долгоруков
Видеозаписи:
MP4 293.1 Mb
MP4 489.5 Mb
Дополнительные материалы:
Adobe PDF 1.3 Mb

Количество просмотров:
Эта страница:65
Видеофайлы:19
Материалы:6



Аннотация: Доклад будет посвящен динамической эпистемической логике для агентов с ресурсными ограничениями [Dolgorukov, Gladyshev, Galimullin 2024; Dolgorukov, Gladyshev 2022]. В частности, будет рассмотрена логика для групп агентов с ресурсными ограничениями и модальностью общего знания. Будут обсуждаться вопросы аксиоматизации и разрешимости для рассматриваемых логик.
Литература: Dolgorukov V., Gladyshev M., Galimullin R. Dynamic Epistemic Logic of Resource Bounded Information Mining Agents // AAMAS '24: Proc. of the 23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2024). Auckland: International Foundation for Autonomous Agents and Multiagent Systems, 2024. P. 481-489; Dolgorukov V., Gladyshev M. Dynamic Epistemic Logic for Budget-Constrained Agents // 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. P. 56-72.

Дополнительные материалы: Долгоруков.pdf (1.3 Mb)
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024