Seminars
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
Calendar
Search
Add a seminar

RSS
Forthcoming seminars




Seminars "Proof Theory" and "Logic Online Seminar"
March 15, 2021 19:00, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
 


Logics of Imprecise Comparative Probability

W. H. Holliday
Video records:
MP4 520.4 Mb
Supplementary materials:
Adobe PDF 209.9 Kb

Number of views:
This page:292
Video files:53
Materials:39
Youtube:

W. H. Holliday



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

Supplementary materials: holliday_2021_03_15.pdf (209.9 Kb)

Language: english
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024