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:

In-person attendance only available to those with active NYU ID cards. All individuals must show the Daily Screener green pass in order to gain entry to the building.


How to Subscribe