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


Abstract:

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
WISEST
Helping Women Faculty Advance
Funded by NSF