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