Виталий Долгоруков выступил на «Однодневном семинаре по математической логике» (ФКН, НИУ ВШЭ)
29 июня на базе департамента больших данных и информационного поиска (ФКН, НИУ ВШЭ) проходит «Однодневный семинар по математической логике», на котором Виталий Долгоруков выступил с докладом «О приложениях эпистемической логики в компьютерных науках».
Со страницей и программой Однодневного семинара по математической логике можно ознакомиться по ссылке.
«О приложениях эпистемической логики в компьютерных науках»
Аннотация:
Эпистемическая логика зародилась внутри философии, однако в последнее время она находит многочисленные приложения и в компьютерных науках как инструмент моделирования знаний и убеждений агентов. В частности, аппарат эпистемической логики успешно используется в таких направлениях исследований, как мультиагентные системы, эпистемическое планирование, верификация протоколов (криптографических, блокчейн, gossip и др.), проектирование баз данных, прикладные формальные онтологии и др. Мы поговорим о различных вариантах эпистемической логики, а также рассмотрим некоторые приложения этих логик в CS.
