Colloquium Details

Open Universes and Nuclear Weapons

Speaker: Stuart Russell, University of California, Berkeley

Location: Warren Weaver Hall 317

Date: April 13, 2012, 2 p.m.

Host: Ernie Davis

Synopsis:

I will discuss a formal unification of probability theory and full (open-universe) first-order logic that allows for uncertain reasoning about unknown objects and events within a general-purpose formal language. Applications range from citation information extraction to monitoring compliance with the Comprehensive Nuclear-Test-Ban Treaty. The second half of the talk will describe the latter application in detail.

Speaker Bio:

Stuart Russell is Professor of Computer Science and Smith-Zadeh Professor in Engineering, University of California, Berkeley. He is the co-author, with Peter Norvig, of Artificial Intelligence: A Modern Approach, the standard textbook in artificial intelligence. Among other honors, he is the winner of the Computers and Thought Award (1995), and a Fellow of AAAI, of ACM, and of AAAS (American Association for the Advancement of Science).

Notes:

Refreshments will be offered starting 15 minutes prior to the scheduled start of the talk.


How to Subscribe