AIC Seminar Series
A UserFriendly Probability Machine, with Applications
Branden Fitelson  University of California Berkeley  
Date: 20041110 at 16:00
Location: EJ228 (Directions)

A general mechanical procedure for reasoning about the
probability calculus is presented. The procedure involves (1) a
translation from probability calculus into the theory of real closed
fields (TRCF), and (2) an application of a recent implementation of the
CAD procedure for TRCF. The procedure is then used to solve various
problems in Bayesian confirmation theory (some of which were open). Some
issues of computational complexity and problem size will also be discussed.
All necessary technical (and historical, and philosophical) background will
be provided during the talk.
 

http://fitelson.org/vita.pdf
 