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

Доклад будет посвящен динамической эпистемической логике для агентов с ресурсными ограничениями [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.