Students explore the idea that thinking is a form of computation by learning to write simple computer programs for tasks that require thought.

Hector J. Levesque is Professor Emeritus in the Department of Computer Science at the University of Toronto. He is the author of Common Sense, the Turing Test, and the Quest for Real AI, coauthor (with Gerhard Lakemeyer) of The Logic of Knowledge Bases, and coeditor (with Ronald J. Brachman) of Knowledge Representation and Reasoning, all three published by the MIT Press.