Доклад Даниила Хайтовича "Аксиоматизация стратегического фрагмента классической stit логики"
25 марта в 18:30 состоится заседание исследовательского семинара "From the Logical Point of View" Международной лаборатории логики, лингвистики и формальной философии.
Даниил Хайтович
ассоциированный исследователь МЛ ЛогЛинФФ
выступит с докладом:
"Аксиоматизация стратегического фрагмента классической stit логики"
Аннотация:
STIT (sees to it that) семантика — один из наиболее известных инструментов в модальных теориях агентности, применяющийся как философами, так и исследователями responsible AI. STIT исследует свойства агентов, гарантирующих некоторое положение вещей, не определяя конкретных действий, которыми это достигается. По сравнению с другими мультиагентными модальными логиками основным преимуществом STIT является выразительная сила. Логика STIT позволяет изучать не только утверждения о способностях агентов гарантировать истинность некоторых фактов (как в вариациях коалиционной логики или пропозициональной динамической логики), но и о том, что агенты фактически достигают.
Тем не менее, большая экспрессивность дорого обходится с точки зрения вычислительных свойств, а в некоторых случаях может быть избыточной. Мы рассмотрим фрагмент классической STIT логики, который имеет только стратегический модальный оператор [i]φ, что означает, что у агента i есть стратегия, как достигнуть φ. Мы определим окрестностную семантику для данного фрагмента, докажем корректность и сильную полноту относительно некоторого класса окрестностных шкал и продемонстрируем модальную неразличимость этого класса с классом шкал Крипке для классической STIT логики без временных операторов.
Zoom
Идентификатор конференции: 956 6971 8556
При возникновении вопросов пишите по адресу llfp@hse.ru