Семинары
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Календарь
Поиск
Регистрация семинара

RSS
Ближайшие семинары




Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
15 марта 2021 г. 19:00, г. Москва, online (Zoom)
 


Logics of Imprecise Comparative Probability

W. H. Holliday
Видеозаписи:
MP4 520.4 Mb
Дополнительные материалы:
Adobe PDF 209.9 Kb

Количество просмотров:
Эта страница:350
Видеофайлы:53
Материалы:38
Youtube:

W. H. Holliday



Аннотация: In this talk, based on joint work with Yifeng Ding and Thomas Icard (at https://escholarship.org/uc/item/1m3156ps), I will discuss a logical perspective on connections between two alternatives to the standard probability calculus for representing and reasoning about uncertainty: imprecise probability and comparative probability. The goal is to identify complete logics for reasoning about uncertainty in a comparative probabilistic language whose semantics is given in terms of imprecise probability. Comparative probability operators are interpreted as quantifying over a set of probability measures. Modal and dynamic operators are added for reasoning about epistemic possibility and updating sets of probability measures.

Дополнительные материалы: holliday_2021_03_15.pdf (209.9 Kb)

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