Виталий Долгоруков выступил на Однодневном семинаре по математической логике
24 июня прошел Однодневный семинар по математической логике на ФКН НИУ ВШЭ, на котором Виталий Долгоруков представил доклад «Динамическая эпистемическая логика для агентов с ресурсными ограничениями».
Аннотация:
Доклад будет посвящен динамической эпистемической логике для агентов с ресурсными ограничениями [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.
