• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Мероприятия

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

12+
Мероприятие завершено

28 января в 18:30 состоится заседание исследовательского семинара "From the Logical Point of View" Международной лаборатории логики, лингвистики и формальной философии.

Максим Гладышев
ассоциированный исследователь МЛ ЛогЛинФФ

выступит с докладом:

 

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


Аннотация:

В докладе будет представлена динамическая эпистемическая логика для агентов с ограниченными ресурсами. Альтернативные подходы к моделированию агентов с ресурсными ограничениями рассматривались в работах: Alechina N., Logan B.: A Logic of Situated Resource-Bounded Agents. Journal of Logic,Language and Information18, 79–95 (2009); Balbiani  P.,  Fernandez-Duque  D.,  Lorini  E.:  The  Dynamics  of  Epistemic  Attitudes in Resource-Bounded Agents. Studia Logica 107, 457–488 (2019); Naumov P., Tao J.: Budget-constrained Knowledge in Multiagent Systems. In: Proc. AA-MAS, 219–226, Istanbul (2015); Solaki A.: Bounded Multi-agent Reasoning: Actualizing Distributed Knowledge. In: DaLi2020: Dynamic Logic. New Trends and Applications 2020, LNCS, volume 12569 pp. 239–258 (2020).
В своем докладе мы рассмотрим сценарии, в которых агент может обратиться к внешнему источнику информации и получить ответ, потратив часть имеющихся у него ресурсов.  Будет доказана корректность, полнота и разрешимость статического фрагмента данной логики. А также представлен полный список корректных аксиом редукции для динамического фрагмента, доказывающих его полноту.

 


Zoom

Идентификатор конференции: 956 6971 8556

Доступ к конференции по паролю, для получения пароля, пожалуйста, заполните форму.
При возникновении вопросов пишите по адресу llfp@hse.ru