Аннотация:
Эпистемическая логика зародилась внутри философии, однако в последнее время
она находит многочисленные приложения и в компьютерных науках как инструмент
моделирования знаний и убеждений агентов. В частности, аппарат эпистемической
логики успешно используется в таких направлениях исследований, как мультиагентные
системы, эпистемическое планирование, верификация протоколов (криптографических,
блокчейн, gossip и др.), проектирование баз данных, прикладные формальные онтологии
и др. Мы поговорим о различных вариантах эпистемической логики, а также рассмотрим
некоторые приложения этих логик в CS.
