. . Thinking as Computation Hector J. Levesque Dept. of Computer Science University of Toronto Thinking as Computation c Levesque 2011 1 . . 1 Thinking and Computation Chapter…