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

30 мая на онлайн-заседании московского семинара по логике Logic.RU состоялся доклад Виталия Долгорукова "Динамические эпистемические модели для агентов с бюджетными ограничениями"

 

Аннотация:

Под бюджетными ограничениями понимается необходимость расходовать ресурсы (деньги, время, усилия и пр.) для получения информации. Статический подход к моделированию эпистемических агентов с бюджетными ограничениями был предложен в работе [Naumov, Tao 2015]. В докладе будет представлен альтернативный динамический подход. Мы представим три модели, опирающиеся на аппарат динамической эпистемической логики:

1) операторную модель информационного обновления с произвольным набором тестов;

2) событийную модель с ограниченным набором действий;

3) модель с квантификацией по зависимому от ресурсов информационному обновлению.

Также в докладе будут обсуждаться некоторые приложения указанных моделей для вопросов формальной эпистемологии (парадокс лотереи) и эпистемической теории игр (моделирование рационального неведения).

Работа выполнена совместно с Максимом Гладышевым.

Литература:
Naumov P., Tao J. Budget-constrained knowledge in multiagent systems // Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS. 2015. (1). P. 219–226.

Видео доклада