Search |  Contact |  SRI Home Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap.A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A ASRI International.  333 Ravenswood Avenue.  Menlo Park, CA 94025-3493. SRI International is a nonprofit corporation.

AIC Seminar Series

A User-Friendly Probability Machine, with Applications

Branden FitelsonUniversity of California Berkeley

Date:  2004-11-10 at 16:00

Location:  EJ228  (Directions)

   Abstract

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.

   Bio for Branden Fitelson

http://fitelson.org/vita.pdf

   On-line Resources