My research is in the area of knowledge representation and reasoning in artificial intelligence. On the representation side, I've worked on the formalization of a number of concepts pertaining to artificial and natural agents including belief, goals, intentions, ability, and the interaction between knowledge, perception and action. On the reasoning side, my research mainly concerns how automated reasoning can be kept computationally tractable, including the use of local search methods. More, you say? Less?
Tradebook: Machines like Us: Toward AI with Common Sense, MIT Press, 2022.
Project Book: Programming Cognitive Robots, 2019.
Tradebook: Common Sense, the Turing Test, and the Quest for Real AI, MIT Press, 2017.
Undergraduate Textbook:
Thinking as Computation, MIT Press, 2012.
Supplementary material for course instructors can be found
here.
Graduate Textbook:
Knowledge
Representation and Reasoning,
Morgan Kaufmann, 2004.
Overhead slides for a course based on this book
can be downloaded from here.
Hector Levesque Dept. Computer Science 6 King's College Road University of Toronto Toronto, Ont, M5S 3H5 CANADA PHONE: 416-978-3618 FAX: 416-978-1455 EMAIL: hector < at > cs < dot > toronto < dot > edu |
Some quick links: |