b. 1951
Hector Levesque is a Canadian computer scientist and philosopher of artificial intelligence, known for foundational work in knowledge representation and reasoning. He has argued that genuine intelligence requires common-sense reasoning rather than pattern matching, and developed influential tests for machine understanding. His work bridges logic, cognitive science, and AI.
Co-developed the Winograd Schema Challenge as an alternative to the Turing Test
Authored foundational work on knowledge representation and tractable reasoning
Developed the distinction between explicit and implicit belief in epistemic logic
Wrote 'Thinking as Computation' and 'Common Sense, the Turing Test, and the Quest for Real AI'
Received the IJCAI Research Excellence Award (2013)