Доклад Максима Гладышева "Динамическая эпистемическая логика для агентов с ограниченными ресурсами"
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