RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE
Video Library
Archive
Most viewed videos

Search
RSS
New in collection





You may need the following programs to see the files






International workshop "Logical Models of Reasoning and Computation"
February 1, 2012 10:45, Moscow, Steklov Mathematical Institute
 


Dynamic Epistemic Logic

Hans van Ditmarsch

University of Seville
Video records:
Flash Video 326.2 Mb
Flash Video 1,982.6 Mb
MP4 326.2 Mb

Number of views:
This page:442
Video files:193

Hans van Ditmarsch
Photo Gallery


Видео не загружается в Ваш браузер:
  1. Установите Adobe Flash Player    

  2. Проверьте с Вашим администратором, что из Вашей сети разрешены исходящие соединения на порт 8080
  3. Сообщите администратору портала о данной ошибке

Abstract: 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.

Language: English

SHARE: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2017