Доклад Виталия Долгорукова и Максима Гладышева на международной конференции "DaLí 2022"

C 31 июля по 1 августа проходит международная конференция "DaLí 2022", посвященная приложениям и новым областям динамической логики (DL). В первый день конференции Виталий Долгоруков и Максим Гладышев представили доклад "Dynamic Epistemic Logic for Budget-Constrained Agents".

Аннотация доклада: 

"В докладе будет представлена статическая (ELbc) и динамическая (DELbc) эпистемическая логика для агентов с бюджетными ограничениями, в которой агент может получить некоторую информацию в обмен на бюджетные ресурсы. ELbc расширяет стандартную мульти-агентную эпистемическую логику выражениями, касающимися бюджетов агентов и затрат на формулы. DELbc расширяет ELbc динамической модальностью “[?iA] φ”, которая читается как “φ выполняется после вопроса i о том, истинна ли пропозициональная формула A”. Мы приводим доказательсто корректности и полноты для ELbc и DELbc и показываем, что обе логики разрешимы."

Аннотация конференции с официального сайта "DaLí":
"Динамическая логика не только теоретически актуальна, но и демонстрирует огромный практический потенциал, и это действительно тема, представляющая интерес для нескольких научных площадок, от широкомасштабных конференций по разработке программного обеспечения до мероприятий по модальной логике. При этом "DaLí" - единственная конференция, посвященное исключительно этой теме. Наша цель - еще раз собрать в одном месте разнородное сообщество коллег, разделяющих интерес к динамической логике - от академических кругов до промышленности, от математики до информатики, - для продвижения своих работ, поощрения интересных дискуссий и нового сотрудничества".