October 8, 2007: Seminar: Bart Selman:"The Challenge and Promise of Automated Reasoning"

The University of Illinois at Chicago

Department of Computer Science

2007-2008 Distinguished Lecturer Seminar Series

The Challenge and Promise of Automated Reasoning

Bart Selman
Department of Computer Science
Cornell University

Tuesday, October 16
Room 1000 SEO


Since the early days of AI, automated reasoning has been a rather elusive goal. In fact, up till the early nineties, general inference beyond hundred variable problems appeared infeasible. Over the last decade, we have witness a qualitative change in the field: current reasoning engines can handle problems with over a million variables and several millions of constraints. I will discuss what led to such a dramatic scale-up, and how progress in reasoning technology has opened up a range of new applications in AI and computer science in general. I will also discuss the recent convergence of probabilistic and logical inference methods, and the integration of learning and reasoning.

Brief Bio:

Bart Selman is a professor of computer science at Cornell University. His research interests include efficient reasoning procedures, planning, knowledge representation, and connections between computer science and statistical physics. He has (co-)authored over 100 papers, which have appeared in venues spanning Nature, Science, Proc. Natl. Acad. of Sci., and a variety of conferences and journals in AI and Computer Science. He has received six Best Paper Awards, and is an Alfred P. Sloan Research Fellowship recipient, a Fellow of AAAI, and a Fellow of AAAS.

Host: Professor Robert H. Sloan

Copyright 2016 The Board of Trustees
of the University of Illinois.webmaster@cs.uic.edu
Helping Women Faculty Advance
Funded by NSF