b. 1951
Hector Levesque is a Canadian computer scientist and philosopher known for foundational work in knowledge representation and reasoning in artificial intelligence. His research bridges formal logic, cognitive science, and AI, particularly around the computational tractability of reasoning and the limits of logical knowledge.
Co-developed the Winograd Schema Challenge as an alternative to the Turing Test
Authored 'Knowledge Representation and Reasoning' (with Ronald Brachman), a foundational AI textbook
Developed foundational work on tractable reasoning and the logic of implicit and explicit belief
Contributed to the theory of cognitive robotics and the situation calculus
Received the IJCAI Research Excellence Award (2013)