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


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).


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

How to Subscribe