Видеотека
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Видеотека
Архив
Популярное видео

Поиск
RSS
Новые поступления






Международная конференция «Logical Models of Reasoning and Computation»
1 февраля 2012 г. 10:45, г. Москва, МИАН
 


Dynamic Epistemic Logic

Hans van Ditmarsch

University of Seville
Видеозаписи:
Flash Video 326.2 Mb
Flash Video 1,982.6 Mb
MP4 1,241.5 Mb

Количество просмотров:
Эта страница:728
Видеофайлы:263

Hans van Ditmarsch
Фотогалерея



Аннотация: I will introduce various logics for change of knowledge and belief, that have become known under the name ‘Dynamic Epistemic Logic’. The basic logic of public announcements, proposed by Jan Plaza in 1989, serves to formalize logic puzzles such as ‘muddy children’, and ‘consecutive numbers’. But much more is possible in this setting, and there are generalizations to private actions, combining information change with factual change, and so on. I will point out some relations with AGM belief revision, with Moore-sentences (p is true and you don't know that p) and with knowability (is everything knowable? no!). The topic remains much in the limelight, latest developments are about protocols, and quantifying over information change, and protocol synthesis/planning. I will give a sprinkling of such topics as well.

Язык доклада: английский
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024