Состоялся доклад Максима Гладышева на заседании семинара "From the Logical Point of View"

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

Доклад был посвящен динамической эпистемической логике для агентов с ограниченными ресурсами. В своем докладе Максим рассмотрел сценарии, в которых агент может обратиться к внешнему источнику информации и получить ответ, потратив часть имеющихся у него ресурсов.  Была доказана корректность, полнота и разрешимость статического фрагмента данной логики, а также представлен полный список корректных аксиом редукции для динамического фрагмента, доказывающих его полноту.