Next: Martin Davis
Previous: Richard J. Cole
Associate Professor of Computer Science
Ph.D., Yale University
Professor Davis studies the problem of representing commonsense knowledge for artificial intelligence programs. To behave as humans do in real-world situations, an AI program must be endowed with the basic knowledge of the world that is common to humans. To achieve this, the programmer must analyze the relevant commonsense knowledge being used; express this knowledge in systematic data structures; and providing the program with techniques for effectively using that knowledge. Davis' research touches on a wide range of commonsense domains, including space, time, physical behavior on the human scale, mental attitudes, and planning. He also studies the application to commonsense reasoning of methods of plausible inference, such as non-monotonic logic and Bayesian probability theory.