Prof. Hector Levesque
Fellow
Current Employer
University of Toronto
Election Year
2006
Academy
Academy of Science
Discipline
Mathematics and Computer Sciences
Department
Department of Computer Science
Keywords
Computer Science, artificial intelligence, knowledge representation, reasoning
Long Citation
Hector Levesque is one of the foremost authorities in the area of Knowledge Representation, the sub area of Computer Science concerned with how ordinary, common sense knowledge can be represented and used by computers. This is generally regarded as the central problem of Artificial Intelligence. Hector and his collaborators have initiated important new lines of research in this area including the relationship between implicit and explicit belief, the tractability of reasoning, new methods for solving problems in logic, and cognitive robotics. Hector co-founded the international conference in this area in 1989, and is a coauthor of the leading textbook.
Short Citation
Hector Levesque is a foremost authority in the area of Knowledge Representation, the sub area of Computer Science concerned with how ordinary, common sense knowledge can be represented and used by computers. He and his collaborators have initiated important new lines of research in this area including the relationship between implicit and explicit belief, the tractability of reasoning, new methods for solving problems in logic, and cognitive robotics.
Hector Levesque is one of the foremost authorities in the area of Knowledge Representation, the sub area of Computer Science concerned with how ordinary, common sense knowledge can be represented and used by computers. This is generally regarded as the central problem of Artificial Intelligence. Hector and his collaborators have initiated important new lines of research in this area including the relationship between implicit and explicit belief, the tractability of reasoning, new methods for solving problems in logic, and cognitive robotics. Hector co-founded the international conference in this area in 1989, and is a coauthor of the leading textbook.
Short Citation
Hector Levesque is a foremost authority in the area of Knowledge Representation, the sub area of Computer Science concerned with how ordinary, common sense knowledge can be represented and used by computers. He and his collaborators have initiated important new lines of research in this area including the relationship between implicit and explicit belief, the tractability of reasoning, new methods for solving problems in logic, and cognitive robotics.
3395